deform.lib
constant versal
constant mod_versal
constant kill_rings
constant compute_ext
constant get_rings
constant get_inf_def
constant lift_rel_kb
constant lift_kbase
constant interact1
constant interact2
constant negative_part
constant find_ord
constant homog_test
constant homog_t