Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/qpa/examples/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 4.0.2024 mit Größe 352 B image not shown  

Quelle  examples_proj_and_derived.g   Sprache: unbekannt

 
Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

########## alg should be defined!
alg;
cat := CatOfRightAlgebraModules(alg);
C := StalkComplex(cat, IndecInjectiveModules(alg)[1], 0);
ProjC := ProjectiveResolutionOfComplex(C);
InjC := ProjectiveToInjectiveComplex(ProjC);
TauC := TauOfComplex(C);
IsProjectiveComplex(C);
IsInjectiveComplex(C);
C;
##########
##########
##########
##########
##########

[Dauer der Verarbeitung: 0.12 Sekunden, vorverarbeitet 2026-05-06]