#14239: symbolic radical expression for algebraic number
-------------------------------------+-------------------------------------
Reporter: gagern | Owner: davidloeffler
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.3
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Marc Mezzarobba, | Reviewers: Marc Mezzarobba
Martin von Gagern | Work issues:
Report Upstream: N/A | Commit:
Branch: | a65fa2b7be9560837ffb80ebcc6779a8d47bad42
u/gagern/ticket/14239 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by gagern):
I found that my branch still has some problem. In particular, in the
following situation Sage will do the conversion even though it is inexact.
{{{
sage: sorted(QQ[x](x^7 - x - 1).roots(QQbar, False),
key=imag)[0].radical_expression()
-3775/3963*I - 2573/7076
}}}
So my assumption that an inexact solution will always leas to floats
embedded into SR appears to be wrong. Is there some other way to check
whether a given result is exact? Or perhaps even to not try any inexact
conversion at all? I found no such thing, but it seems to me I haven't
found the core of this conversion either.
--
Ticket URL: <http://trac.sagemath.org/ticket/14239#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.
