Procedures:
D.5.9.1 codim vector space dimension of of id2/id1 if finite D.5.9.2 deform infinitesimal deformations of ideal i D.5.9.3 dim_slocus dimension of singular locus of ideal i D.5.9.4 is_active is poly f an active element mod id? (id ideal/module) D.5.9.5 is_ci is ideal i a complete intersection? D.5.9.6 is_is is ideal i an isolated singularity? D.5.9.7 is_reg is poly f a regular element mod id? (id ideal/module) D.5.9.8 is_regs are gen's of ideal i regular sequence modulo id? D.5.9.9 locstd SB for local degree ordering without cancelling units D.5.9.10 milnor milnor number of ideal i; (assume i is ICIS in nf) D.5.9.11 nf_icis generic combinations of generators; get ICIS in nf D.5.9.12 slocus ideal of singular locus of ideal i D.5.9.13 qhspectrum spectrum numbers of w-homogeneous polynomial f D.5.9.14 Tjurina SB of Tjurina module of ideal i (assume i is ICIS) D.5.9.15 tjurina Tjurina number of ideal i (assume i is ICIS) D.5.9.16 T_1 T^1-module of ideal i D.5.9.17 T_2 T^2-module of ideal i D.5.9.18 T_12 T^1- and T^2-module of ideal i D.5.9.19 tangentcone compute tangent cone of id