| LIB "homolog.lib";
ring r;
module N=[2x,x],[0,y];
module M=maxideal(1)*freemodule(2);
matrix A[2][2]=2x,0,x,y,z2,y;
module K=kernel(A,M,N);
// dimension of kernel:
dim(std(K));
→ 0
// vector space dimension of kernel:
vdim(std(K));
→ 2
print(K);
→ z,0,y,0,x,0,
→ 0,z,0,y,0,x
|