More robust tests (#60)

gap-packages · Feb 13, 2024 · 3c1708e · 3c1708e
1 parent cba84e8
commit 3c1708e
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 20 deletions.
diff --git a/tst/files/quick/Operation/DihedralGroup_20_10_Fp.tst b/tst/files/quick/Operation/DihedralGroup_20_10_Fp.tst
@@ -4,11 +4,10 @@
 # fp-group
 #############################################################################
 
-gap> G := DihedralGroup(IsFpGroup, 20);
-<fp group of size 20 on the generators [ r, s ]>
-gap> L := LowIndexNormalSubs(G, 10);
-[ <fp group of size 20 on the generators [ r, s ]>, Group([ r ]), 
-  Group([ r^-2, s ]), Group([ r^-2, s*r^-1 ]), Group([ r^-2 ]), 
-  Group([ r^5 ]) ]
+gap> G := DihedralGroup(IsFpGroup, 20);;
+gap> L := LowIndexNormalSubs(G, 10);;
 gap> List(L, H -> Index(G, H));
 [ 1, 2, 2, 2, 4, 10 ]
+gap> L2 := LowIndexNormalSubs(G, 2 : allSubgroups := false);;
+gap> List(L2, H -> Index(G, H));
+[ 2, 2, 2 ]
diff --git a/tst/files/quick/Operation/DihedralGroup_20_10_Pc.tst b/tst/files/quick/Operation/DihedralGroup_20_10_Pc.tst
@@ -4,11 +4,10 @@
 # pc-group
 #############################################################################
 
-gap> G := DihedralGroup(20);
-<pc group of size 20 with 3 generators>
-gap> L := LowIndexNormalSubs(G, 10);
-[ Group([ f1, f2, f3 ]), Group([ f1, f3^4 ]), Group([ f2 ]), 
-  Group([ f1*f2*f3^4, f1*f2 ]), Group([ f3^4 ]), 
-  Group([ <identity> of ..., f2*f3^2 ]) ]
+gap> G := DihedralGroup(IsPcGroup, 20);;
+gap> L := LowIndexNormalSubs(G, 10);;
 gap> List(L, H -> Index(G, H));
 [ 1, 2, 2, 2, 4, 10 ]
+gap> L2 := LowIndexNormalSubs(G, 2 : allSubgroups := false);;
+gap> List(L2, H -> Index(G, H));
+[ 2, 2, 2 ]
diff --git a/tst/files/quick/Operation/DihedralGroup_20_10_Perm.tst b/tst/files/quick/Operation/DihedralGroup_20_10_Perm.tst
@@ -4,13 +4,10 @@
 # perm-group
 #############################################################################
 
-gap> G := DihedralGroup(IsPermGroup, 20);
-Group([ (1,2,3,4,5,6,7,8,9,10), (2,10)(3,9)(4,8)(5,7) ])
-gap> L := LowIndexNormalSubs(G, 10);
-[ Group([ (2,10)(3,9)(4,8)(5,7), (1,6)(2,7)(3,8)(4,9)(5,10), (1,7,3,9,5)
-      (2,8,4,10,6) ]), Group([ (2,10)(3,9)(4,8)(5,7), (1,7,3,9,5)(2,8,4,10,6) 
-     ]), Group([ (1,6)(2,7)(3,8)(4,9)(5,10), (1,7,3,9,5)(2,8,4,10,6) ]), 
-  Group([ (1,6)(2,5)(3,4)(7,10)(8,9), (1,7,3,9,5)(2,8,4,10,6) ]), 
-  Group([ (1,7,3,9,5)(2,8,4,10,6) ]), Group([ (1,6)(2,7)(3,8)(4,9)(5,10) ]) ]
+gap> G := DihedralGroup(IsPermGroup, 20);;
+gap> L := LowIndexNormalSubs(G, 10);;
 gap> List(L, H -> Index(G, H));
 [ 1, 2, 2, 2, 4, 10 ]
+gap> L2 := LowIndexNormalSubs(G, 2 : allSubgroups := false);;
+gap> List(L2, H -> Index(G, H));
+[ 2, 2, 2 ]