// The monomial curve singularity A = k[[t^4,t^5,t^6,t^7]], and all // non-free rank one MCM A-modules LIB "conn.lib"; ring r = 0, (x,y,z,w,t), dp; ideal j = x-t4,y-t5,z-t6,w-t7; ideal i = eliminate(j,t); ring s = 0, (x,y,z,w), dp; ideal i = fetch(r,i); qring a = std(i); // M12 = A + At + At^2 ideal I12 = x,y,z; module M12 = syz(I12); // M1 = A + At ideal I1 = x,y; module M1 = syz(I1); // M2 = A + At^2 ideal I2 = x,z; module M2 = syz(I2); // M3 = A + At^3 ideal I3 = x,w; module M3 = syz(I3); // M13 = A + At + At^3 ideal I13 = x,y,w; module M13 = syz(I13); // M23 = A + At^2 + At^3 ideal I23 = x,z,w; module M23 = syz(I23); // M123 = A + At + At^2 + At^3 (the normalization of A) ideal I123 = x,y,z,w; module M123 = syz(I123); list MCM = M12,M1,M2,M3,M13,M23,M123; int i; for (i=1;i<=size(MCM);i++) { KSKernel(MCM[i]); LClass(MCM[i]); }