#17517: Implement roots of polynomials over SR
---------------------------------+------------------------
Reporter: jdemeyer | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.5
Component: number theory | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: #14239 | Stopgaps:
---------------------------------+------------------------
Comment (by gagern):
I'm not sure that converting roots to `QQbar` first makes much sense. As
it is now, conversion from `QQbar` to `SR` works by first finding ''all''
radical symbolic roots and then identifying the matching one. For this use
case here, we wouldn't have to worry about that matching step. And we
could avoid the computation for root isolation as well. Therefore, unless
something changes dramatically in how these things work, I'd rather
implement this conversion directly, and then perhaps have the radical
expressions for algebraic numbers call that. If you agree, feel free to
remove the dependency on #14239.
--
Ticket URL: <http://trac.sagemath.org/ticket/17517#comment:2>
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.
