home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / program / misc / mas / mashelp / dipz.def < prev    next >
Encoding:
Modula Definition  |  1989-11-12  |  318 b   |  18 lines
  1.  
  2. (* DIP Zero Dimensional Definition Module. *)
  3.  
  4. DEFINITION MODULE DIPZ;
  5.  
  6.  
  7. FROM MASSTOR IMPORT LIST;
  8.  
  9.  
  10. PROCEDURE DIRMPG(IL,F: LIST): LIST; 
  11. (*Distributive rational minimal polynomial for a groebner basis.
  12. F is a groebner basis. PP is the minimal polynomial for the
  13. i-th variable for F. *)
  14.  
  15.  
  16. END DIPZ.
  17.  
  18.