D.5.8 sing_lib

Library:

sing.lib

Purpose:

Invariants of Singularities

Authors:

Gert-Martin Greuel, email: greuel@mathematik.uni-kl.de
Bernd Martin, email: martin@math.tu-cottbus.de

Procedures:

D.5.8.1 deform		infinitesimal deformations of ideal i
D.5.8.2 dim_slocus		dimension of singular locus of ideal i
D.5.8.3 is_active		is poly f an active element mod id? (id ideal/module)
D.5.8.4 is_ci		is ideal i a complete intersection?
D.5.8.5 is_is		is ideal i an isolated singularity?
D.5.8.6 is_reg		is poly f a regular element mod id? (id ideal/module)
D.5.8.7 is_regs		are gen’s of ideal i regular sequence modulo id?
D.5.8.8 locstd		SB for local degree ordering without cancelling units
D.5.8.9 milnor		milnor number of ideal i; (assume i is ICIS in nf)
D.5.8.10 nf_icis		generic combinations of generators; get ICIS in nf
D.5.8.11 slocus		ideal of singular locus of ideal i
D.5.8.12 qhspectrum		spectrum numbers of w-homogeneous polynomial f
D.5.8.13 Tjurina		SB of Tjurina module of ideal i (assume i is ICIS)
D.5.8.14 tjurina		Tjurina number of ideal i (assume i is ICIS)
D.5.8.15 T_1		T^1-module of ideal i
D.5.8.16 T_2		T^2-module of ideal i
D.5.8.17 T_12		T^1- and T^2-module of ideal i
D.5.8.18 tangentcone		compute tangent cone of id