#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 nthiery):
Hi Nathann,
Replying to [comment:9 ncohen]:
> > We discussed this at the Sage Days last week (unfortunately you were
not there).
>
> I'm pretty sure that I was, but I admittedly have a very poor memory.
The discussion continued later.
> > Your use case would be in the new default case of no linear extension
attached.
>
> My use case is the definition of what a Poset is. In any book.
Obviously. We all agree that this is the rationale for the new default
value.
> Also, do we overlook the fact that this is a conceptual problem of
> categories, and equalities, an parents, and all that stuff ?
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".
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».
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14019#comment:12>
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.
