rahmenlose Ansicht.g DruckansichtUnknown {[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;
##########
##########
##########
##########
##########
[ Verzeichnis aufwärts0.71unsichere Verbindung
]