Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Read( "ReducedBasisOfModuleMora.g" );
triangle := RHom( C, T );
lecs := LongSequence( triangle );
IsExactSequence( lecs );
Triangle := LTensorProduct( C, T );
lehs := LongSequence( Triangle );
IsExactSequence( lehs );
ByASmallerPresentation( lecs );
homalgResetFilters( lecs );
Assert( 0, IsExactSequence( lecs ) );
ByASmallerPresentation( lehs );
homalgResetFilters( lehs );
Assert( 0, IsExactSequence( lehs ) );
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-06-17]
