| LIB "spcurve.lib";
ring r=0,(x,y,z),ds;
matrix M[3][2]=z-x^7,0,y^2,z,x^9,y;
def KS=KSpencerKernel(M,"ar");
print(KS);
→ T(7), 0, 0, 0, 0, 0, 0, 0,
→ KS[2,1],6*T(3), 3*T(7), 0, 0, 0, 0, 0,
→ KS[3,1],KS[3,2],KS[3,3],6*T(3),3*T(7),0, 0, 0,
→ 10*T(4),8*T(1), 7*T(5), 5*T(2),4*T(6),2*T(8),2*T(3),T(7)
nameof(basering);
→ ar
basering;
→ // characteristic : 0
→ // number of vars : 17
→ // block 1 : ordering Ws
→ // : names e(1) e(2) e(3) e(4) e(5) e(6) x y z
→ // : weights -21 -10 -32 -21 -27 -16 3 16 21
→ // block 2 : ordering wp
→ // : names T(1) T(2) T(3) T(4) T(5) T(6) T(7) T(8)
→ // : weights 8 5 2 10 7 4 1 2
→ // block 3 : ordering C
|