Procedures:
D.6.11.1 versal miniversal deformation of isolated singularity Fo D.6.11.2 mod_versal miniversal deformation of module Mo modulo ideal I D.6.11.3 lift_kbase lifting N into standard kbase of M D.6.11.4 lift_rel_kb relative lifting N into a kbase of M