We also assume that we can compute in formula_3 time the lowest common ancestor of two points/cells in the quadtree and establish their relative "Z"-ordering, and we can compute the floor function in formula_3 time.