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

Quelle  ShortenResolution.g   Sprache: unbekannt

 
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.15 Sekunden  (vorverarbeitet)  ]