Bug in IsomorphismPermGroup

[james-d-mitchell]

I get the following:

gap> H := HClass(FullTransformationMonoid(4), Transformation([2, 2, 2]));
<Green's H-class: Transformation( [ 2, 2, 2 ] )>
gap> map := IsomorphismPermGroup(H);
MappingByFunction( <Green's H-class: Transformation( [ 2, 2, 2 ] )>, Group(
[ (2,4) ]), function( x ) ... end, function( x ) ... end )
gap> p :=Transformation( [ 2, 2, 2, 2 ] ) ^ map;

gap> OnTuples([1 .. 10], p);
[ 1, 2, 3, 2, 5, 6, 7, 8, 9, 10 ]

The issue is that Transformation( [ 2, 2, 2, 2] ) does not belong to the domain of map but this is not checked.

[james-d-mitchell]

Thanks to @ZoltanCoccyx for pointing this out.

[james-d-mitchell]

Another related bug is the following:

H := HClass(FullTransformationMonoid(4), Transformation([3, 1, 2, 3]));
map := IsomorphismPermGroup(H);
BruteForceIsoCheck(map);
Transformation( [ 3, 1, 2, 3 ] ) Transformation( [ 3, 1, 2, 3 ] )
false

[james-d-mitchell]

Resolved in v3.2.2