Spracherkennung für: .g vermutete Sprache: Lisp {Lisp[60] Masm[60] Apollo[40]} [Methode: maximale Elemente, drei 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.2 Sekunden, vorverarbeitet 2026-10-21]