(* DIP Zero Dimensional Definition Module. *)

DEFINITION MODULE DIPZ;


FROM MASSTOR IMPORT LIST;


PROCEDURE DIRMPG(IL,F: LIST): LIST; 
(*Distributive rational minimal polynomial for a groebner basis.
F is a groebner basis. PP is the minimal polynomial for the
i-th variable for F. *)


END DIPZ.