Rank-3 scale theorems: Difference between revisions
Line 61: | Line 61: | ||
# ''S is AG, or S is of the form x'y'z'y'x' or its repetitions, or x'y'x'z'x'y'x' or its repetitions.'' | # ''S is AG, or S is of the form x'y'z'y'x' or its repetitions, or x'y'x'z'x'y'x' or its repetitions.'' | ||
====== Lemma 1: | ====== Lemma 1: An MV3 is pairwise MOS (PMOS) except in the case "xyzyx" (WIP) ====== | ||
TODO: account for case xyzyx. | TODO: account for case xyzyx. | ||