Procedures:
D.6.20.1 codim vector space dimension of id2/id1 if finite D.6.20.2 deform infinitesimal deformations of ideal i D.6.20.3 dim_slocus dimension of singular locus of ideal i D.6.20.4 is_active is polynomial f an active element mod id? (id ideal/module) D.6.20.5 is_ci is ideal i a complete intersection? D.6.20.6 is_is is ideal i an isolated singularity? D.6.20.7 is_reg is polynomial f a regular element mod id? (id ideal/module) D.6.20.8 is_regs are gen's of ideal i regular sequence modulo id? D.6.20.9 locstd SB for local degree ordering without cancelling units D.6.20.10 milnor milnor number of ideal i; (assume i is ICIS in nf) D.6.20.11 nf_icis generic combinations of generators; get ICIS in nf D.6.20.12 slocus ideal of singular locus of ideal i D.6.20.13 qhspectrum spectrum numbers of w-homogeneous polynomial f D.6.20.14 Tjurina SB of Tjurina module of ideal i (assume i is ICIS) D.6.20.15 tjurina Tjurina number of ideal i (assume i is ICIS) D.6.20.16 T_1 T^1-module of ideal i D.6.20.17 T_2 T^2-module of ideal i D.6.20.18 T_12 T^1- and T^2-module of ideal i D.6.20.19 tangentcone compute tangent cone of id