gap> U:=( 1, 3, 8, 6)( 2, 5, 7, 4)( 9,33,25,17)(10,34,26,18)(11,35,27,19);
( 1, 3, 8, 6)( 2, 5, 7, 4)( 9,33,25,17)(10,34,26,18)(11,35,27,19)
gap> L:=( 9,11,16,14)(10,13,15,12)( 1,17,41,40)( 4,20,44,37)( 6,22,46,35);
( 1,17,41,40)( 4,20,44,37)( 6,22,46,35)( 9,11,16,14)(10,13,15,12)
gap> F:= (17,19,24,22)(18,21,23,20)( 6,25,43,16)( 7,28,42,13)( 8,30,41,11);
( 6,25,43,16)( 7,28,42,13)( 8,30,41,11)(17,19,24,22)(18,21,23,20)
gap> R:=(25,27,32,30)(26,29,31,28)( 3,38,43,19)( 5,36,45,21)( 8,33,48,24);
( 3,38,43,19)( 5,36,45,21)( 8,33,48,24)(25,27,32,30)(26,29,31,28)
gap> B:=(33,35,40,38)(34,37,39,36)( 3, 9,46,32)( 2,12,47,29)( 1,14,48,27);
( 1,14,48,27)( 2,12,47,29)( 3, 9,46,32)(33,35,40,38)(34,37,39,36)
gap> D:=(41,43,48,46)(42,45,47,44)(14,22,30,38)(15,23,31,39)(16,24,32,40);
(14,22,30,38)(15,23,31,39)(16,24,32,40)(41,43,48,46)(42,45,47,44)
gap> 
gap> square_group := Group(U^2,L^2,F^2,R^2,B^2,D^2);;
gap> g1:=(3,6,24)(27,11,43)(33,17,30);
( 3, 6,24)(11,43,27)(17,30,33)
gap> 
gap> g2:=FactorPermGroupElement(square_group,g1);
Error, Variable: 'FactorPermGroupElement' must have a value
gap> Read("d:/gap/gap3r4p3/lib/abstab.g");
The record 'descriptions' contains brief descriptions of the functions
in this file.
Functions of importance: MakeAbStabChain, FactorPermGroupElement, Shrink
gap> g2:=FactorPermGroupElement(square_group,g1);
Error, Record: element 'stabilizerSubgroup' must have an assigned value at
H := H.stabilizerSubgroup ... in
FactorPermGroupElement( square_group, g1 ) called from
main loop
brk> quit;
gap> g1 in square_group;
false
gap> uu:=(1,3)(2,4);ff:=(1,8)(4,5);dd:=(5,7)(6,8);bb:=(3,6)(2,7);rr:=(2,5)(1,6);
(1,3)(2,4)
(1,8)(4,5)
(5,7)(6,8)
(2,7)(3,6)
(1,6)(2,5)
gap> H:=Group(uu,ff,rr,dd,bb);
Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6) )
gap> (1,3,8) in H;
false
gap> (1,3)(2,4) in H;
true
gap> (1,3,8)(2,4,7) in H;
true
gap> Size(H);
96
gap> (1,3,8)(2,4,5) in H;
false
gap> (1,3,8)(2,7,4) in H;
false
gap> (1,3,8)(5,4,7) in H;
false
gap> (1,3,8)(2,5,4) in H;
true
gap> (1,3,8)(2,5,4)(1,3,8)^(-1)(2,4,5);
Error, Perm: cycles must be disjoint
Syntax error: ; expected
(1,3,8)(2,5,4)(1,3,8)^(-1)(2,4,5);
                          ^
gap> (1,3,8)(2,5,4)(1,3,8)^{-1}(2,4,5);
Error, Perm: cycles must be disjoint
Syntax error: expression expected
(1,3,8)(2,5,4)(1,3,8)^{-1}(2,4,5);
                      ^
gap> (1,3,8)(2,5,4)(1,3,8)^-1(2,4,5);
Error, Perm: cycles must be disjoint
Syntax error: ; expected
(1,3,8)(2,5,4)(1,3,8)^-1(2,4,5);
                        ^
gap> (1,3,8)*(2,5,4)*(1,3,8)^-1*(2,4,5);
()
gap> ll:=(4,7)(3,8);
(3,8)(4,7)
gap> HH:=Group(uu,ff,rr,dd,bb,ll);
Group( (1,3)(2,4), (1,8)(4,5), (1,6)(2,5), (5,7)(6,8), (2,7)(3,6), (3,8)
(4,7) )
gap> Size(HH);
96
gap> (1,3)(4,5) in HH;
false
gap> (1,3)(4,2) in HH;
true
gap> (1,3)(4,7) in HH;
false
gap> (1,3)(2,4) in HH;
true
gap> (1,3)(4,6) in HH;
false
gap> (1,3)(5,7) in HH;
true
gap> (1,3)(5,2) in HH;
false
gap> (1,3)(5,4) in HH;
false
gap> (5,2) in HH;
false
gap> quit;