#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 mmezzarobba):
Replying to [comment:11 kcrisman]:
> Yeah, I agree that the symbolic ring isn't a ring in the ordinary sense.
Maybe this ticket could upgrade that documentation as well with a brief
note? (mmezzarobba, would that satisfy your concerns?)
I have no strong opinion regarding whether there should be a coercion from
SR to infinity rings, from infinity rings to SR, or neither. I was just
pointing out that the proposed change would contradict the documentation.
And yes, I guess improving that documentation is a good idea in any case!
--
Ticket URL: <http://trac.sagemath.org/ticket/17777#comment:12>
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.
