Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/examplesforhomalg/examples/   (GAP Algebra Version 4.15.1©)  Datei vom 5.9.2023 mit Größe 384 B image not shown  

Quelle  CheckParametrization.g  Sprache: unbekannt

  
Spracherkennung für: .g vermutete Sprache: Lisp {Lisp[47] Masm[47] ABAP[15]} [Methode: maximale Elemente, drei Dimensionen]

LoadPackage( "RingsForHomalg" );

LoadPackage( "Modules" );

Qt := HomalgFieldOfRationalsInDefaultCAS( ) * "t";
A1 := RingOfDerivations( Qt, "D" );

M := HomalgMatrix( "[ \
t^2, 1-t*D, \
2+t*D, -D^2 \
]", 2, 2, A1 );

M := LeftPresentation( M );

d := Resolution( M );

d_short := ShortenResolution( M );

Assert( 0, IsIdenticalObj( Cokernel( FirstMorphismOfResolution( M ) ), M ) );

[Dauer der Verarbeitung: 0.6 Sekunden, vorverarbeitet 2026-10-21]