#133: [with patch, needs review] Galois action
---------------------------+------------------------------------------------
 Reporter:  wdj            |       Owner:  davidloeffler                       
     Type:  enhancement    |      Status:  assigned                            
 Priority:  minor          |   Milestone:  sage-4.0.1                          
Component:  number theory  |    Keywords:  Galois group, algebric number theory
---------------------------+------------------------------------------------
Changes (by davidloeffler):

  * owner:  was => davidloeffler
  * status:  new => assigned


Comment:

 This one was almost fixed by #5159; but unfortunately the above snippet
 didn't quite work, because my new !GaloisGroup class derived from
 !PermutationGroup_generic, and the random_element method of that class
 always returned a !PermutationGroupElement (rather than a
 !GaloisGroupElement, which has more functionality).

 The above patch makes the necessary tiny changes to the permutation groups
 code so this now works, although the interface is slightly different from
 the above:
 {{{
 sage: F.<z> = CyclotomicField(7)
 sage: G = F.galois_group()
 sage: phi = G.random_element()
 sage: phi(z)
 z^4
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/133#comment:4>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to