Add a testfile for HallSubgroup

gap-system · Jan 30, 2016 · 68bf30d · 68bf30d
1 parent e92af13
commit 68bf30d
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/tst/testinstall/opers/HallSubgroup.tst b/tst/testinstall/opers/HallSubgroup.tst
@@ -0,0 +1,20 @@
+gap> START_TEST("HallSubgroup.tst");
+gap> G := GL(3,4);;
+gap> HallSubgroup(G, [2,3]);
+fail
+gap> G := PSL(4,2);;
+gap> HallSubgroup(G, [2,3]);
+<permutation group of size 576 with 8 generators>
+gap> G := PSp(4,5);;
+gap> HallSubgroup(G,[2,3]);
+<permutation group of size 576 with 8 generators>
+gap> G := Group([ [ [ Z(2)^0, 0*Z(2), 0*Z(2) ],
+> [ 0*Z(2), Z(2)^0, 0*Z(2) ],
+> [ 0*Z(2), Z(2)^0, Z(2)^0 ] ], 
+> [ [ 0*Z(2), Z(2)^0, 0*Z(2) ],
+> [ 0*Z(2), 0*Z(2), Z(2)^0 ],
+> [ Z(2)^0, 0*Z(2), 0*Z(2) ] ] ]);;
+gap> HallSubgroup(G, [2,3]);
+[ <matrix group of size 24 with 4 generators>, 
+  <matrix group of size 24 with 4 generators> ]
+gap> STOP_TEST("HallSubgroup.tst", 10000);