equising.lib
Equisingularity Stratum of a Family of Plane Curves
Christoph Lossen, lossen@mathematik.uni-kl.de Andrea Mindnich, mindnich@mathematik.uni-kl.de
Main procedures:
D.5.3.1 tau_es codim of mu-const stratum in semi-universal def. base D.5.3.2 esIdeal (Wahl’s) equisingularity ideal of f D.5.3.3 esStratum equisingularity stratum of a family F D.5.3.4 isEquising tests if a given deformation is equisingular
Auxiliary procedure:
D.5.3.5 control_Matrix computes list of blowing-up data