Gedichte
Musik
Bilder
Quellcodebibliothek
Diashow
Normaldarstellung
Quellcodebibliothek
Statistik
Leitseite
products
/
sources
/
formale Sprachen
/
C
/
Firefox
/
devtools
/
client
/
responsive
/
images
/ (
Browser von der Mozilla Stiftung
Version 136.0.1
©
) Datei vom 10.2.2025 mit Größe 392 B
Bilddatei
residuals.tst
products/Sources/formale Sprachen/GAP/pkg/crisp/tst/residuals.tst
gap> START_TEST("residuals"); gap> LoadPackage("crisp", "", false); true gap> CRISP_Read("tst/samples.g"); gap> gap> if PRINT_METHODS then > TraceMethods(ResidualOp); > fi; gap> gap> for G in groups do > Info(InfoTest, 1, G()); > old := fail; > cl := classes(); > for C in cl do > SetIsOrdinaryFormation(C, true); > od; > for i in [1..Length(cl)] do > if InfoLevel(InfoTest) >= 2 then > View(cl[i]); > Print("\n"); > fi; > new := Size(Residual(G(), cl[i])); > if old = fail then > old := new; > elif old <> new then > Error("different results"); > fi; > for j in [i+1..Length(cl)] do > I := Intersection(cl[i], cl[j]); > if InfoLevel(InfoTest) >= 3 then > View(I); > Print("\n"); > fi; > new := Size(Residual(G(), I)); > if old <> new then > Error("different results"); > fi; > od; > od; > for C in cl do > for D in cl do > P := FormationProduct(C, D); > if InfoLevel(InfoTest) >= 3 then > View(C, "by", D); > Print("\n"); > fi; > new := Size(Residual(G(), P)); > if old <> new then > Error("different results"); > fi; > od; > od; > od; #I trivial pc group [2,5]-grps by boundary Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ]) [2,5]-grps by locdef Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ]) [2,5]-grps by membersip Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ]) [2,5]-grps by res Intersection([ [2,5]-grps by res, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by res, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by res, [2,5]-grps by proj ]) [2,5]-grps by rad Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ]) [2,5]-grps by inj Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ]) [2,5]-grps by proj [2,5]-grps by boundary"by"[2,5]-grps by boundary [2,5]-grps by boundary"by"[2,5]-grps by locdef [2,5]-grps by boundary"by"[2,5]-grps by membersip [2,5]-grps by boundary"by"[2,5]-grps by res [2,5]-grps by boundary"by"[2,5]-grps by rad [2,5]-grps by boundary"by"[2,5]-grps by inj [2,5]-grps by boundary"by"[2,5]-grps by proj [2,5]-grps by locdef"by"[2,5]-grps by boundary [2,5]-grps by locdef"by"[2,5]-grps by locdef [2,5]-grps by locdef"by"[2,5]-grps by membersip [2,5]-grps by locdef"by"[2,5]-grps by res [2,5]-grps by locdef"by"[2,5]-grps by rad [2,5]-grps by locdef"by"[2,5]-grps by inj [2,5]-grps by locdef"by"[2,5]-grps by proj [2,5]-grps by membersip"by"[2,5]-grps by boundary [2,5]-grps by membersip"by"[2,5]-grps by locdef [2,5]-grps by membersip"by"[2,5]-grps by membersip [2,5]-grps by membersip"by"[2,5]-grps by res [2,5]-grps by membersip"by"[2,5]-grps by rad [2,5]-grps by membersip"by"[2,5]-grps by inj [2,5]-grps by membersip"by"[2,5]-grps by proj [2,5]-grps by res"by"[2,5]-grps by boundary [2,5]-grps by res"by"[2,5]-grps by locdef [2,5]-grps by res"by"[2,5]-grps by membersip [2,5]-grps by res"by"[2,5]-grps by res [2,5]-grps by res"by"[2,5]-grps by rad [2,5]-grps by res"by"[2,5]-grps by inj [2,5]-grps by res"by"[2,5]-grps by proj [2,5]-grps by rad"by"[2,5]-grps by boundary [2,5]-grps by rad"by"[2,5]-grps by locdef [2,5]-grps by rad"by"[2,5]-grps by membersip [2,5]-grps by rad"by"[2,5]-grps by res [2,5]-grps by rad"by"[2,5]-grps by rad [2,5]-grps by rad"by"[2,5]-grps by inj [2,5]-grps by rad"by"[2,5]-grps by proj [2,5]-grps by inj"by"[2,5]-grps by boundary [2,5]-grps by inj"by"[2,5]-grps by locdef [2,5]-grps by inj"by"[2,5]-grps by membersip [2,5]-grps by inj"by"[2,5]-grps by res [2,5]-grps by inj"by"[2,5]-grps by rad [2,5]-grps by inj"by"[2,5]-grps by inj [2,5]-grps by inj"by"[2,5]-grps by proj [2,5]-grps by proj"by"[2,5]-grps by boundary [2,5]-grps by proj"by"[2,5]-grps by locdef [2,5]-grps by proj"by"[2,5]-grps by membersip [2,5]-grps by proj"by"[2,5]-grps by res [2,5]-grps by proj"by"[2,5]-grps by rad [2,5]-grps by proj"by"[2,5]-grps by inj [2,5]-grps by proj"by"[2,5]-grps by proj #I trivial perm group [2,5]-grps by boundary Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ]) [2,5]-grps by locdef Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ]) [2,5]-grps by membersip Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ]) [2,5]-grps by res Intersection([ [2,5]-grps by res, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by res, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by res, [2,5]-grps by proj ]) [2,5]-grps by rad Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ]) [2,5]-grps by inj Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ]) [2,5]-grps by proj [2,5]-grps by boundary"by"[2,5]-grps by boundary [2,5]-grps by boundary"by"[2,5]-grps by locdef [2,5]-grps by boundary"by"[2,5]-grps by membersip [2,5]-grps by boundary"by"[2,5]-grps by res [2,5]-grps by boundary"by"[2,5]-grps by rad [2,5]-grps by boundary"by"[2,5]-grps by inj [2,5]-grps by boundary"by"[2,5]-grps by proj [2,5]-grps by locdef"by"[2,5]-grps by boundary [2,5]-grps by locdef"by"[2,5]-grps by locdef [2,5]-grps by locdef"by"[2,5]-grps by membersip [2,5]-grps by locdef"by"[2,5]-grps by res [2,5]-grps by locdef"by"[2,5]-grps by rad [2,5]-grps by locdef"by"[2,5]-grps by inj [2,5]-grps by locdef"by"[2,5]-grps by proj [2,5]-grps by membersip"by"[2,5]-grps by boundary [2,5]-grps by membersip"by"[2,5]-grps by locdef [2,5]-grps by membersip"by"[2,5]-grps by membersip [2,5]-grps by membersip"by"[2,5]-grps by res [2,5]-grps by membersip"by"[2,5]-grps by rad [2,5]-grps by membersip"by"[2,5]-grps by inj [2,5]-grps by membersip"by"[2,5]-grps by proj [2,5]-grps by res"by"[2,5]-grps by boundary [2,5]-grps by res"by"[2,5]-grps by locdef [2,5]-grps by res"by"[2,5]-grps by membersip [2,5]-grps by res"by"[2,5]-grps by res [2,5]-grps by res"by"[2,5]-grps by rad [2,5]-grps by res"by"[2,5]-grps by inj [2,5]-grps by res"by"[2,5]-grps by proj [2,5]-grps by rad"by"[2,5]-grps by boundary [2,5]-grps by rad"by"[2,5]-grps by locdef [2,5]-grps by rad"by"[2,5]-grps by membersip [2,5]-grps by rad"by"[2,5]-grps by res [2,5]-grps by rad"by"[2,5]-grps by rad [2,5]-grps by rad"by"[2,5]-grps by inj [2,5]-grps by rad"by"[2,5]-grps by proj [2,5]-grps by inj"by"[2,5]-grps by boundary [2,5]-grps by inj"by"[2,5]-grps by locdef [2,5]-grps by inj"by"[2,5]-grps by membersip [2,5]-grps by inj"by"[2,5]-grps by res [2,5]-grps by inj"by"[2,5]-grps by rad [2,5]-grps by inj"by"[2,5]-grps by inj [2,5]-grps by inj"by"[2,5]-grps by proj [2,5]-grps by proj"by"[2,5]-grps by boundary [2,5]-grps by proj"by"[2,5]-grps by locdef [2,5]-grps by proj"by"[2,5]-grps by membersip [2,5]-grps by proj"by"[2,5]-grps by res [2,5]-grps by proj"by"[2,5]-grps by rad [2,5]-grps by proj"by"[2,5]-grps by inj [2,5]-grps by proj"by"[2,5]-grps by proj #I trivial mat group [2,5]-grps by boundary Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ]) [2,5]-grps by locdef Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ]) [2,5]-grps by membersip Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ]) [2,5]-grps by res Intersection([ [2,5]-grps by res, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by res, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by res, [2,5]-grps by proj ]) [2,5]-grps by rad Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ]) [2,5]-grps by inj Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ]) [2,5]-grps by proj [2,5]-grps by boundary"by"[2,5]-grps by boundary [2,5]-grps by boundary"by"[2,5]-grps by locdef [2,5]-grps by boundary"by"[2,5]-grps by membersip [2,5]-grps by boundary"by"[2,5]-grps by res [2,5]-grps by boundary"by"[2,5]-grps by rad [2,5]-grps by boundary"by"[2,5]-grps by inj [2,5]-grps by boundary"by"[2,5]-grps by proj [2,5]-grps by locdef"by"[2,5]-grps by boundary [2,5]-grps by locdef"by"[2,5]-grps by locdef [2,5]-grps by locdef"by"[2,5]-grps by membersip [2,5]-grps by locdef"by"[2,5]-grps by res [2,5]-grps by locdef"by"[2,5]-grps by rad [2,5]-grps by locdef"by"[2,5]-grps by inj [2,5]-grps by locdef"by"[2,5]-grps by proj [2,5]-grps by membersip"by"[2,5]-grps by boundary [2,5]-grps by membersip"by"[2,5]-grps by locdef [2,5]-grps by membersip"by"[2,5]-grps by membersip [2,5]-grps by membersip"by"[2,5]-grps by res [2,5]-grps by membersip"by"[2,5]-grps by rad [2,5]-grps by membersip"by"[2,5]-grps by inj [2,5]-grps by membersip"by"[2,5]-grps by proj [2,5]-grps by res"by"[2,5]-grps by boundary [2,5]-grps by res"by"[2,5]-grps by locdef [2,5]-grps by res"by"[2,5]-grps by membersip [2,5]-grps by res"by"[2,5]-grps by res [2,5]-grps by res"by"[2,5]-grps by rad [2,5]-grps by res"by"[2,5]-grps by inj [2,5]-grps by res"by"[2,5]-grps by proj [2,5]-grps by rad"by"[2,5]-grps by boundary [2,5]-grps by rad"by"[2,5]-grps by locdef [2,5]-grps by rad"by"[2,5]-grps by membersip [2,5]-grps by rad"by"[2,5]-grps by res [2,5]-grps by rad"by"[2,5]-grps by rad [2,5]-grps by rad"by"[2,5]-grps by inj [2,5]-grps by rad"by"[2,5]-grps by proj [2,5]-grps by inj"by"[2,5]-grps by boundary [2,5]-grps by inj"by"[2,5]-grps by locdef [2,5]-grps by inj"by"[2,5]-grps by membersip [2,5]-grps by inj"by"[2,5]-grps by res [2,5]-grps by inj"by"[2,5]-grps by rad [2,5]-grps by inj"by"[2,5]-grps by inj [2,5]-grps by inj"by"[2,5]-grps by proj [2,5]-grps by proj"by"[2,5]-grps by boundary [2,5]-grps by proj"by"[2,5]-grps by locdef [2,5]-grps by proj"by"[2,5]-grps by membersip [2,5]-grps by proj"by"[2,5]-grps by res [2,5]-grps by proj"by"[2,5]-grps by rad [2,5]-grps by proj"by"[2,5]-grps by inj [2,5]-grps by proj"by"[2,5]-grps by proj #I GL(2,3) as pc group [2,5]-grps by boundary Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ]) [2,5]-grps by locdef Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ]) [2,5]-grps by membersip Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ]) [2,5]-grps by res Intersection([ [2,5]-grps by res, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by res, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by res, [2,5]-grps by proj ]) [2,5]-grps by rad Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ]) [2,5]-grps by inj Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ]) [2,5]-grps by proj [2,5]-grps by boundary"by"[2,5]-grps by boundary [2,5]-grps by boundary"by"[2,5]-grps by locdef [2,5]-grps by boundary"by"[2,5]-grps by membersip [2,5]-grps by boundary"by"[2,5]-grps by res [2,5]-grps by boundary"by"[2,5]-grps by rad [2,5]-grps by boundary"by"[2,5]-grps by inj [2,5]-grps by boundary"by"[2,5]-grps by proj [2,5]-grps by locdef"by"[2,5]-grps by boundary [2,5]-grps by locdef"by"[2,5]-grps by locdef [2,5]-grps by locdef"by"[2,5]-grps by membersip [2,5]-grps by locdef"by"[2,5]-grps by res [2,5]-grps by locdef"by"[2,5]-grps by rad [2,5]-grps by locdef"by"[2,5]-grps by inj [2,5]-grps by locdef"by"[2,5]-grps by proj [2,5]-grps by membersip"by"[2,5]-grps by boundary [2,5]-grps by membersip"by"[2,5]-grps by locdef [2,5]-grps by membersip"by"[2,5]-grps by membersip [2,5]-grps by membersip"by"[2,5]-grps by res [2,5]-grps by membersip"by"[2,5]-grps by rad [2,5]-grps by membersip"by"[2,5]-grps by inj [2,5]-grps by membersip"by"[2,5]-grps by proj [2,5]-grps by res"by"[2,5]-grps by boundary [2,5]-grps by res"by"[2,5]-grps by locdef [2,5]-grps by res"by"[2,5]-grps by membersip [2,5]-grps by res"by"[2,5]-grps by res [2,5]-grps by res"by"[2,5]-grps by rad [2,5]-grps by res"by"[2,5]-grps by inj [2,5]-grps by res"by"[2,5]-grps by proj [2,5]-grps by rad"by"[2,5]-grps by boundary [2,5]-grps by rad"by"[2,5]-grps by locdef [2,5]-grps by rad"by"[2,5]-grps by membersip [2,5]-grps by rad"by"[2,5]-grps by res [2,5]-grps by rad"by"[2,5]-grps by rad [2,5]-grps by rad"by"[2,5]-grps by inj [2,5]-grps by rad"by"[2,5]-grps by proj [2,5]-grps by inj"by"[2,5]-grps by boundary [2,5]-grps by inj"by"[2,5]-grps by locdef [2,5]-grps by inj"by"[2,5]-grps by membersip [2,5]-grps by inj"by"[2,5]-grps by res [2,5]-grps by inj"by"[2,5]-grps by rad [2,5]-grps by inj"by"[2,5]-grps by inj [2,5]-grps by inj"by"[2,5]-grps by proj [2,5]-grps by proj"by"[2,5]-grps by boundary [2,5]-grps by proj"by"[2,5]-grps by locdef [2,5]-grps by proj"by"[2,5]-grps by membersip [2,5]-grps by proj"by"[2,5]-grps by res [2,5]-grps by proj"by"[2,5]-grps by rad [2,5]-grps by proj"by"[2,5]-grps by inj [2,5]-grps by proj"by"[2,5]-grps by proj #I Sym(4) [2,5]-grps by boundary Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ]) [2,5]-grps by locdef Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ]) [2,5]-grps by membersip Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ]) [2,5]-grps by res Intersection([ [2,5]-grps by res, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by res, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by res, [2,5]-grps by proj ]) [2,5]-grps by rad Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ]) [2,5]-grps by inj Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ]) [2,5]-grps by proj [2,5]-grps by boundary"by"[2,5]-grps by boundary [2,5]-grps by boundary"by"[2,5]-grps by locdef [2,5]-grps by boundary"by"[2,5]-grps by membersip [2,5]-grps by boundary"by"[2,5]-grps by res [2,5]-grps by boundary"by"[2,5]-grps by rad [2,5]-grps by boundary"by"[2,5]-grps by inj [2,5]-grps by boundary"by"[2,5]-grps by proj [2,5]-grps by locdef"by"[2,5]-grps by boundary [2,5]-grps by locdef"by"[2,5]-grps by locdef [2,5]-grps by locdef"by"[2,5]-grps by membersip [2,5]-grps by locdef"by"[2,5]-grps by res [2,5]-grps by locdef"by"[2,5]-grps by rad [2,5]-grps by locdef"by"[2,5]-grps by inj [2,5]-grps by locdef"by"[2,5]-grps by proj [2,5]-grps by membersip"by"[2,5]-grps by boundary [2,5]-grps by membersip"by"[2,5]-grps by locdef [2,5]-grps by membersip"by"[2,5]-grps by membersip [2,5]-grps by membersip"by"[2,5]-grps by res [2,5]-grps by membersip"by"[2,5]-grps by rad [2,5]-grps by membersip"by"[2,5]-grps by inj [2,5]-grps by membersip"by"[2,5]-grps by proj [2,5]-grps by res"by"[2,5]-grps by boundary [2,5]-grps by res"by"[2,5]-grps by locdef [2,5]-grps by res"by"[2,5]-grps by membersip [2,5]-grps by res"by"[2,5]-grps by res [2,5]-grps by res"by"[2,5]-grps by rad [2,5]-grps by res"by"[2,5]-grps by inj [2,5]-grps by res"by"[2,5]-grps by proj [2,5]-grps by rad"by"[2,5]-grps by boundary [2,5]-grps by rad"by"[2,5]-grps by locdef [2,5]-grps by rad"by"[2,5]-grps by membersip [2,5]-grps by rad"by"[2,5]-grps by res [2,5]-grps by rad"by"[2,5]-grps by rad [2,5]-grps by rad"by"[2,5]-grps by inj [2,5]-grps by rad"by"[2,5]-grps by proj [2,5]-grps by inj"by"[2,5]-grps by boundary [2,5]-grps by inj"by"[2,5]-grps by locdef [2,5]-grps by inj"by"[2,5]-grps by membersip [2,5]-grps by inj"by"[2,5]-grps by res [2,5]-grps by inj"by"[2,5]-grps by rad [2,5]-grps by inj"by"[2,5]-grps by inj [2,5]-grps by inj"by"[2,5]-grps by proj [2,5]-grps by proj"by"[2,5]-grps by boundary [2,5]-grps by proj"by"[2,5]-grps by locdef [2,5]-grps by proj"by"[2,5]-grps by membersip [2,5]-grps by proj"by"[2,5]-grps by res [2,5]-grps by proj"by"[2,5]-grps by rad [2,5]-grps by proj"by"[2,5]-grps by inj [2,5]-grps by proj"by"[2,5]-grps by proj #I Dih(10) [2,5]-grps by boundary Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ]) [2,5]-grps by locdef Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ]) [2,5]-grps by membersip Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ]) [2,5]-grps by res Intersection([ [2,5]-grps by res, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by res, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by res, [2,5]-grps by proj ]) [2,5]-grps by rad Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ]) [2,5]-grps by inj Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ]) [2,5]-grps by proj [2,5]-grps by boundary"by"[2,5]-grps by boundary [2,5]-grps by boundary"by"[2,5]-grps by locdef [2,5]-grps by boundary"by"[2,5]-grps by membersip [2,5]-grps by boundary"by"[2,5]-grps by res [2,5]-grps by boundary"by"[2,5]-grps by rad [2,5]-grps by boundary"by"[2,5]-grps by inj [2,5]-grps by boundary"by"[2,5]-grps by proj [2,5]-grps by locdef"by"[2,5]-grps by boundary [2,5]-grps by locdef"by"[2,5]-grps by locdef [2,5]-grps by locdef"by"[2,5]-grps by membersip [2,5]-grps by locdef"by"[2,5]-grps by res [2,5]-grps by locdef"by"[2,5]-grps by rad [2,5]-grps by locdef"by"[2,5]-grps by inj [2,5]-grps by locdef"by"[2,5]-grps by proj [2,5]-grps by membersip"by"[2,5]-grps by boundary [2,5]-grps by membersip"by"[2,5]-grps by locdef [2,5]-grps by membersip"by"[2,5]-grps by membersip [2,5]-grps by membersip"by"[2,5]-grps by res [2,5]-grps by membersip"by"[2,5]-grps by rad [2,5]-grps by membersip"by"[2,5]-grps by inj [2,5]-grps by membersip"by"[2,5]-grps by proj [2,5]-grps by res"by"[2,5]-grps by boundary [2,5]-grps by res"by"[2,5]-grps by locdef [2,5]-grps by res"by"[2,5]-grps by membersip [2,5]-grps by res"by"[2,5]-grps by res [2,5]-grps by res"by"[2,5]-grps by rad [2,5]-grps by res"by"[2,5]-grps by inj [2,5]-grps by res"by"[2,5]-grps by proj [2,5]-grps by rad"by"[2,5]-grps by boundary [2,5]-grps by rad"by"[2,5]-grps by locdef [2,5]-grps by rad"by"[2,5]-grps by membersip [2,5]-grps by rad"by"[2,5]-grps by res [2,5]-grps by rad"by"[2,5]-grps by rad [2,5]-grps by rad"by"[2,5]-grps by inj [2,5]-grps by rad"by"[2,5]-grps by proj [2,5]-grps by inj"by"[2,5]-grps by boundary [2,5]-grps by inj"by"[2,5]-grps by locdef [2,5]-grps by inj"by"[2,5]-grps by membersip [2,5]-grps by inj"by"[2,5]-grps by res [2,5]-grps by inj"by"[2,5]-grps by rad [2,5]-grps by inj"by"[2,5]-grps by inj [2,5]-grps by inj"by"[2,5]-grps by proj [2,5]-grps by proj"by"[2,5]-grps by boundary [2,5]-grps by proj"by"[2,5]-grps by locdef [2,5]-grps by proj"by"[2,5]-grps by membersip [2,5]-grps by proj"by"[2,5]-grps by res [2,5]-grps by proj"by"[2,5]-grps by rad [2,5]-grps by proj"by"[2,5]-grps by inj [2,5]-grps by proj"by"[2,5]-grps by proj #I GL(2,3) [2,5]-grps by boundary Intersection([ [2,5]-grps by boundary, [2,5]-grps by locdef ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by res ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by boundary, [2,5]-grps by proj ]) [2,5]-grps by locdef Intersection([ [2,5]-grps by locdef, [2,5]-grps by membersip ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by res ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by locdef, [2,5]-grps by proj ]) [2,5]-grps by membersip Intersection([ [2,5]-grps by membersip, [2,5]-grps by res ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by membersip, [2,5]-grps by proj ]) [2,5]-grps by res Intersection([ [2,5]-grps by res, [2,5]-grps by rad ]) Intersection([ [2,5]-grps by res, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by res, [2,5]-grps by proj ]) [2,5]-grps by rad Intersection([ [2,5]-grps by rad, [2,5]-grps by inj ]) Intersection([ [2,5]-grps by rad, [2,5]-grps by proj ]) [2,5]-grps by inj Intersection([ [2,5]-grps by inj, [2,5]-grps by proj ]) [2,5]-grps by proj [2,5]-grps by boundary"by"[2,5]-grps by boundary [2,5]-grps by boundary"by"[2,5]-grps by locdef [2,5]-grps by boundary"by"[2,5]-grps by membersip [2,5]-grps by boundary"by"[2,5]-grps by res [2,5]-grps by boundary"by"[2,5]-grps by rad [2,5]-grps by boundary"by"[2,5]-grps by inj [2,5]-grps by boundary"by"[2,5]-grps by proj [2,5]-grps by locdef"by"[2,5]-grps by boundary [2,5]-grps by locdef"by"[2,5]-grps by locdef [2,5]-grps by locdef"by"[2,5]-grps by membersip [2,5]-grps by locdef"by"[2,5]-grps by res [2,5]-grps by locdef"by"[2,5]-grps by rad [2,5]-grps by locdef"by"[2,5]-grps by inj [2,5]-grps by locdef"by"[2,5]-grps by proj [2,5]-grps by membersip"by"[2,5]-grps by boundary [2,5]-grps by membersip"by"[2,5]-grps by locdef [2,5]-grps by membersip"by"[2,5]-grps by membersip [2,5]-grps by membersip"by"[2,5]-grps by res [2,5]-grps by membersip"by"[2,5]-grps by rad [2,5]-grps by membersip"by"[2,5]-grps by inj [2,5]-grps by membersip"by"[2,5]-grps by proj [2,5]-grps by res"by"[2,5]-grps by boundary [2,5]-grps by res"by"[2,5]-grps by locdef [2,5]-grps by res"by"[2,5]-grps by membersip [2,5]-grps by res"by"[2,5]-grps by res [2,5]-grps by res"by"[2,5]-grps by rad [2,5]-grps by res"by"[2,5]-grps by inj [2,5]-grps by res"by"[2,5]-grps by proj [2,5]-grps by rad"by"[2,5]-grps by boundary [2,5]-grps by rad"by"[2,5]-grps by locdef [2,5]-grps by rad"by"[2,5]-grps by membersip [2,5]-grps by rad"by"[2,5]-grps by res [2,5]-grps by rad"by"[2,5]-grps by rad [2,5]-grps by rad"by"[2,5]-grps by inj [2,5]-grps by rad"by"[2,5]-grps by proj [2,5]-grps by inj"by"[2,5]-grps by boundary [2,5]-grps by inj"by"[2,5]-grps by locdef [2,5]-grps by inj"by"[2,5]-grps by membersip [2,5]-grps by inj"by"[2,5]-grps by res [2,5]-grps by inj"by"[2,5]-grps by rad [2,5]-grps by inj"by"[2,5]-grps by inj [2,5]-grps by inj"by"[2,5]-grps by proj [2,5]-grps by proj"by"[2,5]-grps by boundary [2,5]-grps by proj"by"[2,5]-grps by locdef [2,5]-grps by proj"by"[2,5]-grps by membersip [2,5]-grps by proj"by"[2,5]-grps by res [2,5]-grps by proj"by"[2,5]-grps by rad [2,5]-grps by proj"by"[2,5]-grps by inj [2,5]-grps by proj"by"[2,5]-grps by proj gap> gap> if PRINT_METHODS then > UnTraceMethods(ResidualOp); > fi; gap> STOP_TEST("residuals", 85670000); residuals GAP4stones: 0 gap> gap> gap> ############################################################################ gap> ## gap> #E gap> ## gap>
2026-04-02
