#13125: Reals sets consisting of intervals and isolated points
-------------------------------------+-------------------------------------
Reporter: ares | Owner: Ares Ribó
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: calculus | Resolution:
Keywords: | Merged in:
Authors: Volker Braun , | Reviewers: Ralf Stephan
Jordi Saludes , Ares Ribó | Work issues:
Report Upstream: N/A | Commit:
Branch: | 563a877c3d270be950aedb2e30c756f27f46051d
u/vbraun/ticket/13125 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by vbraun):
I forgot that SR can also represent infinity and '''conversion''' to the
infinity ring should work. For SR there is no coercion to the infinity
ring since SR wants to handle its own infinities (in fact: the infinity
ring coerces into SR).
Arguably that should be changed and SR also coerce into the infinity ring
instead of the other way round. But then SR wouldn't be able to react to
things like `oo * x`. Downside of the current way is
{{{
sage: bool(SR(-1000) > oo), bool(SR(-1000) < oo)
(False, False)
}}}
i.e. SR doesn't know how to decide this rather simple inequality. In any
case, thats for another ticket.
--
Ticket URL: <http://trac.sagemath.org/ticket/13125#comment:41>
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.
