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.13 Sekunden, vorverarbeitet 2026-05-06]
