1gap> START_TEST("basis");
2gap> LoadPackage("crisp", "", false);
3true
4gap> CRISP_Read("tst/samples.g");
5gap>
6gap>
7gap> if PRINT_METHODS then
8>     TraceMethods(Basis);
9> fi;
10gap>
11gap> for G in groups do
12>     Info(InfoTest, 1, G());
13>     old := fail;
14>     cl := classes();
15>     for C in cl do
16>         SetIsSchunckClass(C, true);
17>     od;
18>     for i in [1..Length(cl)] do
19>         if InfoLevel(InfoTest) >= 2 then
20>             View(cl[i]);
21>             Print("\n");
22>         fi;
23>         new := G() in Basis(cl[i]);
24>         if old = fail then
25>             old := new;
26>         elif old <> new then
27>             Error("different result for group ", G(), " and class ", cl[i]);
28>         fi;
29>         for j in [i+1..Length(cl)] do
30>             I := Intersection(cl[i], cl[j]);
31>             if InfoLevel(InfoTest) >= 3 then
32>                 View(I);
33>                 Print("\n");
34>             fi;
35>             new := G() in Basis(I);
36>             if old <> new then
37>                 Error("different result for group ", G(),
38>                      " and intersection of classes ", cl[i],
39>                      " and ", cl[j]);
40>             fi;
41>         od;
42>     od;
43>     for C in cl do
44>         SetIsOrdinaryFormation(C, true);
45>     od;
46>     for C in cl do
47>         for D in cl do
48>             P := FormationProduct(C, D);
49>             if InfoLevel(InfoTest) >= 3 then
50>                 View(C);
51>                 Print("-by-");
52>                 View(D);
53>                 Print("\n");
54>             fi;
55>             new := G() in Basis(P);
56>             if old <> new then
57>                 Error("different result for group ", G(),
58>                      " and intersection of classes ", cl[i],
59>                      " and ", cl[j]);
60>             fi;
61>         od;
62>     od;
63> od;
64#I  trivial pc group
65[2,5]-grps by boundary
66Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ])
67Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ])
68Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ])
69Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ])
70Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ])
71Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ])
72[2,5]-grps by locdef
73Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ])
74Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ])
75Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ])
76Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ])
77Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ])
78[2,5]-grps by membersip
79Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ])
80Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ])
81Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ])
82Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ])
83[2,5]-grps by res
84Intersection([ [2,5]-grps by res, [2,5]-grps by rad ])
85Intersection([ [2,5]-grps by res, [2,5]-grps by inj ])
86Intersection([ [2,5]-grps by res, [2,5]-grps by proj ])
87[2,5]-grps by rad
88Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ])
89Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ])
90[2,5]-grps by inj
91Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ])
92[2,5]-grps by proj
93[2,5]-grps by boundary-by-[2,5]-grps by boundary
94[2,5]-grps by boundary-by-[2,5]-grps by locdef
95[2,5]-grps by boundary-by-[2,5]-grps by membersip
96[2,5]-grps by boundary-by-[2,5]-grps by res
97[2,5]-grps by boundary-by-[2,5]-grps by rad
98[2,5]-grps by boundary-by-[2,5]-grps by inj
99[2,5]-grps by boundary-by-[2,5]-grps by proj
100[2,5]-grps by locdef-by-[2,5]-grps by boundary
101[2,5]-grps by locdef-by-[2,5]-grps by locdef
102[2,5]-grps by locdef-by-[2,5]-grps by membersip
103[2,5]-grps by locdef-by-[2,5]-grps by res
104[2,5]-grps by locdef-by-[2,5]-grps by rad
105[2,5]-grps by locdef-by-[2,5]-grps by inj
106[2,5]-grps by locdef-by-[2,5]-grps by proj
107[2,5]-grps by membersip-by-[2,5]-grps by boundary
108[2,5]-grps by membersip-by-[2,5]-grps by locdef
109[2,5]-grps by membersip-by-[2,5]-grps by membersip
110[2,5]-grps by membersip-by-[2,5]-grps by res
111[2,5]-grps by membersip-by-[2,5]-grps by rad
112[2,5]-grps by membersip-by-[2,5]-grps by inj
113[2,5]-grps by membersip-by-[2,5]-grps by proj
114[2,5]-grps by res-by-[2,5]-grps by boundary
115[2,5]-grps by res-by-[2,5]-grps by locdef
116[2,5]-grps by res-by-[2,5]-grps by membersip
117[2,5]-grps by res-by-[2,5]-grps by res
118[2,5]-grps by res-by-[2,5]-grps by rad
119[2,5]-grps by res-by-[2,5]-grps by inj
120[2,5]-grps by res-by-[2,5]-grps by proj
121[2,5]-grps by rad-by-[2,5]-grps by boundary
122[2,5]-grps by rad-by-[2,5]-grps by locdef
123[2,5]-grps by rad-by-[2,5]-grps by membersip
124[2,5]-grps by rad-by-[2,5]-grps by res
125[2,5]-grps by rad-by-[2,5]-grps by rad
126[2,5]-grps by rad-by-[2,5]-grps by inj
127[2,5]-grps by rad-by-[2,5]-grps by proj
128[2,5]-grps by inj-by-[2,5]-grps by boundary
129[2,5]-grps by inj-by-[2,5]-grps by locdef
130[2,5]-grps by inj-by-[2,5]-grps by membersip
131[2,5]-grps by inj-by-[2,5]-grps by res
132[2,5]-grps by inj-by-[2,5]-grps by rad
133[2,5]-grps by inj-by-[2,5]-grps by inj
134[2,5]-grps by inj-by-[2,5]-grps by proj
135[2,5]-grps by proj-by-[2,5]-grps by boundary
136[2,5]-grps by proj-by-[2,5]-grps by locdef
137[2,5]-grps by proj-by-[2,5]-grps by membersip
138[2,5]-grps by proj-by-[2,5]-grps by res
139[2,5]-grps by proj-by-[2,5]-grps by rad
140[2,5]-grps by proj-by-[2,5]-grps by inj
141[2,5]-grps by proj-by-[2,5]-grps by proj
142#I  trivial perm group
143[2,5]-grps by boundary
144Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ])
145Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ])
146Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ])
147Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ])
148Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ])
149Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ])
150[2,5]-grps by locdef
151Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ])
152Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ])
153Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ])
154Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ])
155Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ])
156[2,5]-grps by membersip
157Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ])
158Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ])
159Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ])
160Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ])
161[2,5]-grps by res
162Intersection([ [2,5]-grps by res, [2,5]-grps by rad ])
163Intersection([ [2,5]-grps by res, [2,5]-grps by inj ])
164Intersection([ [2,5]-grps by res, [2,5]-grps by proj ])
165[2,5]-grps by rad
166Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ])
167Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ])
168[2,5]-grps by inj
169Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ])
170[2,5]-grps by proj
171[2,5]-grps by boundary-by-[2,5]-grps by boundary
172[2,5]-grps by boundary-by-[2,5]-grps by locdef
173[2,5]-grps by boundary-by-[2,5]-grps by membersip
174[2,5]-grps by boundary-by-[2,5]-grps by res
175[2,5]-grps by boundary-by-[2,5]-grps by rad
176[2,5]-grps by boundary-by-[2,5]-grps by inj
177[2,5]-grps by boundary-by-[2,5]-grps by proj
178[2,5]-grps by locdef-by-[2,5]-grps by boundary
179[2,5]-grps by locdef-by-[2,5]-grps by locdef
180[2,5]-grps by locdef-by-[2,5]-grps by membersip
181[2,5]-grps by locdef-by-[2,5]-grps by res
182[2,5]-grps by locdef-by-[2,5]-grps by rad
183[2,5]-grps by locdef-by-[2,5]-grps by inj
184[2,5]-grps by locdef-by-[2,5]-grps by proj
185[2,5]-grps by membersip-by-[2,5]-grps by boundary
186[2,5]-grps by membersip-by-[2,5]-grps by locdef
187[2,5]-grps by membersip-by-[2,5]-grps by membersip
188[2,5]-grps by membersip-by-[2,5]-grps by res
189[2,5]-grps by membersip-by-[2,5]-grps by rad
190[2,5]-grps by membersip-by-[2,5]-grps by inj
191[2,5]-grps by membersip-by-[2,5]-grps by proj
192[2,5]-grps by res-by-[2,5]-grps by boundary
193[2,5]-grps by res-by-[2,5]-grps by locdef
194[2,5]-grps by res-by-[2,5]-grps by membersip
195[2,5]-grps by res-by-[2,5]-grps by res
196[2,5]-grps by res-by-[2,5]-grps by rad
197[2,5]-grps by res-by-[2,5]-grps by inj
198[2,5]-grps by res-by-[2,5]-grps by proj
199[2,5]-grps by rad-by-[2,5]-grps by boundary
200[2,5]-grps by rad-by-[2,5]-grps by locdef
201[2,5]-grps by rad-by-[2,5]-grps by membersip
202[2,5]-grps by rad-by-[2,5]-grps by res
203[2,5]-grps by rad-by-[2,5]-grps by rad
204[2,5]-grps by rad-by-[2,5]-grps by inj
205[2,5]-grps by rad-by-[2,5]-grps by proj
206[2,5]-grps by inj-by-[2,5]-grps by boundary
207[2,5]-grps by inj-by-[2,5]-grps by locdef
208[2,5]-grps by inj-by-[2,5]-grps by membersip
209[2,5]-grps by inj-by-[2,5]-grps by res
210[2,5]-grps by inj-by-[2,5]-grps by rad
211[2,5]-grps by inj-by-[2,5]-grps by inj
212[2,5]-grps by inj-by-[2,5]-grps by proj
213[2,5]-grps by proj-by-[2,5]-grps by boundary
214[2,5]-grps by proj-by-[2,5]-grps by locdef
215[2,5]-grps by proj-by-[2,5]-grps by membersip
216[2,5]-grps by proj-by-[2,5]-grps by res
217[2,5]-grps by proj-by-[2,5]-grps by rad
218[2,5]-grps by proj-by-[2,5]-grps by inj
219[2,5]-grps by proj-by-[2,5]-grps by proj
220#I  trivial mat group
221[2,5]-grps by boundary
222Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ])
223Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ])
224Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ])
225Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ])
226Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ])
227Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ])
228[2,5]-grps by locdef
229Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ])
230Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ])
231Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ])
232Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ])
233Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ])
234[2,5]-grps by membersip
235Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ])
236Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ])
237Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ])
238Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ])
239[2,5]-grps by res
240Intersection([ [2,5]-grps by res, [2,5]-grps by rad ])
241Intersection([ [2,5]-grps by res, [2,5]-grps by inj ])
242Intersection([ [2,5]-grps by res, [2,5]-grps by proj ])
243[2,5]-grps by rad
244Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ])
245Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ])
246[2,5]-grps by inj
247Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ])
248[2,5]-grps by proj
249[2,5]-grps by boundary-by-[2,5]-grps by boundary
250[2,5]-grps by boundary-by-[2,5]-grps by locdef
251[2,5]-grps by boundary-by-[2,5]-grps by membersip
252[2,5]-grps by boundary-by-[2,5]-grps by res
253[2,5]-grps by boundary-by-[2,5]-grps by rad
254[2,5]-grps by boundary-by-[2,5]-grps by inj
255[2,5]-grps by boundary-by-[2,5]-grps by proj
256[2,5]-grps by locdef-by-[2,5]-grps by boundary
257[2,5]-grps by locdef-by-[2,5]-grps by locdef
258[2,5]-grps by locdef-by-[2,5]-grps by membersip
259[2,5]-grps by locdef-by-[2,5]-grps by res
260[2,5]-grps by locdef-by-[2,5]-grps by rad
261[2,5]-grps by locdef-by-[2,5]-grps by inj
262[2,5]-grps by locdef-by-[2,5]-grps by proj
263[2,5]-grps by membersip-by-[2,5]-grps by boundary
264[2,5]-grps by membersip-by-[2,5]-grps by locdef
265[2,5]-grps by membersip-by-[2,5]-grps by membersip
266[2,5]-grps by membersip-by-[2,5]-grps by res
267[2,5]-grps by membersip-by-[2,5]-grps by rad
268[2,5]-grps by membersip-by-[2,5]-grps by inj
269[2,5]-grps by membersip-by-[2,5]-grps by proj
270[2,5]-grps by res-by-[2,5]-grps by boundary
271[2,5]-grps by res-by-[2,5]-grps by locdef
272[2,5]-grps by res-by-[2,5]-grps by membersip
273[2,5]-grps by res-by-[2,5]-grps by res
274[2,5]-grps by res-by-[2,5]-grps by rad
275[2,5]-grps by res-by-[2,5]-grps by inj
276[2,5]-grps by res-by-[2,5]-grps by proj
277[2,5]-grps by rad-by-[2,5]-grps by boundary
278[2,5]-grps by rad-by-[2,5]-grps by locdef
279[2,5]-grps by rad-by-[2,5]-grps by membersip
280[2,5]-grps by rad-by-[2,5]-grps by res
281[2,5]-grps by rad-by-[2,5]-grps by rad
282[2,5]-grps by rad-by-[2,5]-grps by inj
283[2,5]-grps by rad-by-[2,5]-grps by proj
284[2,5]-grps by inj-by-[2,5]-grps by boundary
285[2,5]-grps by inj-by-[2,5]-grps by locdef
286[2,5]-grps by inj-by-[2,5]-grps by membersip
287[2,5]-grps by inj-by-[2,5]-grps by res
288[2,5]-grps by inj-by-[2,5]-grps by rad
289[2,5]-grps by inj-by-[2,5]-grps by inj
290[2,5]-grps by inj-by-[2,5]-grps by proj
291[2,5]-grps by proj-by-[2,5]-grps by boundary
292[2,5]-grps by proj-by-[2,5]-grps by locdef
293[2,5]-grps by proj-by-[2,5]-grps by membersip
294[2,5]-grps by proj-by-[2,5]-grps by res
295[2,5]-grps by proj-by-[2,5]-grps by rad
296[2,5]-grps by proj-by-[2,5]-grps by inj
297[2,5]-grps by proj-by-[2,5]-grps by proj
298#I  GL(2,3) as pc group
299[2,5]-grps by boundary
300Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ])
301Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ])
302Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ])
303Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ])
304Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ])
305Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ])
306[2,5]-grps by locdef
307Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ])
308Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ])
309Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ])
310Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ])
311Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ])
312[2,5]-grps by membersip
313Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ])
314Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ])
315Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ])
316Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ])
317[2,5]-grps by res
318Intersection([ [2,5]-grps by res, [2,5]-grps by rad ])
319Intersection([ [2,5]-grps by res, [2,5]-grps by inj ])
320Intersection([ [2,5]-grps by res, [2,5]-grps by proj ])
321[2,5]-grps by rad
322Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ])
323Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ])
324[2,5]-grps by inj
325Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ])
326[2,5]-grps by proj
327[2,5]-grps by boundary-by-[2,5]-grps by boundary
328[2,5]-grps by boundary-by-[2,5]-grps by locdef
329[2,5]-grps by boundary-by-[2,5]-grps by membersip
330[2,5]-grps by boundary-by-[2,5]-grps by res
331[2,5]-grps by boundary-by-[2,5]-grps by rad
332[2,5]-grps by boundary-by-[2,5]-grps by inj
333[2,5]-grps by boundary-by-[2,5]-grps by proj
334[2,5]-grps by locdef-by-[2,5]-grps by boundary
335[2,5]-grps by locdef-by-[2,5]-grps by locdef
336[2,5]-grps by locdef-by-[2,5]-grps by membersip
337[2,5]-grps by locdef-by-[2,5]-grps by res
338[2,5]-grps by locdef-by-[2,5]-grps by rad
339[2,5]-grps by locdef-by-[2,5]-grps by inj
340[2,5]-grps by locdef-by-[2,5]-grps by proj
341[2,5]-grps by membersip-by-[2,5]-grps by boundary
342[2,5]-grps by membersip-by-[2,5]-grps by locdef
343[2,5]-grps by membersip-by-[2,5]-grps by membersip
344[2,5]-grps by membersip-by-[2,5]-grps by res
345[2,5]-grps by membersip-by-[2,5]-grps by rad
346[2,5]-grps by membersip-by-[2,5]-grps by inj
347[2,5]-grps by membersip-by-[2,5]-grps by proj
348[2,5]-grps by res-by-[2,5]-grps by boundary
349[2,5]-grps by res-by-[2,5]-grps by locdef
350[2,5]-grps by res-by-[2,5]-grps by membersip
351[2,5]-grps by res-by-[2,5]-grps by res
352[2,5]-grps by res-by-[2,5]-grps by rad
353[2,5]-grps by res-by-[2,5]-grps by inj
354[2,5]-grps by res-by-[2,5]-grps by proj
355[2,5]-grps by rad-by-[2,5]-grps by boundary
356[2,5]-grps by rad-by-[2,5]-grps by locdef
357[2,5]-grps by rad-by-[2,5]-grps by membersip
358[2,5]-grps by rad-by-[2,5]-grps by res
359[2,5]-grps by rad-by-[2,5]-grps by rad
360[2,5]-grps by rad-by-[2,5]-grps by inj
361[2,5]-grps by rad-by-[2,5]-grps by proj
362[2,5]-grps by inj-by-[2,5]-grps by boundary
363[2,5]-grps by inj-by-[2,5]-grps by locdef
364[2,5]-grps by inj-by-[2,5]-grps by membersip
365[2,5]-grps by inj-by-[2,5]-grps by res
366[2,5]-grps by inj-by-[2,5]-grps by rad
367[2,5]-grps by inj-by-[2,5]-grps by inj
368[2,5]-grps by inj-by-[2,5]-grps by proj
369[2,5]-grps by proj-by-[2,5]-grps by boundary
370[2,5]-grps by proj-by-[2,5]-grps by locdef
371[2,5]-grps by proj-by-[2,5]-grps by membersip
372[2,5]-grps by proj-by-[2,5]-grps by res
373[2,5]-grps by proj-by-[2,5]-grps by rad
374[2,5]-grps by proj-by-[2,5]-grps by inj
375[2,5]-grps by proj-by-[2,5]-grps by proj
376#I  Sym(4)
377[2,5]-grps by boundary
378Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ])
379Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ])
380Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ])
381Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ])
382Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ])
383Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ])
384[2,5]-grps by locdef
385Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ])
386Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ])
387Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ])
388Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ])
389Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ])
390[2,5]-grps by membersip
391Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ])
392Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ])
393Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ])
394Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ])
395[2,5]-grps by res
396Intersection([ [2,5]-grps by res, [2,5]-grps by rad ])
397Intersection([ [2,5]-grps by res, [2,5]-grps by inj ])
398Intersection([ [2,5]-grps by res, [2,5]-grps by proj ])
399[2,5]-grps by rad
400Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ])
401Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ])
402[2,5]-grps by inj
403Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ])
404[2,5]-grps by proj
405[2,5]-grps by boundary-by-[2,5]-grps by boundary
406[2,5]-grps by boundary-by-[2,5]-grps by locdef
407[2,5]-grps by boundary-by-[2,5]-grps by membersip
408[2,5]-grps by boundary-by-[2,5]-grps by res
409[2,5]-grps by boundary-by-[2,5]-grps by rad
410[2,5]-grps by boundary-by-[2,5]-grps by inj
411[2,5]-grps by boundary-by-[2,5]-grps by proj
412[2,5]-grps by locdef-by-[2,5]-grps by boundary
413[2,5]-grps by locdef-by-[2,5]-grps by locdef
414[2,5]-grps by locdef-by-[2,5]-grps by membersip
415[2,5]-grps by locdef-by-[2,5]-grps by res
416[2,5]-grps by locdef-by-[2,5]-grps by rad
417[2,5]-grps by locdef-by-[2,5]-grps by inj
418[2,5]-grps by locdef-by-[2,5]-grps by proj
419[2,5]-grps by membersip-by-[2,5]-grps by boundary
420[2,5]-grps by membersip-by-[2,5]-grps by locdef
421[2,5]-grps by membersip-by-[2,5]-grps by membersip
422[2,5]-grps by membersip-by-[2,5]-grps by res
423[2,5]-grps by membersip-by-[2,5]-grps by rad
424[2,5]-grps by membersip-by-[2,5]-grps by inj
425[2,5]-grps by membersip-by-[2,5]-grps by proj
426[2,5]-grps by res-by-[2,5]-grps by boundary
427[2,5]-grps by res-by-[2,5]-grps by locdef
428[2,5]-grps by res-by-[2,5]-grps by membersip
429[2,5]-grps by res-by-[2,5]-grps by res
430[2,5]-grps by res-by-[2,5]-grps by rad
431[2,5]-grps by res-by-[2,5]-grps by inj
432[2,5]-grps by res-by-[2,5]-grps by proj
433[2,5]-grps by rad-by-[2,5]-grps by boundary
434[2,5]-grps by rad-by-[2,5]-grps by locdef
435[2,5]-grps by rad-by-[2,5]-grps by membersip
436[2,5]-grps by rad-by-[2,5]-grps by res
437[2,5]-grps by rad-by-[2,5]-grps by rad
438[2,5]-grps by rad-by-[2,5]-grps by inj
439[2,5]-grps by rad-by-[2,5]-grps by proj
440[2,5]-grps by inj-by-[2,5]-grps by boundary
441[2,5]-grps by inj-by-[2,5]-grps by locdef
442[2,5]-grps by inj-by-[2,5]-grps by membersip
443[2,5]-grps by inj-by-[2,5]-grps by res
444[2,5]-grps by inj-by-[2,5]-grps by rad
445[2,5]-grps by inj-by-[2,5]-grps by inj
446[2,5]-grps by inj-by-[2,5]-grps by proj
447[2,5]-grps by proj-by-[2,5]-grps by boundary
448[2,5]-grps by proj-by-[2,5]-grps by locdef
449[2,5]-grps by proj-by-[2,5]-grps by membersip
450[2,5]-grps by proj-by-[2,5]-grps by res
451[2,5]-grps by proj-by-[2,5]-grps by rad
452[2,5]-grps by proj-by-[2,5]-grps by inj
453[2,5]-grps by proj-by-[2,5]-grps by proj
454#I  Dih(10)
455[2,5]-grps by boundary
456Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ])
457Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ])
458Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ])
459Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ])
460Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ])
461Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ])
462[2,5]-grps by locdef
463Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ])
464Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ])
465Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ])
466Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ])
467Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ])
468[2,5]-grps by membersip
469Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ])
470Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ])
471Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ])
472Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ])
473[2,5]-grps by res
474Intersection([ [2,5]-grps by res, [2,5]-grps by rad ])
475Intersection([ [2,5]-grps by res, [2,5]-grps by inj ])
476Intersection([ [2,5]-grps by res, [2,5]-grps by proj ])
477[2,5]-grps by rad
478Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ])
479Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ])
480[2,5]-grps by inj
481Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ])
482[2,5]-grps by proj
483[2,5]-grps by boundary-by-[2,5]-grps by boundary
484[2,5]-grps by boundary-by-[2,5]-grps by locdef
485[2,5]-grps by boundary-by-[2,5]-grps by membersip
486[2,5]-grps by boundary-by-[2,5]-grps by res
487[2,5]-grps by boundary-by-[2,5]-grps by rad
488[2,5]-grps by boundary-by-[2,5]-grps by inj
489[2,5]-grps by boundary-by-[2,5]-grps by proj
490[2,5]-grps by locdef-by-[2,5]-grps by boundary
491[2,5]-grps by locdef-by-[2,5]-grps by locdef
492[2,5]-grps by locdef-by-[2,5]-grps by membersip
493[2,5]-grps by locdef-by-[2,5]-grps by res
494[2,5]-grps by locdef-by-[2,5]-grps by rad
495[2,5]-grps by locdef-by-[2,5]-grps by inj
496[2,5]-grps by locdef-by-[2,5]-grps by proj
497[2,5]-grps by membersip-by-[2,5]-grps by boundary
498[2,5]-grps by membersip-by-[2,5]-grps by locdef
499[2,5]-grps by membersip-by-[2,5]-grps by membersip
500[2,5]-grps by membersip-by-[2,5]-grps by res
501[2,5]-grps by membersip-by-[2,5]-grps by rad
502[2,5]-grps by membersip-by-[2,5]-grps by inj
503[2,5]-grps by membersip-by-[2,5]-grps by proj
504[2,5]-grps by res-by-[2,5]-grps by boundary
505[2,5]-grps by res-by-[2,5]-grps by locdef
506[2,5]-grps by res-by-[2,5]-grps by membersip
507[2,5]-grps by res-by-[2,5]-grps by res
508[2,5]-grps by res-by-[2,5]-grps by rad
509[2,5]-grps by res-by-[2,5]-grps by inj
510[2,5]-grps by res-by-[2,5]-grps by proj
511[2,5]-grps by rad-by-[2,5]-grps by boundary
512[2,5]-grps by rad-by-[2,5]-grps by locdef
513[2,5]-grps by rad-by-[2,5]-grps by membersip
514[2,5]-grps by rad-by-[2,5]-grps by res
515[2,5]-grps by rad-by-[2,5]-grps by rad
516[2,5]-grps by rad-by-[2,5]-grps by inj
517[2,5]-grps by rad-by-[2,5]-grps by proj
518[2,5]-grps by inj-by-[2,5]-grps by boundary
519[2,5]-grps by inj-by-[2,5]-grps by locdef
520[2,5]-grps by inj-by-[2,5]-grps by membersip
521[2,5]-grps by inj-by-[2,5]-grps by res
522[2,5]-grps by inj-by-[2,5]-grps by rad
523[2,5]-grps by inj-by-[2,5]-grps by inj
524[2,5]-grps by inj-by-[2,5]-grps by proj
525[2,5]-grps by proj-by-[2,5]-grps by boundary
526[2,5]-grps by proj-by-[2,5]-grps by locdef
527[2,5]-grps by proj-by-[2,5]-grps by membersip
528[2,5]-grps by proj-by-[2,5]-grps by res
529[2,5]-grps by proj-by-[2,5]-grps by rad
530[2,5]-grps by proj-by-[2,5]-grps by inj
531[2,5]-grps by proj-by-[2,5]-grps by proj
532#I  GL(2,3)
533[2,5]-grps by boundary
534Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ])
535Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ])
536Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ])
537Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ])
538Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ])
539Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ])
540[2,5]-grps by locdef
541Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ])
542Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ])
543Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ])
544Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ])
545Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ])
546[2,5]-grps by membersip
547Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ])
548Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ])
549Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ])
550Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ])
551[2,5]-grps by res
552Intersection([ [2,5]-grps by res, [2,5]-grps by rad ])
553Intersection([ [2,5]-grps by res, [2,5]-grps by inj ])
554Intersection([ [2,5]-grps by res, [2,5]-grps by proj ])
555[2,5]-grps by rad
556Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ])
557Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ])
558[2,5]-grps by inj
559Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ])
560[2,5]-grps by proj
561[2,5]-grps by boundary-by-[2,5]-grps by boundary
562[2,5]-grps by boundary-by-[2,5]-grps by locdef
563[2,5]-grps by boundary-by-[2,5]-grps by membersip
564[2,5]-grps by boundary-by-[2,5]-grps by res
565[2,5]-grps by boundary-by-[2,5]-grps by rad
566[2,5]-grps by boundary-by-[2,5]-grps by inj
567[2,5]-grps by boundary-by-[2,5]-grps by proj
568[2,5]-grps by locdef-by-[2,5]-grps by boundary
569[2,5]-grps by locdef-by-[2,5]-grps by locdef
570[2,5]-grps by locdef-by-[2,5]-grps by membersip
571[2,5]-grps by locdef-by-[2,5]-grps by res
572[2,5]-grps by locdef-by-[2,5]-grps by rad
573[2,5]-grps by locdef-by-[2,5]-grps by inj
574[2,5]-grps by locdef-by-[2,5]-grps by proj
575[2,5]-grps by membersip-by-[2,5]-grps by boundary
576[2,5]-grps by membersip-by-[2,5]-grps by locdef
577[2,5]-grps by membersip-by-[2,5]-grps by membersip
578[2,5]-grps by membersip-by-[2,5]-grps by res
579[2,5]-grps by membersip-by-[2,5]-grps by rad
580[2,5]-grps by membersip-by-[2,5]-grps by inj
581[2,5]-grps by membersip-by-[2,5]-grps by proj
582[2,5]-grps by res-by-[2,5]-grps by boundary
583[2,5]-grps by res-by-[2,5]-grps by locdef
584[2,5]-grps by res-by-[2,5]-grps by membersip
585[2,5]-grps by res-by-[2,5]-grps by res
586[2,5]-grps by res-by-[2,5]-grps by rad
587[2,5]-grps by res-by-[2,5]-grps by inj
588[2,5]-grps by res-by-[2,5]-grps by proj
589[2,5]-grps by rad-by-[2,5]-grps by boundary
590[2,5]-grps by rad-by-[2,5]-grps by locdef
591[2,5]-grps by rad-by-[2,5]-grps by membersip
592[2,5]-grps by rad-by-[2,5]-grps by res
593[2,5]-grps by rad-by-[2,5]-grps by rad
594[2,5]-grps by rad-by-[2,5]-grps by inj
595[2,5]-grps by rad-by-[2,5]-grps by proj
596[2,5]-grps by inj-by-[2,5]-grps by boundary
597[2,5]-grps by inj-by-[2,5]-grps by locdef
598[2,5]-grps by inj-by-[2,5]-grps by membersip
599[2,5]-grps by inj-by-[2,5]-grps by res
600[2,5]-grps by inj-by-[2,5]-grps by rad
601[2,5]-grps by inj-by-[2,5]-grps by inj
602[2,5]-grps by inj-by-[2,5]-grps by proj
603[2,5]-grps by proj-by-[2,5]-grps by boundary
604[2,5]-grps by proj-by-[2,5]-grps by locdef
605[2,5]-grps by proj-by-[2,5]-grps by membersip
606[2,5]-grps by proj-by-[2,5]-grps by res
607[2,5]-grps by proj-by-[2,5]-grps by rad
608[2,5]-grps by proj-by-[2,5]-grps by inj
609[2,5]-grps by proj-by-[2,5]-grps by proj
610gap>
611gap> if PRINT_METHODS then
612>     UnTraceMethods(Basis);
613> fi;
614gap> STOP_TEST("basis", 32620000);
615basis
616GAP4stones: 0
617gap>
618gap>
619gap> ############################################################################
620gap> ##
621gap> #E
622gap> ##gap> gap>
623