home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / program / misc / mas / mashelp / masymdip.def < prev    next >
Encoding:
Modula Definition  |  1991-03-18  |  1.3 KB  |  60 lines
  1.  
  2. DEFINITION MODULE MASYMDIP;
  3.  
  4. (* MAS Symbol to DIP Definition Module. *)
  5.  
  6.  
  7. (* Import lists and declarations. *)
  8.  
  9. FROM MASSTOR IMPORT LIST;
  10.  
  11.  
  12. (* Procedure declarations. *)
  13.  
  14. PROCEDURE DIPVDEF(V: LIST): LIST;
  15. (*DIP define distributive polynomial variable list. 
  16. V is a variable list. The old variable list is returned. *)
  17.  
  18.  
  19. PROCEDURE DIPTODEF(T: LIST): LIST;
  20. (*DIP define distributive polynomial term order. 
  21. V is a term order indicator. The old term order indicator 
  22. is returned. *)
  23.  
  24.  
  25. PROCEDURE SYM2DIP(T: LIST): LIST;
  26. (*Symbol term to distributive polynomial. *)
  27.  
  28.  
  29. PROCEDURE DIP2SYM(D: LIST): LIST;
  30. (*Distributive polynomial to symbol term. *)
  31.  
  32.  
  33. PROCEDURE TVARS(T: LIST): LIST;
  34. (*Term variables. T is a term. The list of variables 
  35. occuring in T is returned. *)
  36.  
  37.  
  38.  
  39. PROCEDURE DIRPFT(T, V: LIST): LIST; 
  40. (*Distributive rational polynomial from term. T is a term,
  41. V is a variable list. A distributive rational polynomial 
  42. A in r variables, where r=length(V), r ge 0, is formed 
  43. from term T. *)
  44.  
  45.  
  46.  
  47. PROCEDURE TFDIRP(A, V: LIST): LIST; 
  48. (*Term from distributive rational polynomial. A is a distributive 
  49. rational polynomial in r variables, where r=length(V), r ge 0,
  50. V is a symbol list. A term T is formed from A. *)
  51.  
  52.  
  53. PROCEDURE InitExternalsI;
  54. (*Initialize external compiled interface procedures. *)
  55.  
  56.  
  57. END MASYMDIP.
  58.  
  59.  
  60.