(* DIP GCD Definition Module. *)

DEFINITION MODULE DIPGCD;


FROM MASSTOR IMPORT LIST;
     

PROCEDURE DIRFAC(P: LIST): LIST; 
(*Distributive rational polynomial factorisation.
P is a distributive rational polynomial.
PP=((e1,P1), ...,(en,Pn)), where P=P1**e1+ ... +Pn**en. *)


PROCEDURE IPLCM(RL,A,B: LIST): LIST; 
(*Integral polynomial least common multiple. A and B are integal
polynomials. C=LCM(A,B), a nonnegative integral polynomial.*)
                                            

END DIPGCD.