Rank-3 scale theorems: Difference between revisions
| Line 102: | Line 102: | ||
====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ====== PMOS implies AG (except in the case xyxzxyx) (WIP) ====== | ||
====== AG + unconditionally MV3 implies | ====== AG + unconditionally MV3 implies "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. | ||