Interleaving: Difference between revisions
| Line 23: | Line 23: | ||
* Fl(9/8-14/11-4/3-3/2-56/33-21/11-2/1; 9/7) | * Fl(9/8-14/11-4/3-3/2-56/33-21/11-2/1; 9/7) | ||
== Proofs == | == Proofs == | ||
=== Proof of the | === Proof of the offset constraints === | ||
If the polyoffset has more than two notes, the interleaving condition only needs to hold for ''pairs'' of distinct strands, and hence the above property only needs to hold for pairs of notes in the polyoffset. This reduces the proof to the case of one offset δ. | If the polyoffset has more than two notes, the interleaving condition only needs to hold for ''pairs'' of distinct strands, and hence the above property only needs to hold for pairs of notes in the polyoffset. This reduces the proof to the case of one offset δ. | ||