Skip to content

Commit

Permalink
Add a testfile for HallSubgroup
Browse files Browse the repository at this point in the history
  • Loading branch information
markuspf committed Jan 31, 2016
1 parent e92af13 commit d4e897e
Showing 1 changed file with 19 additions and 0 deletions.
19 changes: 19 additions & 0 deletions tst/testinstall/opers/HallSubgroup.tst
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
gap> START_TEST("HallSubgroup.tst");
gap> G := GL(3,4);;
gap> HallSubgroup(G, [2,3]);
fail
gap> G := PSL(4,2);;
gap> IdGroup(HallSubgroup(G, [2,3]));
[ 576, 8654 ]
gap> G := PSp(4,5);;
gap> IdGroup(HallSubgroup(G,[2,3]));
[ 576, 8277 ]
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> List(HallSubgroup(G, [2,3]), IdGroup);
[ [ 24, 12 ], [ 24, 12 ] ]
gap> STOP_TEST("HallSubgroup.tst", 10000);

0 comments on commit d4e897e

Please sign in to comment.