diff --git a/tst/example.tst b/tst/example.tst index cc1db5b..c7b2190 100644 --- a/tst/example.tst +++ b/tst/example.tst @@ -48,9 +48,11 @@ false # gap> g9 := ReducibleNilpotentMatGroupFF(2, 4*9,5,2); -gap> SylowSubgroupsOfNilpotentFFMatGroup(g9); -[ , , - ] +gap> x := SylowSubgroupsOfNilpotentFFMatGroup(g9);; +gap> ForAll(x, IsMatrixGroup); +true +gap> List(x, g -> Length(GeneratorsOfGroup(g))); +[ 5, 6, 1 ] # Using library functions # diff --git a/tst/manual.tst b/tst/manual.tst index 881df04..a4b8d3c 100644 --- a/tst/manual.tst +++ b/tst/manual.tst @@ -36,9 +36,11 @@ false # gap> g9 := ReducibleNilpotentMatGroup(2,36,5,2); -gap> SylowSubgroupsOfNilpotentFFMatGroup(g9); -[ , , - ] +gap> x := SylowSubgroupsOfNilpotentFFMatGroup(g9);; +gap> ForAll(x, IsMatrixGroup); +true +gap> List(x, g -> Length(GeneratorsOfGroup(g))); +[ 5, 6, 1 ] gap> IsCompletelyReducibleNilpotentMatGroup(g9); false