3.11 PermLeftQuoTrans

PermLeftQuoTrans( tr1, tr2 )

Given transformations tr1 and tr2 with equal kernel and image, the permutation induced by tr1^-1 * tr2 on the set Image( tr1 ) is computed.

    gap> a:= Transformation( [ 8, 7, 5, 3, 1, 3, 8, 8 ] );;
    gap> Image(a);  Kernel(a);
    [ 1, 3, 5, 7, 8 ]
    [ [ 1, 7, 8 ], [ 2 ], [ 3 ], [ 4, 6 ], [ 5 ] 
    gap> b:= Transformation( [ 1, 3, 8, 7, 5, 7, 1, 1 ] );;
    gap> Image(b) = Image(a);  Kernel(b) = Kernel(a);
    true
    true
    gap> PermLeftQuoTrans(a, b);
    (1,5,8)(3,7) 

   
[Index]