LoadPackage( "RingsForHomalg" );

LoadPackage( "Modules" );

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

M := HomalgMatrix( "[ \
D,   0,   t, 0, \
0, D-t, t*D, 0  \
]", 2, 4, A1 );

M := HomalgMap( M );

C := Cokernel( M );
hC := Hom( C );
