#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: | fa497ee701f068e3980e458a519805b219b1b791
u/vbraun/ticket/13125 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by vbraun):
The question is not whether or not you like a pony, but if and how RIF
should coerce into the infinity ring. The way Sage works is that
everything that should be comparable with infinity can be coerced into the
infinity ring, so if you ever compare with infinity the comparison is done
there. If you don't have a coercion (e.g. RIF before this ticket) then you
will get undesirable answers from the fallback comparison (=memory
location).
So if = yes, the only question is how. Semi-infinite intervals can either
coerce into infinity, or "less than infinity", or zero (the only elements
of the infinity ring). Its pretty clear that anything not infinite is
undesirable.
--
Ticket URL: <http://trac.sagemath.org/ticket/13125#comment:39>
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.
