home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / program / misc / mas / mashelp / dipideal.def < prev    next >
Encoding:
Modula Definition  |  1989-10-08  |  1.2 KB  |  44 lines

  1.  
  2. (* DIP Polynomial Ideal System Definition Module. *)
  3.  
  4. DEFINITION MODULE DIPIDEAL;
  5.  
  6. FROM MASSTOR IMPORT LIST;
  7.  
  8.  
  9. PROCEDURE DIPLDV(A,V: LIST): LIST; 
  10. (*Distributive polynomial list dependency on variables.
  11. A is a list of distributive polynomials. V is the variable list.
  12. U is the variable list of variables with positive exponents in A. *)
  13.  
  14.  
  15. PROCEDURE DIRLCT(A,B: LIST): LIST; 
  16. (*Distributive rational polynomial list ideal containement test.
  17. A and B are lists of distributive rational
  18. polynomials representing groebner basis.
  19. t = 1 if ideal(A) is contained in ideal(B),
  20. t = 0 else. *)
  21.  
  22.  
  23. PROCEDURE DIRLIP(PL,A,B: LIST): LIST; 
  24. (*Distributive rational polynomial list ideal product.
  25. A and B are
  26. lists of distributive rational polynomials. C=GBASIS(p,A*B).*)
  27.  
  28.  
  29. PROCEDURE DIRLPI(A,P,VP: LIST): LIST; 
  30. (*Distributive rational polynomial list primary ideal.
  31. A and P are non empty lists of distributive rational
  32. polynomials representing groebner basis.
  33. The polynomials in A have r variables.
  34. ideal(P) is a prime ideal in at most r+1 variables.
  35. VP is the variable list for P.
  36. QP=(P,e,VP,Q) where Q = ideal(P**e,A) with A contained in Q
  37. and e maximal. *)
  38.  
  39.  
  40. END DIPIDEAL.
  41.  
  42.  
  43.  
  44.