G:=Group((1,4,7)(2,5,8)(3,6,9),(1,7,4)(2,8,5)(3,9,6),(1,2,4,8,7,5)(3,6),(1,5,4,2

,7,8)(3,9),(1,8,4,5,7,2)(6,9),(1,4,7)(2,8,5),(1,7,4)(3,6,9),(2,5,8)(3,9,6),(1,5,
7,8,4,2)(3,6),(1,8,7,2,4,5)(3,9),(1,2,7,5,4,8)(6,9),(1,7,4)(2,5,8),(2,8,5)(3,6,9
),(1,4,7)(3,9,6),(1,8)(2,7)(3,6)(4,5),(1,2)(3,9)(4,8)(5,7),(1,5)(2,4)(6,9)(7,8))
;
<permutation group with 17 generators>
gap> Order(G);
18
gap> StructureDescription(G);
"C3 x S3"
gap> a:=(1,2)(4,5)(7,8);
(1,2)(4,5)(7,8)
gap> (0,3,6)(1,4,7)(2,5,8);
Error, Permutation: <expr> must be a positive integer (not a integer)
not in any function at line 2 of *stdin*
gap> (9,3,6)(1,4,7)(2,5,8);
(1,4,7)(2,5,8)(3,6,9)
gap> (9,3,6)(1,4,7)(2,5,8)*a;
(1,5,7,2,4,8)(3,6,9)
gap> (9,6,3)(1,7,4)(2,8,5)*a;
(1,8,4,2,7,5)(3,9,6)
gap> (1,2,4,8,7,5)*a;
(2,5)(4,7)
gap> (1,5,4,2,7,8)*a;
(1,4)(2,8)
gap> (1,8,4,5,7,2)*a;
(1,7)(5,8)
gap> (1,4,7)(2,5,8)*a;
(1,5,7,2,4,8)
gap> (1,7,4)*a;
(1,8,7,5,4,2)
gap> (2,5,8)*a;
(1,2,4,5,7,8)
gap> (1,5,7,8,4,2)*a;
(1,4)(5,8)
gap> (1,8,7,2,4,5)*a;
(1,7)(2,5)
gap> (1,2,7,5,4,8)*a;
(2,8)(4,7)
gap> (1,7,4)(2,5,8)*a;
(1,8)(2,4)(5,7)
gap> (2,8,5)*a;
(1,2,7,8,4,5)
gap> (1,4,7)*a;
(1,5,4,8,7,2)
gap> (3,6)(1,8)(2,7)(4,5)*a;
(1,7)(2,8)(3,6)
gap> (1,2)(4,8)(5,7);
(1,2)(4,8)(5,7)
gap> (1,2)(4,8)(5,7)*a;
(4,7)(5,8)
gap> (1,5)(2,4)(7,8)*a;
(1,4)(2,5)
gap> (1,7,8,2,5,4)*a;
(1,8)(2,4)
gap> a*(1,7,8,2,5,4);
(1,5)(2,7)
gap> a;

