Generator-offset property: Difference between revisions
| Line 33: | Line 33: | ||
# The two alternants differ by replacing one Y with a Z. | # The two alternants differ by replacing one Y with a Z. | ||
# ''S'' is ''pairwise-mos'' (PMOS). That is, the result of identifying any two step sizes of ''S'' is always a mos. | # ''S'' is ''pairwise-mos'' (PMOS). That is, the result of identifying any two step sizes of ''S'' is always a mos. | ||
# ''S'' is ''monotone-mos'' (MMOS). That is, each of the following operations results in a mos: | # ''S'' is ''monotone-mos'' (MMOS). That is, each of the following operations results in a mos: setting L = M, setting M = s, and setting s = 0. | ||
[Note: This is not true with SGA replaced with GO; [[blackdye]] is a counterexample that is MV4.] | [Note: This is not true with SGA replaced with GO; [[blackdye]] is a counterexample that is MV4.] | ||