#14485: Get rid of the bogus coercion from SR to QQbar
-------------------------------------------------+-------------------------
Reporter: tmonteil | Owner: malb
Type: defect | Status: closed
Priority: minor | Milestone: sage-7.2
Component: commutative algebra | Resolution: fixed
Keywords: QQbar, polynomial | Merged in:
Authors: Marc Mezzarobba | Reviewers: Vincent
Report Upstream: N/A | Delecroix
Branch: | Work issues:
4ba720258752fc035549147219161e6568e80cde | Commit:
Dependencies: | Stopgaps:
-------------------------------------------------+-------------------------
Changes (by rws):
* commit: 4ba720258752fc035549147219161e6568e80cde =>
Comment:
Replying to [comment:21 mmezzarobba]:
> Replying to [comment:20 vdelecroix]:
> > While working on something else I saw the following comment in
`symbolic/functions.pyx` line 473
> > {{{
> > # There is no natural coercion from QQbar to the symbolic ring
> > # in order to support
> > # sage: QQbar(sqrt(2)) + sqrt(3)
> > # 3.146264369941973?
> > # to work around this limitation, we manually convert
> > # elements of QQbar to symbolic expressions here
> > }}}
>
> The patches on this ticket remove this comment and the corresponding
code. I think people now agree that even if it was more or less
intentional, trying to support this was a bad idea.
See also #17790, #18832, #20312
--
Ticket URL: <http://trac.sagemath.org/ticket/14485#comment:24>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
