Procedures:
D.5.11.1 deform infinitesimal deformations of ideal i D.5.11.2 dim_slocus dimension of singular locus of ideal i D.5.11.3 is_active is poly f an active element mod id? (id ideal/module) D.5.11.4 is_ci is ideal i a complete intersection? D.5.11.5 is_is is ideal i an isolated singularity? D.5.11.6 is_reg is poly f a regular element mod id? (id ideal/module) D.5.11.7 is_regs are gen's of ideal i regular sequence modulo id? D.5.11.8 locstd SB for local degree ordering without cancelling units D.5.11.9 milnor milnor number of ideal i; (assume i is ICIS in nf) D.5.11.10 nf_icis generic combinations of generators; get ICIS in nf D.5.11.11 slocus ideal of singular locus of ideal i D.5.11.12 qhspectrum spectrum numbers of w-homogeneous polynomial f D.5.11.13 Tjurina SB of Tjurina module of ideal i (assume i is ICIS) D.5.11.14 tjurina Tjurina number of ideal i (assume i is ICIS) D.5.11.15 T_1 T^1-module of ideal i D.5.11.16 T_2 T^2-module of ideal i D.5.11.17 T_12 T^1- and T^2-module of ideal i D.5.11.18 tangentcone compute tangent cone of id