On Wednesday, August 12, 2015 at 3:29:13 PM UTC+2, Nathann Cohen wrote: > > > IMHO the real bug is that == is group-comparison instead of > > presentation-comparison. > > P.S.: If you want to change it and make it a > "presentation-comparison", this class should not be considered as a > Group anymore, for the axioms would not be satisfied then. Your call.
"==" isn't used in any group theory textbook to my knowledge... Of course group-equality should be a method, all I'm saying is that naming it __eq__() really badly interacts with associative containers. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
