#14239: symbolic radical expression for algebraic number
-------------------------------------+-------------------------------------
Reporter: gagern | Owner: davidloeffler
Type: enhancement | Status: needs_work
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: #17495, #16964 | 09683145989c437b59e02c02409d1dac05ac379d
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by gagern):
I considered using the simplified `NumberFieldElement._symbolic_` method
as a template for a matching `NumberFieldElement._algebraic_` which would
address #5355, #12715, #13041 and perhaps some others I hadn't found.
Unfortunately, simply adding such a method results in a ton of failed
coercions. Apparently such an approach would cause a lot of stuff to go
via number fields which didn't take that route before. Nevertheless, those
things might be worth fixing, and in the long run we should have a simple
path from number field elements to algebraic numbers. And the two
functions would likely look similar to one another.
I'd prefer to get this ticket here accepted first, then try to implement
conversion to algebraic and see how best to avoid code duplication. While
still keeping things readable, since factoring out stuff like the outer
case distinction for cyclotomics would be possible but might cause very
ugly code constructs if the code for each case is to be rather flexible.
We'll see when we get there.
--
Ticket URL: <http://trac.sagemath.org/ticket/14239#comment:74>
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.
