#14239: symbolic radical expression for algebraic number
---------------------------------+------------------------------
Reporter: gagern | Owner: davidloeffler
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.11
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Dependencies:
Stopgaps: |
---------------------------------+------------------------------
Changes (by gagern):
* status: new => needs_review
Comment:
I wrapped my code into two methods `radical_expression` for the
`AlgebraicNumber` and `AlgebraicReal` classes.
Only second degree polynomials supported so far. I guess this should cover
the most useful use cases: third and fourth degree are certainly possible,
but don't help very much with the readability of the result in most cases.
Square roots, on the other hand, are everywhere, so being able to
represent these is a huge win imho.
The code I wrote does rely little on the internal workings of algebraic
numbers and their descriptions, mostly because I haven't dug into that
code yet. I guess the check which solution of the quadratic equation to
choose might benefit from a more direct comparison of separating
intervals, but at the moment I see no urgent performance issue with most
use cases of this function.
--
Ticket URL: <http://trac.sagemath.org/ticket/14239#comment:1>
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/groups/opt_out.
