Skip to content

Commit 3822353

Browse files
fingolfinChrisJefferson
authored andcommitted
Add a comment to permgrp.tst
1 parent 64a9d81 commit 3822353

1 file changed

Lines changed: 6 additions & 2 deletions

File tree

tst/teststandard/permgrp.tst

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,12 +8,16 @@ gap> Size(Normalizer(SymmetricGroup(100),PrimitiveGroup(100,1)));
88
gap> g:=Image(RegularActionHomomorphism(AbelianGroup([4,5,5])));;
99
gap> Size(Normalizer(SymmetricGroup(100),g));
1010
96000
11-
gap> g:=SymmetricGroup(11);;s:=SylowSubgroup(g,NrMovedPoints(g));;
11+
12+
# the following tests used to choke GAP, because GAP failed to find
13+
# certain intermediate subgroups, such as M11; as such, the degrees
14+
# of symmetric groups in these tests are crucial
15+
gap> g:=SymmetricGroup(11);;s:=SylowSubgroup(g,11);;
1216
gap> dc:=DoubleCosetRepsAndSizes(g,s,s);;
1317
gap> Length(dc);Sum(dc,x->x[2])=Size(g);
1418
329900
1519
true
16-
gap> g:=SymmetricGroup(13);;s:=SylowSubgroup(g,NrMovedPoints(g));;
20+
gap> g:=SymmetricGroup(13);;s:=SylowSubgroup(g,13);;
1721
gap> ac:=AscendingChain(g,s);;
1822
gap> Maximum(List([2..Length(ac)],x->Index(ac[x],ac[x-1])))<600000;
1923
true

0 commit comments

Comments
 (0)