#8327: Implement the universal cyclotomic field, using Zumbroich basis
---------------------------------------------------+------------------------
Reporter: nthiery | Owner:
Type: enhancement | Status:
needs_review
Priority: major | Milestone: sage-4.8
Component: number fields | Keywords:
Cyclotomic field, Zumbroich basis
Work_issues: Rebase wrt #10771. Fix one doctest. | Upstream: N/A
Reviewer: | Author: Christian
Stump, Simon King
Merged: | Dependencies: #10771
---------------------------------------------------+------------------------
Comment(by nthiery):
Replying to [comment:58 stumpc5]:
> {{{
> sage: UCF.is_subring(UCF)
> False
> }}}
>
> This behaviour seems to be wired! But when replacing the lazy import of
the UCF by a proper import in sage.rings.all, the wired behaviour
disappears, so the problem must be something with the lazy import!
Ach ja! Sorry, I should have thought about this: it is an instance of
#10906: "lazy import can break unique representation". So UCF should
not be lazy imported. One probably can't lazy cimport numpy in
universal_cyclotomic_field_c.pyx. Hopefully one could replace, in
universal_cyclotomic_field.py:
{{{
from sage.rings.universal_cyclotomic_field.universal_cyclotomic_field_c
import *
}}}
by explicit lazy imports of the various functions:
{{{
lazy_import('sage.rings.universal_cyclotomic_field.universal_cyclotomic_field_c',
'ZumbroichBasis...')
}}}
or maybe just lazy import that module as, say, ucfc, and qualify all
its functions with it.
I don't have a working Sage in which I could insert the UCF patch
right now. But let me know if you need help!
Cheers,
Nicolas
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/8327#comment:59>
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 post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
