Generator-offset property: Difference between revisions
| Line 35: | Line 35: | ||
# The two alternants differ by replacing one Y with a Z. | # The two alternants differ by replacing one Y with a Z. | ||
# ''S'' has the property that the following operations result in a mos: setting L = M, setting L = s, and setting M = s. | # ''S'' has the property that the following operations result in a mos: setting L = M, setting L = s, and setting M = s. | ||
# If S = aX bY bZ, then setting either Y = 0 or Z = 0 results in a mos. | # If S = aX bY bZ, then setting either Y = 0 or Z = 0 results in a mos. Since the result of setting X = 0 is the mos bY bZ, ''S'' is elimination-mos. | ||
In particular, odd GO scales always satisfy these properties (see Proposition 2 below). | In particular, odd GO scales always satisfy these properties (see Proposition 2 below). | ||