Procedures:
D.5.2.1 versal miniversal deformation of isolated singularity Fo D.5.2.2 mod_versal miniversal deformation of module Mo modulo ideal I D.5.2.3 lift_kbase lifting N into standard kbase of M D.5.2.4 lift_rel_kb relative lifting N into a kbase of M