#13125: Reals sets consisting of intervals and isolated points
-------------------------------------+-------------------------------------
Reporter: ares | Owner: Ares Ribó
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: calculus | Resolution:
Keywords: | Merged in:
Authors: Volker Braun , | Reviewers: Ralf Stephan, Peter
Jordi Saludes , Ares Ribó | Bruin
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/ticket/13125 | f96c67ec2103455ab72783f4c4eb4484e588fdd5
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by pbruin):
* reviewer: Ralf Stephan => Ralf Stephan, Peter Bruin
Comment:
I'm mostly happy with the fixes related to infinity, although we are
nowhere close to fixing all the bugs in #11506. Of the examples listed
there, the following one is changed by this ticket:
{{{
sage: InfinityRing(CC(oo))
A positive finite number
}}}
This used to return `+Infinity`, which is not perfect either, but is at
least consistent with `InfinityRing(UnsignedInfinity(oo))`. (I'd argue
that both of these should probably be undefined, since complex and
unsigned infinity are in no way more positive than negative.)
Could you fix the above example to return `+Infinity` again?
I leave it to someone else to review the new code for real sets. It would
have been better if the infinity-related stuff had been done on a separate
ticket.
--
Ticket URL: <http://trac.sagemath.org/ticket/13125#comment:48>
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.
