Rank-3 scale theorems: Difference between revisions

@@ Line 56: / Line 56: @@
 ===== LQ is equivalent to floor-LQ in case of 2-step scales =====
-A floor-LQ scale ''S'' is LQ since the graph of F(x) = floor(b/a*x).
+A floor-LQ scale ''S'' is LQ since the graph of F(x) = floor(b/a*x) has the desired lattice points: the lattice points are
+floor({(a,b)t : 0 <= t <= 1}) = floor_x(floor_y({(a,b)t : 0 <= t <= 1})) = floor_x([graph of floor(b/a*x)]).
+Conversely, if a 2-step scale ''S'' is LQ, floor({(a,b)t : 0 <= t <= 1}) gives you the graph of floor(b/a*x) when you connect the dots (why?).
 ==== MV3 Theorem 1 (WIP) ====