Quelle  BC_3.g   Sprache: unbekannt

LoadPackage( "RingsForHomalg" );

LoadPackage( "Modules" );

Zx := HomalgRingOfIntegersInDefaultCAS( ) * "x";

ZC3 := Zx / "x^3 - 1";

zz := HomalgMatrix( "[ x - 1 ]", 1, 1, ZC3 );
zz := LeftPresentation( zz );

ext := Ext( 6, zz, zz, "a" );

ByASmallerPresentation( ext );

zt := HomalgMatrix( "[ x^2 + x + 1 ]", 1, 1, ZC3 );
ZT := LeftPresentation( zt );

extt := Ext( 6, zz, ZT, "a" );

ByASmallerPresentation( extt );

[ Dauer der Verarbeitung: 0.16 Sekunden  (vorverarbeitet)  ]