File: small_groups2.tst

package info (click to toggle)
gap 4.15.1-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 110,212 kB
  • sloc: ansic: 97,261; xml: 48,343; cpp: 13,946; sh: 4,900; perl: 1,650; javascript: 255; makefile: 252; ruby: 9
file content (22 lines) | stat: -rw-r--r-- 739 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
gap> START_TEST("small_groups2.tst");
gap> bad := [];;
gap> for n in [1..Length(NAMES_OF_SMALL_GROUPS)] do
>   if not IsBound(NAMES_OF_SMALL_GROUPS[n]) then continue; fi;
>   for i in [1..NrSmallGroups(n)] do
>     G := SmallGroup(n, i);
>     descA := NAMES_OF_SMALL_GROUPS[n][i];
>     G := Subgroup(G, GeneratorsOfGroup(G));
>     descB := StructureDescription(G : recompute := true, nice := true);
>     if descA <> descB then
>       Print([n,i], ": bad description ", descB, ", should be ", descA, "\n");
>       AddSet(bad, [n,i]);
>     fi;
>     if IdGroup(G) <> [n,i] then
>       Print([n,i], ": bad id ",IdGroup(G), "\n");
>       AddSet(bad, [n,i]);
>     fi;
>   od;
> od;
gap> bad;
[  ]
gap> STOP_TEST("small_groups2.tst");