Rank-3 scale theorems: Difference between revisions
| Line 60: | Line 60: | ||
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)]) (*). | 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. This follows from the same equation (*). | 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) (plus the vertical lines) when you connect the dots. This follows from the same equation (*). | ||
==== MV3 Theorem 1 (WIP) ==== | ==== MV3 Theorem 1 (WIP) ==== | ||