It seems intuitive to me that the magic methods for overriding the +, -, <, ==, >, etc. operators should have no sideffects on their operands. Also, that == should be commutative and transitive, that > and < should be transitive, and anti-commutative.
Is this intuition written up in a PEP, or assumed to follow from the mathematical meanings? - Andrey
-- http://mail.python.org/mailman/listinfo/python-list