#14239: symbolic radical expression for algebraic number
-------------------------------------+-------------------------------------
Reporter: gagern | Owner: davidloeffler
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Martin von Gagern | Reviewers: Marc Mezzarobba,
Report Upstream: N/A | Jeroen Demeyer
Branch: | Work issues:
u/gagern/ticket/14239 | Commit:
Dependencies: | 8ff313d2ea936471a4dda3989f9da440e8afe6b2
| Stopgaps:
-------------------------------------+-------------------------------------
Changes (by gagern):
* status: needs_work => needs_review
Comment:
[http://git.sagemath.org/sage.git/commit/?id=a12a1184b08e1dd8e7ec54d614ed86dfb1f7ba8f
a12a118] does the interval-only approach you requested in comment:43,
without increasing the accuracy of `self`. We should end up with a single
overlap nonetheless.
[http://git.sagemath.org/sage.git/commit/?id=43d19da22959d9815d5474832471f0bf8f348200
43d19da] removes the duplicate functionality, calling from number field
element to qqbar. The casting of the generator image required a bit more
code than anticipated, but still feels like the correct approach to me. As
a benefit, we get exact algebraic numbers instead of floating point
approximations if there is no radical expression for a given number field
element generator, as seen in the doctests.
--
Ticket URL: <http://trac.sagemath.org/ticket/14239#comment:48>
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.