(1,2)(4,5)(7,8)
gap> a*(1,4,7)(2,5,8);
(1,5,7,2,4,8)
gap> a*(1,7,4)(2,8,5);
(1,8,4,2,7,5)
gap> a*(1,2,4,8,7,5);
(1,4)(5,8)
gap> a*(1,5,4,2,7,8);
(1,7)(2,5)
gap> a*(1,8,4,5,7,2);
(2,8)(4,7)
gap> a*(1,4,7);
(1,2,4,5,7,8)
gap> a*(1,7,4);
(1,2,7,8,4,5)
gap> a*(2,5,8);
(1,5,4,8,7,2)
gap> a*(1,5,7,8,4,2);
(2,5)(4,7)
gap> a*(1,8,7,2,4,5);
(1,4)(2,8)
gap> a*(1,2,7,5,4,8);
(1,7)(5,8)
gap> a*(1,7,4)(2,5,8);
(1,5)(2,7)(4,8)
gap> a*(2,8,5);
(1,8,7,5,4,2)
gap> a*(1,4,7);
(1,2,4,5,7,8)
gap> a*(1,4,7)(2,8,5);
(1,8)(2,4)(5,7)
gap> a*(1,8)(2,7)(4,5);
(1,7)(2,8)
gap> a*(1,2)(4,8)(7,5);
(4,7)(5,8)
gap> a*(1,5)(4,2)(7,8);
(1,4)(2,5)
gap> G:=Group((1,4,7)(2,5,8)(3,6,9),(1,7,4)(2,8,5)(2,9,6),(1,2,4,8,7,5)(3,6),(1,
5,4,2,7,8)(3,9),(1,8,4,5,7,2)(6,9),(1,4,7)(2,8,5),(1,7,4)(3,6,9),(2,5,8)(3,9,6),
(1,5,7,8,4,2)(3,6),(1,8,7,2,4,5)(3,9),(1,2,7,5,4,8)(6,9),(1,7,4)(2,5,8),(2,8,5)(
3,6,9),(1,4,7)(3,9,6),(1,8)(2,7)(3,6)(4,5),(1,2)(3,9)(4,8)(5,7),(1,5)(2,4)(6,9)(
7,8));
Error, Permutation: cycles must be disjoint and duplicate-free
not in any function at line 43 of *stdin*
gap> G:=Group((1,4,7)(2,5,8)(3,6,9),(1,7,4)(2,8,5)(3,9,6),(1,2,4,8,7,5)(3,6),(1,
5,4,2,7,8)(3,9),(1,8,4,5,7,2)(6,9),(1,4,7)(2,8,5),(1,7,4)(3,6,9),(2,5,8)(3,9,6),
(1,5,7,8,4,2)(3,6),(1,8,7,2,4,5)(3,9),(1,2,7,5,4,8)(6,9),(1,7,4)(2,5,8),(2,8,5)(
3,6,9),(1,4,7)(3,9,6),(1,8)(2,7)(3,6)(4,5),(1,2)(3,9)(4,8)(5,7),(1,5)(2,4)(6,9)(
7,8));
<permutation group with 17 generators>
gap> Order(G);
18
gap> StructureDescription(G);
"C3 x S3"
gap> CayleyTable(G);
Error, Variable: 'CayleyTable' must have a value
not in any function at line 47 of *stdin*
gap> Display(G);
Group( [ (1,4,7)(2,5,8)(3,6,9), (1,7,4)(2,8,5)(3,9,6), (1,2,4,8,7,5)(3,6), (1,5,
4,2,7,8)(3,9), (1,8,4,5,7,2)(6,9),

(1,4,7)(2,8,5), (1,7,4)(3,6,9), (2,5,8)(3,9,6), (1,5,7,8,4,2)(3,6), (1,8,7,2,4

,5)(3,9), (1,2,7,5,4,8)(6,9),
(1,7,4)(2,5,8), (2,8,5)(3,6,9), (1,4,7)(3,9,6), (1,8)(2,7)(3,6)(4,5), (1,2)(3,
9)(4,8)(5,7), (1,5)(2,4)(6,9)(7,8)
] )
gap> LoadPackage("loops");
======================================================
LOOPS: Computing with quasigroups and loops in GAP
version 2.2.0
Gabor P. Nagy and Petr Vojtechovsky
-----------------------------------------------------contact: nagyg@math.u-szeged.hu or petr@math.du.edu
======================================================
This version of LOOPS is ready for GAP 4.5.
true
gap> Q:=IntoQuasigroup(G);
<quasigroup of order 18>
gap> CayleyTable(Q);
[ [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18 ],
[ 2, 3, 1, 6, 4, 5, 8, 9, 7, 12, 10, 11, 14, 15, 13, 18, 16, 17 ],
[ 3, 1, 2, 5, 6, 4, 9, 7, 8, 11, 12, 10, 15, 13, 14, 17, 18, 16 ],
[ 4, 10, 16, 1, 7, 13, 5, 11, 17, 2, 8, 14, 6, 12, 18, 3, 9, 15 ],
[ 5, 11, 17, 3, 9, 15, 6, 12, 18, 1, 7, 13, 4, 10, 16, 2, 8, 14 ],
[ 6, 12, 18, 2, 8, 14, 4, 10, 16, 3, 9, 15, 5, 11, 17, 1, 7, 13 ],
[ 7, 8, 9, 16, 17, 18, 13, 14, 15, 4, 5, 6, 1, 2, 3, 10, 11, 12 ],
[ 8, 9, 7, 18, 16, 17, 14, 15, 13, 6, 4, 5, 2, 3, 1, 12, 10, 11 ],
[ 9, 7, 8, 17, 18, 16, 15, 13, 14, 5, 6, 4, 3, 1, 2, 11, 12, 10 ],
[ 10, 16, 4, 13, 1, 7, 11, 17, 5, 14, 2, 8, 12, 18, 6, 15, 3, 9 ],
[ 11, 17, 5, 15, 3, 9, 12, 18, 6, 13, 1, 7, 10, 16, 4, 14, 2, 8 ],
[ 12, 18, 6, 14, 2, 8, 10, 16, 4, 15, 3, 9, 11, 17, 5, 13, 1, 7 ],
[ 13, 14, 15, 10, 11, 12, 1, 2, 3, 16, 17, 18, 7, 8, 9, 4, 5, 6 ],
[ 14, 15, 13, 12, 10, 11, 2, 3, 1, 18, 16, 17, 8, 9, 7, 6, 4, 5 ],
[ 15, 13, 14, 11, 12, 10, 3, 1, 2, 17, 18, 16, 9, 7, 8, 5, 6, 4 ],
[ 16, 4, 10, 7, 13, 1, 17, 5, 11, 8, 14, 2, 18, 6, 12, 9, 15, 3 ],
[ 17, 5, 11, 9, 15, 3, 18, 6, 12, 7, 13, 1, 16, 4, 10, 8, 14, 2 ],
[ 18, 6, 12, 8, 14, 2, 16, 4, 10, 9, 15, 3, 17, 5, 11, 7, 13, 1 ] ]
gap> H:=Group(DirectProduct(SymmetricGroup(3),CyclicGroup(3)));
Error, no longer supported ... called from
<function "Group">( <arguments> )
called from read-eval loop at line 52 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> quit;
gap> S3:=SymmetricGroup(3);
Sym( [ 1 .. 3 ] )
gap> C3:=CyclicGroup(3);
<pc group of size 3 with 1 generators>
gap> H:=DirectProduct(S3,C3);
<group of size 18 with 3 generators>
gap> R:=IntoQuasigroup(H);
<quasigroup of order 18>
gap> Display(R);
<quasigroup with multiplication table
[ [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,
16, 17, 18 ],
[ 2, 3, 1, 5, 6, 4, 8, 9, 7, 11, 12, 10, 14, 15, 13,
17, 18, 16 ],
[ 3, 1, 2, 6, 4, 5, 9, 7, 8, 12, 10, 11, 15, 13, 14,
18, 16, 17 ],

[
13,
[
14,
[
15,
[
10,
[
11,
[
12,
[
7,
[
8,
[
9,
[
4,
[
5,
[
6,
[
1,
[
2,
[
3,
>

4,
14,
5,
15,
6,
13,
7,
11,
8,
12,
9,
10,
10,
8,
11,
9,
12,
7,
13,
5,
14,
6,
15,
4,
16,
2,
17,
3,
18,
1,

5, 6,
15 ],
6, 4,
13 ],
4, 5,
14 ],
8, 9,
12 ],
9, 7,
10 ],
7, 8,
11 ],
11, 12,
9 ],
12, 10,
7 ],
10, 11,
8 ],
14, 15,
6 ],
15, 13,
4 ],
13, 14,
5 ],
17, 18,
3 ],
18, 16,
1 ],
16, 17,
2 ] ]

