#5618: Cyclotomic field elements are not converted to Gap correctly
-----------------------------------------+----------------------------------
Reporter: saliola | Owner: tbd
Type: defect | Status: needs_work
Priority: major | Milestone: sage-4.6.1
Component: algebra | Keywords: gap interface
cyclotomic field
Author: Simon King | Upstream: N/A
Reviewer: Luis Felipe Tabera Alonso | Merged:
Work_issues: |
-----------------------------------------+----------------------------------
Changes (by lftabera):
* status: needs_review => needs_work
* reviewer: => Luis Felipe Tabera Alonso
Comment:
The patch simply converts sage Cyclotomic fields to gap cyclotomic fields
instead of generic number fields. The disadvantage presented is just a
limitation of gap, not sage.
The semantics of gap(CyclotomicField(n)) have changed!
DeprecationWarning would be too pedantic here. Current behaviour of sage
is considered a bug and I cannot see any functionality loss. So the code
is ok.
The doctests are relevant. However, this patch depends on #9423 and one
doctest has disappeared in that patch. That doctest is relevant, because
it shows the change in the code. So, I would add the output of:
{{{
sage: F=CyclotomicField(8)
sage: F.gen()
sage: F._gap_init_() # the following variable name $sage1 represents the
F.base_ring() in gap and is somehow random
sage: f=gap(F)
sage: f.GeneratorsOfDivisionRing()
}}}
in NumberField_cyclotomic._gap_init_()
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5618#comment:4>
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.
