Top
Back: posweight
Forward: spectrum_lib
FastBack: sing_lib
FastForward: spectrum_lib
Up: spcurve_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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:
 

Top Back: posweight Forward: spectrum_lib FastBack: sing_lib FastForward: spectrum_lib Up: spcurve_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.