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