Procedures:
D.6.5.1 versal miniversal deformation of isolated singularity Fo D.6.5.2 mod_versal miniversal deformation of module Mo modulo ideal I D.6.5.3 lift_kbase lifting N into standard kbase of M D.6.5.4 lift_rel_kb relative lifting N into a kbase of M