Procedures:
D.6.7.1 versal miniversal deformation of isolated singularity Fo D.6.7.2 mod_versal miniversal deformation of module Mo modulo ideal I D.6.7.3 lift_kbase lifting N into standard kbase of M D.6.7.4 lift_rel_kb relative lifting N into a kbase of M