1,

2,

3, 10, 11, 12,

7,

8,

9, 16, 17, 18,

2,

3,

1, 11, 12, 10,

8,

9,

7, 17, 18, 16,

3,

1,

2, 12, 10, 11,

9,

7,

8, 18, 16, 17,

13, 14, 15,

1,

2,

3, 16, 17, 18,

4,

5,

6,

14, 15, 13,

2,

3,

1, 17, 18, 16,

5,

6,

4,

15, 13, 14,

3,

1,

2, 18, 16, 17,

6,

4,

5,

16, 17, 18,

4,

5,

6, 13, 14, 15,

1,

2,

3,

17, 18, 16,

5,

6,

4, 14, 15, 13,

2,

3,

1,

18, 16, 17,

6,

4,

5, 15, 13, 14,

3,

1,

2,

7,

8,

9, 16, 17, 18,

1,

2,

3, 10, 11, 12,

8,

9,

7, 17, 18, 16,

2,

3,

1, 11, 12, 10,

9,

7,

8, 18, 16, 17,

3,

1,

2, 12, 10, 11,

10, 11, 12, 13, 14, 15,

4,

5,

6,

7,

8,

9,

11, 12, 10, 14, 15, 13,

5,

6,

4,

8,

9,

7,

12, 10, 11, 15, 13, 14,

