Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
LoadPackage( "RingsForHomalg" );
Qt := HomalgFieldOfRationalsInDefaultCAS( ) * "t";
A1 := RingOfDerivations( Qt, "Dt" );
M := HomalgMatrix( "[ \
t^2, \
t * Dt + 2 \
]", 2, 1, A1 );
LoadPackage( "Modules" );
M := LeftPresentation( M );
P := ShortenResolution( M );
Assert( 0, IsIdenticalObj( Cokernel( FirstMorphismOfResolution( M ) ), M ) );
d := Resolution( 3, M );
ShortenResolution( M );
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-06-13]
