search

gap-packages / polycyclic

Computation with polycyclic groups
https://gap-packages.github.io/polycyclic/
Other
4 stars 9 forks source link

IsConjugate returns wrong result #58

Closed stertooy closed 3 years ago

stertooy commented 3 years ago 
gap> G := ExamplesOfSomePcpGroups( 10 );;
gap> g1 := G.1;;
gap> h := G.2*G.3;;
gap> g2 := G.1^h;;
gap> IsConjugate( G, g1, g2 );
false
gap> RepresentativeAction( G, g1, g2 );
g2*g3

Happens in both versions 2.14 and 2.16. IsConjugate calls ConjugacyElementsBySeries which incorrectly returns false, whereas RespresentativeAction will call RepresentativeActionOp from GAP itself (gap-4.11.1/lib/oprt.gi, from line 2737) which correctly produces a conjugating element.