On Wednesday, November 2, 2016 at 7:59:42 PM UTC-5, Luca De Feo wrote: > > > It is not a bug, but a by product of wanted (with documentation) of the > > UniqueRepresentation and the coercion system in Sage. More below. > > This is a bug. > > The fact that it is a consequence of wanted and documented behaviour > just shows that the wanted behaviour was badly designed (regardless of > how great and useful it is). > > I'm getting dangerously close to the realm of bikeshedding, but bad design or (very) subtle behavior is not a bug. A bug is incorrect or unintended results.
That being said, I'm not opposed to removing the UniqueRepresentation, but I'd like to hear why this was originally put in place. In many ways, what you're doing involves additional subtleties due to the coercion framework being involved behind the scenes (i.e., as far as equality is concerned, 1 in ZZ == 1 in GF(13)). Also, instead of Subsets(L), I would also use subsets(L) (or powerset(L)) as you don't need the set of all subsets to be a parent. Best, Travis -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