6,

4,

5,

9,

7,

8,

gap> I:=IntoLoop(Q);
<loop of order 18>
gap> J:=IntoLoop(R);
<loop of order 18>
gap> IsomorphicLoops(R,Q);
Error, Variable: 'IsomorphicLoops' must have a value
not in any function at line 59 of *stdin*
gap> IsomorphismLoops(Q,R);
Error, no method found! For debugging hints type ?Recovery from NoMethodFound
Error, no 1st choice method found for `IsomorphismLoops' on 2 arguments called f
rom
<function "HANDLE_METHOD_NOT_FOUND">( <arguments> )
called from read-eval loop at line 60 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> quit;
gap> IsomorphismLoops(I,J);
(2,14,3,12,6,8,10,17,5,18,16,9)(7,15,13,11)
gap> G;
C3 x S3
gap> H;
<group of size 18 with 3 generators>
gap> Q;
<quasigroup of order 18>
gap> Display(Q);
<quasigroup with multiplication table
[ [ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15,
16, 17, 18 ],

[
18,
[
17,
[
3,
[
2,
[
1,
[
10,
[
12,
[
11,
[
15,
[
14,
[
13,
[
4,
[
6,
[
5,
[
9,
[
8,
[
7,
>

2,
16,
3,
18,
4,
9,
5,
8,
6,
7,
7,
11,
8,
10,
9,
12,
10,
3,
11,
2,
12,
1,
13,
5,
14,
4,
15,
6,
16,
15,
17,
14,
18,
13,

3, 1,
17 ],
1, 2,
16 ],
10, 16,
15 ],
11, 17,
14 ],
12, 18,
13 ],
8, 9,
12 ],
9, 7,
11 ],
7, 8,
10 ],
16, 4,
9 ],
17, 5,
8 ],
18, 6,
7 ],
14, 15,
6 ],
15, 13,
5 ],
13, 14,
4 ],
4, 10,
3 ],
5, 11,
2 ],
6, 12,
1 ] ]

6,

4,

5,

8,

9,

7, 12, 10, 11, 14, 15, 13,

5,

6,

4,

9,

7,

8, 11, 12, 10, 15, 13, 14,

1,

7, 13,

5, 11, 17,

2,

8, 14,

6, 12, 18,

3,

9, 15,

6, 12, 18,

1,

7, 13,

4, 10, 16,

2,

8, 14,

4, 10, 16,

3,

9, 15,

5, 11, 17,

16, 17, 18, 13, 14, 15,

4,

5,

6,

1,

2,

3,

18, 16, 17, 14, 15, 13,

6,

4,

5,

2,

3,

1,

17, 18, 16, 15, 13, 14,

5,

6,

4,

3,

1,

2,

13,

1,

7, 11, 17,

5, 14,

2,

8, 12, 18,

6,

15,

3,

9, 12, 18,

6, 13,

1,

7, 10, 16,

4,

14,

2,

8, 10, 16,

4, 15,

3,

9, 11, 17,

5,

10, 11, 12,

1,

2,

3, 16, 17, 18,

7,

8,

9,

12, 10, 11,

2,

3,

1, 18, 16, 17,

8,

9,

7,

11, 12, 10,

3,

1,

2, 17, 18, 16,

9,

7,

8,

7, 13,

1, 17,

5, 11,

8, 14,

2, 18,

6, 12,

9, 15,

3, 18,

6, 12,

7, 13,

1, 16,

4, 10,

8, 14,

2, 16,

4, 10,

9, 15,

3, 17,

5, 11,

gap> S3:=SymmetricGroup(3);
Sym( [ 1 .. 3 ] )
gap> Display(S3);
SymmetricGroup( [ 1 .. 3 ] )
gap> D:=IntoQuasigroup(S3);
<quasigroup of order 6>
gap> Display(D);
<quasigroup with multiplication table
[ [ 1, 2, 3, 4, 5, 6 ],
[ 2, 1, 4, 3, 6, 5 ],
[ 3, 5, 1, 6, 2, 4 ],
[ 4, 6, 2, 5, 1, 3 ],
[ 5, 3, 6, 1, 4, 2 ],
[ 6, 4, 5, 2, 3, 1 ] ]
>
gap> GeneratorsofGroup(S3);
Error, Variable: 'GeneratorsofGroup' must have a value
not in any function at line 69 of *stdin*
gap> GeneratorsOfGroup(S3);
[ (1,2,3), (1,2) ]
gap> GeneratorsOfGroup(G);
[ (1,4,7)(2,5,8)(3,6,9), (1,7,4)(2,8,5)(3,9,6), (1,2,4,8,7,5)(3,6), (1,5,4,2,7,8
)(3,9), (1,8,4,5,7,2)(6,9),

(1,4,7)(2,8,5), (1,7,4)(3,6,9), (2,5,8)(3,9,6), (1,5,7,8,4,2)(3,6), (1,8,7,2,4

,5)(3,9), (1,2,7,5,4,8)(6,9),
(1,7,4)(2,5,8), (2,8,5)(3,6,9), (1,4,7)(3,9,6), (1,8)(2,7)(3,6)(4,5), (1,2)(3,
9)(4,8)(5,7), (1,5)(2,4)(6,9)(7,8) ]
gap> H:=Group((1,8)(2,4)(3,7),(1,5,7,2,4,8));
Group([ (1,8)(2,4)(3,7), (1,5,7,2,4,8) ])
gap> H;
Group([ (1,8)(2,4)(3,7), (1,5,7,2,4,8) ])
gap> Order(H);
5040
gap> H:=Group((1,8)(2,4)(3,7),(1,5,7,2,4,8)(3,6,8));
Error, Permutation: cycles must be disjoint and duplicate-free
not in any function at line 75 of *stdin*
gap> H:=Group((1,8)(2,4)(3,7),(1,5,7,2,4,8)(3,6,9));
Group([ (1,8)(2,4)(3,7), (1,5,7,2,4,8)(3,6,9) ])
gap> Order(H);
362880
gap> g;
Error, Variable: 'g' must have a value
not in any function at line 78 of *stdin*
gap> G;
C3 x S3
gap> C3;
<pc group of size 3 with 1 generators>
gap> S3;
Sym( [ 1 .. 3 ] )
gap> K:=Group(C3,S3);
Error, usage: Group(<gen>,...), Group(<gens>), Group(<gens>,<id>) called from
<function "Group">( <arguments> )
called from read-eval loop at line 82 of *stdin*
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk> quit;
gap> K:=DirectProduct(C3,S3);
<group of size 18 with 3 generators>
gap> GeneratorsOfGroup(K);
[ DirectProductElement( [ f1, () ] ), DirectProductElement( [ <identity> of ...,
(1,2,3) ] ),
DirectProductElement( [ <identity> of ..., (1,2) ] ) ]
gap> (2,14,3,12,6,8,10,17,5,18,16,9)(7,15,13,11)