Skip to content

Commit faaba97

Browse files
committed
Also S6(2) test
1 parent aa97e04 commit faaba97

1 file changed

Lines changed: 8 additions & 1 deletion

File tree

tst/testinstall/grpfp.tst

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -139,14 +139,21 @@ Error, <gens> must be a generating set for G
139139
gap> IsomorphismFpGroupByGeneratorsNC( Group( (1,2) ), [], "F" );
140140
Error, <emptygens> does not generate <G>
141141

142-
# RWS for G2(3)
142+
# RWS for G2(3) and S_6(2)
143143
gap> g:=SimpleGroup("G2(3)");;
144144
gap> hom:=IsomorphismFpGroupForRewriting(g);;
145145
gap> m:=Image(IsomorphismFpMonoid(Image(hom)));;
146146
gap> F:=m!.rewritingSystem;;;
147147
gap> ReducedForm(F,UnderlyingElement(
148148
> Product(GeneratorsOfMonoid(m){[1,3..19]})));
149149
w1*B5*b6*b7*B8*w2*b1*B3*B4*b5*b6*b7
150+
gap> g:=SimpleGroup("S6(2)");;
151+
gap> hom:=IsomorphismFpGroupForRewriting(g);;
152+
gap> m:=Image(IsomorphismFpMonoid(Image(hom)));;
153+
gap> F:=m!.rewritingSystem;;;
154+
gap> ReducedForm(F,UnderlyingElement(
155+
> Product(GeneratorsOfMonoid(m){[1,3..19]})));
156+
b2*b4*w1*b1*b6*b8*b9
150157

151158
#
152159
gap> STOP_TEST( "grpfp.tst" );

0 commit comments

Comments
 (0)