Rank-3 scale theorems: Difference between revisions
| Line 100: | Line 100: | ||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ||
====== AG + MV3 implies "ax by bz" ====== | ====== AG + MV3 implies that "ax by bz" and that the scale has odd size ====== | ||
AG by itself does ''not'' imply "ax by bz"; [[blackdye]] (LSLMLSLMLS) is a counterexample. | AG by itself does ''not'' imply "ax by bz"; [[blackdye]] (LSLMLSLMLS) is a counterexample. | ||