#15249: In lazy power series rings, 0 + a and 0 - a return 0
----------------------------------------------+------------------------
Reporter: darij | Owner:
Type: defect | Status: new
Priority: major | Milestone: sage-6.1
Component: algebra | Resolution:
Keywords: lazy-power-series, species | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
----------------------------------------------+------------------------
Comment (by mantepse):
One problem is in series_order.py. There, a very simple lattice (in fact,
a total order) should be implemented: NonNegativeIntegers together with
the two special values unknown and infinity. unknown is the minimal
element, infinity the maximal element.
Comparing unknown with another element works, comparing infinity with
another element works, but comparing an integer with unknown does not
work, because the comparison invoked is from Integer.
How should I create such a lattice really?
--
Ticket URL: <http://trac.sagemath.org/ticket/15249#comment:1>
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/groups/opt_out.
