|
D.6.14.3 matrixT1
Procedure from library spcurve.lib (see spcurve_lib).
- Usage:
- matrixT1(M,n); M matrix, n integer
- Assume:
- M is a presentation matrix of an ideal i, CM of codimension 2;
consider i as a family of ideals in a ring in the first n
variables where the remaining variables are considered as
parameters
- Return:
- list consisting of the k x (k+1) matrix M and a module K_M such that
T1=Mat(k,k+1;R)/K_M is the space of first order deformations of i
Example:
|