testinstall/opers/SimpleGroup.tst

1 gap> START_TEST("SimpleGroup.tst");
4 gap> SimpleGroup("Alt(5)"); Size(last); IsAlternatingGroup(last2);
8 gap> SimpleGroup("A6"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
14 gap> SimpleGroup("A4");
18 gap> SimpleGroup("M");
20 gap> SimpleGroup("FG"); # friendly giant
26 gap> SimpleGroup("M10");
28 gap> SimpleGroup("M11"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
34 gap> SimpleGroup("J1"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
38 gap> SimpleGroup("J_2"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
42 gap> SimpleGroup("J5");
46 gap> SimpleGroup("CO3"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
50 gap> SimpleGroup("CO(2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
54 gap> SimpleGroup("CO4");
58 gap> SimpleGroup("Fi20");
62 gap> SimpleGroup("SuZ"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
66 gap> SimpleGroup("Sz(8)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
71 gap> SimpleGroup("Suzuki(32)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
76 gap> SimpleGroup("Suz(8)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
81 gap> SimpleGroup("Sz(9)");
83 gap> SimpleGroup("Suz(16)");
87 gap> SimpleGroup("R(27)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
92 gap> SimpleGroup("Ree(27)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
97 gap> SimpleGroup("2G(243)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
102 gap> SimpleGroup("Ree(9)");
104 gap> SimpleGroup("Ree(16)");
108 gap> SimpleGroup("HE"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
112 gap> SimpleGroup("HS"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
116 gap> SimpleGroup("McL"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
120 gap> SimpleGroup("T"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
129 gap> SimpleGroup("L(2,2)");
131 gap> SimpleGroup("L(2,3)");
133 gap> SimpleGroup("L(2,4)"); Size(last); IsAlternatingGroup(last2);
137 gap> SimpleGroup("L(3,2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
144 gap> SimpleGroup("L(4,2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
149 gap> SimpleGroup("L(4,6)");
155 gap> SimpleGroup("U(2,2)");
157 gap> SimpleGroup("U(3,2)");
159 gap> SimpleGroup("U(4,2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
169 gap> SimpleGroup("Sp(2,2)");
171 gap> SimpleGroup("S(2,3)");
173 gap> SimpleGroup("PSp(2,4)"); Size(last); IsAlternatingGroup(last2);
177 gap> SimpleGroup("S(3,2)");
179 gap> SimpleGroup("Sp(4,2)");
181 gap> SimpleGroup("Sp(4,3)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
193 gap> SimpleGroup("O-(5,2)");
195 gap> SimpleGroup("O(+,5,2)");
197 gap> SimpleGroup("O(8,2)");
201 gap> SimpleGroup("O(1,23)");
203 gap> SimpleGroup("O(3,2)");
205 gap> SimpleGroup("O(3,3)");
207 gap> SimpleGroup("O(3,5)"); Size(last); IsAlternatingGroup(last2);
213 gap> SimpleGroup("O+(2,23)");
215 gap> SimpleGroup("O(+,4,17)");
217 gap> SimpleGroup("O(1,6,2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
222 gap> SimpleGroup("O(1,8,3)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
229 gap> SimpleGroup("O-(2,29)");
231 gap> SimpleGroup("O(-,4,2)"); Size(last); IsAlternatingGroup(last2);
235 gap> SimpleGroup("O-(4,2)");
237 gap> SimpleGroup("O-(6,5)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
242 gap> SimpleGroup("O-(8,2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
254 gap> SimpleGroup("E(5,2)");
258 gap> SimpleGroup("F3(3)");
260 gap> SimpleGroup("F4(3)");
264 gap> SimpleGroup("G3(3)");
266 gap> SimpleGroup("G2(2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
271 gap> SimpleGroup("G2(3)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
275 gap> SimpleGroup("G2(4)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
279 gap> SimpleGroup("G2(5)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
285 gap> SimpleGroup("3D(3,4)");
287 gap> SimpleGroup("3D(4,2)"); Size(last); IsomorphismTypeInfoFiniteSimpleGroup(last2);
292 gap> g:=SimpleGroup("3D(4,169)");
301 gap> SimpleGroup("2E(5,2)");
305 gap> SimpleGroup("O", 3, 5);
307 gap> SimpleGroup("O+", 8, 2);
309 gap> SimpleGroup("O-", 4, 2);
313 gap> SimpleGroup("X(4,3)");
317 gap> STOP_TEST("SimpleGroup.tst", 10000);