Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/repndecomp/old_tst/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 12.8.2025 mit Größe 443 B image not shown  

Quelle  ClassSumCentralizer.tst   Sprache: unbekannt

 
gap> tester := function(rep)
> local G, cent_basis, cc;
> G := Source(rep.rep);
> cc := ConjugacyClasses(G);
> # need to orthonormalize (bad in practice, coefficients blow up)
> cent_basis := OrthonormalBasis@RepnDecomp(rep.centralizer_basis);
> return ForAll(cc, cl -> Sum(cl, s -> Image(rep.rep, s)) = ClassSumCentralizer(rep.rep, cl, cent_basis));
> end;;
gap> true; # TestMany@RepnDecomp(tester, 5); # TODO: make this not take forever
true

[ Dauer der Verarbeitung: 0.21 Sekunden  (vorverarbeitet)  ]