Top
Back: matrixT1
Forward: discr
FastBack: sing_lib
FastForward: spectrum_lib
Up: spcurve_lib
Top: Singular 2-0-4 Manual
Contents: Table of Contents
Index: Index
About: About this document

D.5.9.4 semiCMcod2

Procedure from library spcurve.lib (see spcurve_lib).

Usage:
semiCMcod2(M,t1); M matrix, t1 module

Assume:
M is a presentation matrix of an ideal i, CM of codimension 2, and t1 is a presentation of the space of first order deformations of i ((M,t1) as returned by the procedure matrixT1)

Create:
new basering with name rneu

Return:
ideal in rneu describing the semiuniversal deformation of i

Note:
The current basering should not contain any variables named A(j) where j is some integer!

Example:
 
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)


Top Back: matrixT1 Forward: discr FastBack: sing_lib FastForward: spectrum_lib Up: spcurve_lib Top: Singular 2-0-4 Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 2-0-4, May 2003, generated by texi2html.