(* ----------------------------------------------------------------------------
 * $Id: DIPZ.md,v 1.2 1992/02/12 17:34:26 pesch Exp $
 * ----------------------------------------------------------------------------
 * This file is part of MAS.
 * ----------------------------------------------------------------------------
 * Copyright (c) 1989 - 1992 Universitaet Passau
 * ----------------------------------------------------------------------------
 * $Log: DIPZ.md,v $
 * Revision 1.2  1992/02/12  17:34:26  pesch
 * Moved CONST definition to the right place
 *
 * Revision 1.1  1992/01/22  15:14:46  kredel
 * Initial revision
 *
 * ----------------------------------------------------------------------------
 *)

DEFINITION MODULE DIPZ;

(* DIP Zero Dimensional Ideal Definition Module. *)



FROM MASSTOR IMPORT LIST;

CONST rcsid = "$Id: DIPZ.md,v 1.2 1992/02/12 17:34:26 pesch Exp $";
CONST copyright = "Copyright (c) 1989 - 1992 Universitaet Passau";



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.

(* -EOF- *)