Procedures:
D.5.3.1 versal miniversal deformation of isolated singularity Fo D.5.3.2 mod_versal miniversal deformation of module Mo modulo ideal I D.5.3.3 lift_kbase lifting N into standard kbase of M D.5.3.4 lift_rel_kb relative lifting N into a kbase of M D.5.3.5 kill_rings kills the exported rings from above