#17777: unsigned infinity cannot be coerced into SR
-------------------------------------+-------------------------------------
Reporter: rws | Owner:
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.6
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: Ralf Stephan | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/rws/unsigned_infinity_cannot_be_coerced_into_sr|
5609e513405ba231b522ff68d8f88fe9cf0caeff
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by rws):
The cited "The rules for arithmetic are that the unsigned infinity ring
does not canonically coerce to any other ring, and all other rings
canonically coerce to the unsigned infinity ring..." is obviously wrong
because the symbolic ring already has this notion. Example: `SR` could
have a constant `aleph2` which the infinity rings are unable to handle
right now, but `SR` can handle everything thrown at it. My guess is that
the cited documentation simply ignored `SR` because it's not a typical
algebraic object and doesn't fit the algebraists' concepts. Tough luck.
--
Ticket URL: <http://trac.sagemath.org/ticket/17777#comment:10>
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.
