#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.


Reply via email to