Consistent circle: Difference between revisions
m →Definition: uncapitalise edo |
m →Having an ultrastrong circle: clarify why we use this bound |
||
| Line 52: | Line 52: | ||
In other words, if ''N''-edo has an ultrastrong circle of ~a/b's, that means that were GCD(''k'', ''N'') = 1, it would still qualify as a ''weak circle''. | In other words, if ''N''-edo has an ultrastrong circle of ~a/b's, that means that were GCD(''k'', ''N'') = 1, it would still qualify as a ''weak circle''. | ||
(We use this weaker/more generous bound rather than the default bound for closing error because such a circle is already going "above-and-beyond" in terms of what's necessary to produce a consistent circle.) | |||
== Examples == | == Examples == | ||