#14019: equality is broken for Posets
---------------------------------+------------------------------------------
Reporter: ncohen | Owner: sage-combinat
Type: defect | Status: needs_info
Priority: major | Milestone: sage-5.7
Component: combinatorics | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Nathann Cohen | Merged in:
Dependencies: | Stopgaps:
---------------------------------+------------------------------------------
Comment (by ncohen):
> Obviously. We all agree that this is the rationale for the new default
> value.
Just to make sure everybody accepts that code will be broken.
> This has nothing to do with categories. This is a consequence of the
> choice of having unique representation for posets. The constructor
> should do the right thing and then equality be simply tested by "is".
Nice. Now, if I have a class that I define myself which contains elements
which belong to the category framework : does it mean that this class has
to be UniqueRepresentation ? That seems to be the source of my problem
above.
> Now if you would not mind stopping spreading FUD on unrelated things
> for no reason except that you happen to not need them yourself, «ça
> nous ferait des vacances».
Fix the bugs you introduce and we have a deal. How do I break out of this
infinite loop ?
Nathann
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14019#comment:13>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
