#19108: Implement Python 3 style comparison in the coercion framework
-------------------------------------+-------------------------------------
Reporter: ohanar | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.9
Component: coercion | Resolution:
Keywords: | Merged in:
Authors: R. Andrew Ohana | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/ohanar/python3stylecomparison | 168fafb347a6afbdc96cae5bc27a4bea1c22f2e9
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by ohanar):
Replying to [comment:3 jdemeyer]:
> Replying to [ticket:19108 ohanar]:
> > Additionally, for most elements where comparison makes sense, there is
the overwhelming notion that such a comparison is a partial order.
> Why do you think that? I would guess that comparison is in most cases a
''total'' order, with partial orders being the exception.
Sets are a common example (e.g. ideals, set and integer partitions, etc)
of where you have a partial order but not a total order.
It doesn't really matter though, it would just add one extra rule (namely
that you can deduce `_eq_` from `_lt_` and `_gt_`), which wouldn't really
make it any easier or harder to implement either a total order or partial
order.
>
> There is also #18305, which tries to solve the same problem in a
different way.
It solves part of the problem (not the partial/total ordering thing), and
I think it is a bit more confusing for new developers who have a python 3
background (since they have to learn about `_richcmp_`). In some sense the
two approaches are complementary.
--
Ticket URL: <http://trac.sagemath.org/ticket/19108#comment:5>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
