#2217: splitting field function for number fields
----------------------------------+-----------------------------------------
Reporter: jason | Owner: davidloeffler
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.8
Component: number fields | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Jeroen Demeyer | Merged in:
Dependencies: | Stopgaps:
----------------------------------+-----------------------------------------
Changes (by mmanes):
* status: needs_review => needs_work
Comment:
I ran all standard tests, and everything passed.
I was trying to test functionality, but I'm confused by the differences
file. All of the old examples seem to work, and none of the new ones
work.
In the first example, I get:
{{{
sage: G = NumberField(x^3 - x - 1,'a').galois_closure('b').galois_group();
G
Galois group of Number Field in b with defining polynomial x^6 - 14*x^4
+ 20*x^3 + 49*x^2 - 140*x + 307
}}}
The expected output seems to have been changed ''from'' this result to
{{{
Number Field in b with defining polynomial x^6 - 6*x^4 + 9*x^2 + 23
}}}
These fields are isomorphic, but I've tried the example on three machines,
and all of them give the first thing as the output.
Similarly, the second example doesn't work:
{{{
sage: G.subgroup([ G(1), G([(1,2,3),(4,5,6)]), G([(1,3,2),(4,6,5)]) ])
Traceback (click to the left of this block for traceback)
...
TypeError: permutation [(1, 2, 3), (4, 5, 6)] not in Galois group of
Number Field in b with defining polynomial x^6 - 14*x^4 + 20*x^3 +
49*x^2 - 140*x + 307
}}}
But the original example (now deleted) does work:
{{{
sage: G.subgroup([ G(1), G([(1,5,2),(3,4,6)]), G([(1,2,5),(3,6,4)])])
Subgroup [(), (1,5,2)(3,4,6), (1,2,5)(3,6,4)] of Galois group of Number
Field in b with defining polynomial x^6 - 14*x^4 + 20*x^3 + 49*x^2 -
140*x + 307
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/2217#comment:9>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.