#14239: symbolic radical expression for algebraic number
-------------------------------------+-------------------------------------
Reporter: gagern | Owner: davidloeffler
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.5
Component: number fields | Resolution:
Keywords: | Merged in:
Authors: Martin von | Reviewers: Marc Mezzarobba,
Gagern, Jeroen Demeyer | Jeroen Demeyer
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/gagern/ticket/14239 | 4626286463c734f931ecc7405285dc7bc1b58772
Dependencies: #17495, #16964 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by gagern):
Replying to [comment:103 vdelecroix]:
> It should be easy, `NumberField_cyclotomic` does have a method
`.zeta_order()`. But then, the exact root of unity depends on the
embedding... and I do not see how to avoid going to `QQbar` (or using in
an ugly way interval approximations).
>
> It is really a pity that we use embedding into `RLF/CLF` by default and
not `AA/QQbar` (see also #18103, #18104).
Yes, using `qqbar` for the generator would certainly make things better.
How about we leave the approximation in place for now, and file a separate
ticket to get rid of that once the generator comes from `qqbar`?
--
Ticket URL: <http://trac.sagemath.org/ticket/14239#comment:104>
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.
