#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: improve doc to make
Branch: | clear SR isn't a ring
u/rws/unsigned_infinity_cannot_be_coerced_into_sr| Commit:
Dependencies: | 0f19e9c4f9eb5e07a7d37d77847daf6b8b9fba82
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by mmezzarobba):
Replying to [comment:16 kcrisman]:
> I like it but I think maybe it belongs in the first part of the
paragraph comment:6 mentions.
>
> > 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, sending all elements to the single
element "a number less than infinity" of the unsigned infinity ring.
Arithmetic and comparisons then take place in the unsigned infinity ring,
where all arithmetic operations that are well-defined are defined
>
> mmezz... would this doc change satisfy you?
Sure. And my apologies for taking so long to reply, I somehow missed your
question or forgot about it until Ralph's ping.
--
Ticket URL: <http://trac.sagemath.org/ticket/17777#comment:18>
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.
