#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 jdemeyer):
Replying to [comment:71 gagern]:
> {{{
> sage: c = AA.polynomial_root(b.minpoly(), RIF(120,121))
> sage: nf, val, nf2alg = c.as_number_field_element()
> sage: val.polynomial()(nf2alg(nf.gen()).radical_expression())
> 1/8*((sqrt(4*(1/9*sqrt(109)*sqrt(3) + 2)^(1/3) -
4/3/(1/9*sqrt(109)*sqrt(3) + 2)^(1/3) + 17) +
13)*(sqrt(4*(1/9*sqrt(109)*sqrt(3) + 2)^(1/3) - 4/3/(1/9*sqrt(109)*sqrt(3)
+ 2)^(1/3) + 17) + 1) + 52)*(sqrt(4*(1/9*sqrt(109)*sqrt(3) + 2)^(1/3) -
4/3/(1/9*sqrt(109)*sqrt(3) + 2)^(1/3) + 17) + 1) + 10
> }}}
>
> So in a certain sense, `as_number_field_element` makes it easier to find
a symbolic expression for a given algebraic number
I don't like it because it makes things depend again on the choice of
generator...
--
Ticket URL: <http://trac.sagemath.org/ticket/14239#comment:76>
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.
