Generator-offset property: Difference between revisions
| Line 231: | Line 231: | ||
(This also implies ''S'' is SV3.) | (This also implies ''S'' is SV3.) | ||
'''Case 3.2''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ) − 1) is impossible because | '''Case 3.2''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ) − 1) is impossible because it implies floor(n/μ) = 1. | ||
'''Case 3.3''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ)) is similarly impossible; ''y'' = 2*floor(''n''/μ) can only occur if Λ<sub>3</sub> has chunks of size floor(''n''/μ) − 1 and floor(''n''/μ), which contradicts the size of ''x''. | '''Case 3.3''': (''x'', ''y'') = (floor(''n''/μ) + 1, 2*floor(''n''/μ)) is similarly impossible; ''y'' = 2*floor(''n''/μ) can only occur if Λ<sub>3</sub> has chunks of size floor(''n''/μ) − 1 and floor(''n''/μ), which contradicts the size of ''x''. | ||