home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / program / misc / mas / mashelp / dipdim.def < prev    next >
Encoding:
Modula Definition  |  1989-11-12  |  1.4 KB  |  52 lines

  1.  
  2. (* DIP Dimension Definition Module. *)
  3.  
  4. DEFINITION MODULE DIPDIM;
  5.  
  6.  
  7. FROM MASSTOR IMPORT LIST;
  8.  
  9.  
  10. PROCEDURE DIGBZT(S: LIST): LIST; 
  11. (*Distributive polynomial groebner base common zero test.
  12. S is a groebner basis. t = -1 or 0 if DIMENSION(S) eq -1 or 0, t = 1
  13. if DIMENSION(S) ge 1. *)
  14.  
  15.  
  16. PROCEDURE DILDIM(G: LIST;  VAR DL,S,M: LIST); 
  17. (*Distributive polynomial list dimension.
  18. G is a list of distributive polynomials, a groebner base.
  19. d is the dimension of ideal(G). M is a maximal independend
  20. set of variables. S is a set of maximal independent sets of
  21. variables. *)
  22.  
  23.  
  24. PROCEDURE DIDIMS(G,S,U,M: LIST): LIST; 
  25. (*Distributive polynomial dimension maximal independent set.
  26. G is a list of distributive rational polynomials, and a g-base.
  27. S is a maximal independent set of variables.
  28. U is a set of variables of unknown status.
  29. M and MP are lists of maximal independent sets of variables.  *)
  30.  
  31.  
  32. PROCEDURE EVGBIT(S,G: LIST): LIST; 
  33. (*Exponent vector groebner base intersection test.
  34. S is a set of variable indices. G is a groebner basis.
  35. t = 0 if intersection = () else t = 1. *)
  36.  
  37.  
  38. PROCEDURE USETCT(U,V: LIST): LIST; 
  39. (*Unordered set containment test. U and V are unordered sets.
  40. t = 1 if U is contained in V else t = 0. *)
  41.  
  42.  
  43. PROCEDURE IXSUBS(V,I: LIST): LIST; 
  44. (*Indexed subset. V is a list.
  45. I is an index list. The elements of V with index from I
  46. are put to VP. *)
  47.  
  48.  
  49. END DIPDIM.
  50.  
  51.  
  52.