Procedures:
D.6.13.1 codim vector space dimension of id2/id1 if finite D.6.13.2 deform infinitesimal deformations of ideal i D.6.13.3 dim_slocus dimension of singular locus of ideal i D.6.13.4 is_active is polynomial f an active element mod id? (id ideal/module) D.6.13.5 is_ci is ideal i a complete intersection? D.6.13.6 is_is is ideal i an isolated singularity? D.6.13.7 is_reg is polynomial f a regular element mod id? (id ideal/module) D.6.13.8 is_regs are gen's of ideal i regular sequence modulo id? D.6.13.9 locstd SB for local degree ordering without cancelling units D.6.13.10 milnor milnor number of ideal i; (assume i is ICIS in nf) D.6.13.11 nf_icis generic combinations of generators; get ICIS in nf D.6.13.12 slocus ideal of singular locus of ideal i D.6.13.13 qhspectrum spectrum numbers of w-homogeneous polynomial f D.6.13.14 Tjurina SB of Tjurina module of ideal i (assume i is ICIS) D.6.13.15 tjurina Tjurina number of ideal i (assume i is ICIS) D.6.13.16 T_1 T^1-module of ideal i D.6.13.17 T_2 T^2-module of ideal i D.6.13.18 T_12 T^1- and T^2-module of ideal i D.6.13.19 tangentcone compute tangent cone of id