#5877: [with patch; needs review] calling a group character is broken
---------------------+------------------------------------------------------
 Reporter:  saliola  |       Owner:  saliola   
     Type:  defect   |      Status:  new       
 Priority:  major    |   Milestone:  sage-3.4.2
Component:  algebra  |    Keywords:            
---------------------+------------------------------------------------------

Comment(by saliola):

 Replying to [comment:5 dmharvey]:
 > OK, can I just clarify that the problem with the original code is that
 the GAP Representative function doesn't return a canonical representative?
 i.e. if you start with two different group elements in the same class,
 convert them to classes and then ask for their Representative, you might
 get different answers?

 That is correct, here's an illustration.
 {{{
 sage: G = SymmetricGroup(3)
 sage: g = G((1,2))
 sage: h = G((2,3))
 sage: gap(G).ConjugacyClass(h).Representative()
 (2,3)
 sage: gap(G).ConjugacyClass(g).Representative()
 (1,2)
 sage: gap(G).ConjugacyClass(g) == gap(G).ConjugacyClass(h)
 True
 }}}

 Franco

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5877#comment:6>
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