|
D.6.14.4 semiCMcod2
Procedure from library spcurve.lib (see spcurve_lib).
- Usage:
- semiCMcod2(M,t1[,s]); M matrix, t1 module, s any
- 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)
- Return:
- new ring in which the ideal semi describing the semiuniversal
deformation of i;
if the optional third argument is given, the perturbation matrix
of the semiuniversal deformation is returned instead of the ideal.
- Note:
- The current basering should not contain any variables named
A(j) where j is some integer!
Example:
|