Added test to make sure function works on simple semigroups that aren…

…'t RMS already
semigroups · Jul 24, 2024 · c51247b · c51247b
1 parent 4e0431a
commit c51247b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tst/standard/attributes/isomorph.tst b/tst/standard/attributes/isomorph.tst
@@ -129,6 +129,10 @@ gap> S := ReesMatrixSemigroup(Group([(1, 2, 3)]), N);
 <Rees matrix semigroup 2x3 over Group([ (1,2,3) ])>
 gap> IsIsomorphicSemigroup(R, S);
 true
+gap> R := SemigroupByMultiplicationTable(MultiplicationTable(R));;
+gap> S := SemigroupByMultiplicationTable(MultiplicationTable(S));;
+gap> IsIsomorphicSemigroup(R, S);
+true
 gap> L := [[(), ()], [(), ()], [(1, 2, 3), ()]];
 [ [ (), () ], [ (), () ], [ (1,2,3), () ] ]
 gap> T := ReesMatrixSemigroup(SymmetricGroup([1 .. 3]), L);