| LIB "spcurve.lib";
ring r=32003,(x(1),x(2),x(3)),ds;
ideal curve=x(1)*x(2),x(1)*x(3),x(2)*x(3);
matrix M=isCMcod2(curve);
list l=matrixT1(M,3);
semiCMcod2(l[1],std(l[2]));
→ _[1]=A(2)*A(3)-x(2)*A(3)-x(1)*x(2)
→ _[2]=A(1)*A(3)+x(1)*x(3)
→ _[3]=-x(2)*A(1)-x(3)*A(2)+x(2)*x(3)
|