#11506: Fix the infinity ring.
-------------------------------------+-------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: defect | Status: needs_info
Priority: blocker | Milestone: sage-6.3
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: Volker Braun | Reviewers: Peter Bruin
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vbraun/infinity_ring | 3531287276d95f0a60b762c4dc5475bee4860cba
Dependencies: 13125 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by pbruin):
I forgot about the discussion about this on #13125. I think that `RIF`
shouldn't coerce into the infinity ring, and that conversion should
succeed if and only if the interval is finite or equal to either
`[-infinity .. -infinity]` or `[+infinity .. +infinity]`. To motivate why
there shouldn't be a coercion, I would say that `RIF` and `InfinityRing`
are two models for underdetermined (and possibly infinite) real numbers,
but that they happen to be incompatible models with regard to the data
they record. In other words, neither of them is a "finer" approximation
of the extended real numbers than the other.
--
Ticket URL: <http://trac.sagemath.org/ticket/11506#comment:28>
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.
