|
D.6.14.9 KSpencerKernel
Procedure from library spcurve.lib (see spcurve_lib).
- Usage:
- KSpencerKernel(M[,s][,v]); M matrix, s string, v intvec
optional parameters (please specify in this order, if both are
present):
* s = first of the names of the new rings
e.g. "R" leads to ring names R and R1
* v of size n(n+1) leads to the following module ordering
gen(v[1]) > gen(v[2]) > ... > gen(v[n(n+1)]) where the matrix
entry ij corresponds to gen((i-1)*n+j)
- Assume:
- M is a quasihomogeneous n x (n+1) matrix where the n minors define
an isolated space curve singularity
- Return:
- new ring containing the coefficient matrix KS representing
the kernel of the Kodaira-Spencer map of the family of
non-negative deformations having the given singularity as
special fibre
- Note:
- * the initial basering should not contain variables with name
e(i) or T(i), since those variable names will internally be
used by the script
* setting an intvec with 5 entries and name watchProgress
shows the progress of the computations:
watchProgress[1]>0 => option(prot) in groebner commands
watchProgress[2]>0 => trace output for highcorner
watchProgress[3]>0 => output of deformed matrix
watchProgress[4]>0 => result of elimination step
watchProgress[4]>1 => trace output of multiplications with xyz
and subsequent reductions
watchProgress[5]>0 => matrix representing the kernel using print
Example:
|