Generator-offset property: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
|||
| Line 38: | Line 38: | ||
* Given a mos aX bY, a ''chunk'' of X's is a maximal substring made of X's, bounded by Y's, possibly empty. We do not include the boundary Y's. | * Given a mos aX bY, a ''chunk'' of X's is a maximal substring made of X's, bounded by Y's, possibly empty. We do not include the boundary Y's. | ||
* ''Length'' is another term for a scale's size. | * ''Length'' is another term for a scale's size. | ||
* A ''projection'' of a scale is the operation of equating | * A ''projection'' of a rank-3 scale is the operation of equating two of its step sizes. | ||
* A scale ''S''(x, y, z) is ''pairwise-well-formed'' if all its projections are mosses. | |||
== Theorems == | == Theorems == | ||