Interval variety: Difference between revisions
Tag: Undo |
No edit summary |
||
| Line 12: | Line 12: | ||
== Facts == | == Facts == | ||
Theorem: for all ''n'' ≥ 1, the word '''0123'''...('''''n''-1''') is SV''n''. | Theorem: for all ''n'' ≥ 1, the word '''0123'''...('''''n''-1''') is SV''n''. | ||
<!-- prove | |||
Theorem: for all ''n'' ≥ 1, the word '''0123'''...('''''n''-2''')('''''n''-1''')('''''n''-2''')...'''3210''' is SV''n''. | |||
<!-- prove these --> | |||
=== Abstractly SV4 scale patterns === | === Abstractly SV4 scale patterns === | ||
Abstractly SV4 scale patterns (patterns that are SV4 for any choice of distinct cent values for the four steps): | Abstractly SV4 scale patterns (patterns that are SV4 for any choice of distinct cent values for the four steps): | ||