Maximal evenness: Difference between revisions
| Line 15: | Line 15: | ||
It is easy to show that replacing ceil() with round() (rounding half-integers up) gives an equivalent definition; floor() does too, since ME(''n'', ''m'') is a MOS and thus [[chirality|achiral]]. | It is easy to show that replacing ceil() with round() (rounding half-integers up) gives an equivalent definition; floor() does too, since ME(''n'', ''m'') is a MOS and thus [[chirality|achiral]]. | ||
== Complement of a maximally even subset is maximally even == | === Complement of a maximally even subset is maximally even === | ||
Proof sketch: We may assume that gcd(''n'', ''m'') = 1; there are two cases. | Proof sketch: We may assume that gcd(''n'', ''m'') = 1; there are two cases. | ||