Skip to content

Commit

Permalink
Fixed styling in test file
Browse files Browse the repository at this point in the history
  • Loading branch information
tillman-froehlich committed Jul 9, 2024
1 parent 6febcf7 commit 74396f1
Showing 1 changed file with 9 additions and 9 deletions.
18 changes: 9 additions & 9 deletions tst/standard/attributes/isomorph.tst
Original file line number Diff line number Diff line change
Expand Up @@ -119,23 +119,23 @@ gap> IsIsomorphicSemigroup(S, T);
false

# isomorph: IsIsomorphicSemigroup, for finite simple semigroups
gap> M := [[(1,2,3),()],[(),()],[(),()]];
gap> M := [[(1, 2, 3), ()], [(), ()], [(), ()]];
[ [ (1,2,3), () ], [ (), () ], [ (), () ] ]
gap> N := [[(1,3,2),()],[(),(1,2,3)],[(1,3,2),(1,3,2)]];
gap> N := [[(1, 3, 2), ()], [(), (1, 2, 3)], [(1, 3, 2), (1, 3, 2)]];
[ [ (1,3,2), () ], [ (), (1,2,3) ], [ (1,3,2), (1,3,2) ] ]
gap> R := ReesMatrixSemigroup(AlternatingGroup([1..3]),M);
gap> R := ReesMatrixSemigroup(AlternatingGroup([1 .. 3]), M);
<Rees matrix semigroup 2x3 over Alt( [ 1 .. 3 ] )>
gap> S := ReesMatrixSemigroup(Group([(1,2,3)]),N);
gap> S := ReesMatrixSemigroup(Group([(1, 2, 3)]), N);
<Rees matrix semigroup 2x3 over Group([ (1,2,3) ])>
gap> IsIsomorphicSemigroup(R,S);
gap> IsIsomorphicSemigroup(R, S);
true
gap> L := [[(),()],[(),()],[(1,2,3),()]];
gap> L := [[(), ()], [(), ()], [(1, 2, 3), ()]];
[ [ (), () ], [ (), () ], [ (1,2,3), () ] ]
gap> T := ReesMatrixSemigroup(SymmetricGroup([1..3]),L);
gap> T := ReesMatrixSemigroup(SymmetricGroup([1 .. 3]), L);
<Rees matrix semigroup 2x3 over Sym( [ 1 .. 3 ] )>
gap> IsIsomorphicSemigroup(S,T);
gap> IsIsomorphicSemigroup(S, T);
false
gap> IsIsomorphicSemigroup(T,T);
gap> IsIsomorphicSemigroup(T, T);
true

# isomorph: IsomorphismSemigroups, for infinite semigroup(s)
Expand Down

0 comments on commit 74396f1

Please sign in to comment.