semitran: improve IsomorphismTransformationSemigroup for trans semigrps

gap-system · Sep 28, 2018 · 44895f9 · 44895f9
1 parent 2646281
commit 44895f9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git a/lib/semitran.gi b/lib/semitran.gi
@@ -383,9 +383,8 @@ end);
 InstallMethod(IsomorphismTransformationSemigroup, 
 "for a transformation semigroup", 
 [IsTransformationSemigroup], 
-function(S)
-  return MagmaIsomorphismByFunctionsNC(S, S, IdFunc, IdFunc);
-end);
+SUM_FLAGS,
+IdentityMapping);
 
 InstallMethod(IsomorphismTransformationSemigroup, "for partial perm semigroup",
 [IsPartialPermSemigroup],

diff --git a/tst/testinstall/semitran.tst b/tst/testinstall/semitran.tst
@@ -287,9 +287,8 @@ Error, the argument must be a semigroup with a multiplicative neutral element
 # Test IsomorphismTransformationSemigroup for a transformation semigroup
 gap> S := Semigroup(Transformation([1, 4, 6, 2, 5, 3, 7, 8, 9, 9]));;
 gap> IsomorphismTransformationSemigroup(S);
-MappingByFunction( <commutative transformation semigroup of degree 10 with 1 
- generator>, <commutative transformation semigroup of degree 10 with 1 
- generator>, function( object ) ... end, function( object ) ... end )
+IdentityMapping( <commutative transformation semigroup of degree 10 with 1 
+ generator> )
 gap> BruteForceIsoCheck(last);
 true
 gap> BruteForceInverseCheck(last2);