Marko Rauhamaa <ma...@pacujo.net>: > 1. if x is y then y ix x > 2. if x is y and y is z then x is z > 3. after x = y, x is y > 4. if x is y, then x == y
A new attempt: 0. x is x 1. if x is y then y ix x 2. if x is y and y is z then x is z 3. after x = y, x is y 4. if x is y and x == x, then x == y 5. id(x) == id(y) iff x is y Does that cover it? Marko -- https://mail.python.org/mailman/listinfo/python-list