home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / program / misc / mas / mashelp / dipdec0.def < prev    next >
Encoding:
Modula Definition  |  1989-10-08  |  4.1 KB  |  121 lines
  1.  
  2. (* DIP Polynomial Ideal Decomposition 0 System Definition Module. *)
  3.  
  4. DEFINITION MODULE DIPDEC0;
  5.  
  6.  
  7. FROM MASSTOR IMPORT LIST;
  8.  
  9.  
  10. PROCEDURE DIGFET(P,IL,JL: LIST): LIST; 
  11. (*Distributive polynomial system G basis successful extension test.
  12. P is a goebner basis of dimension 0 in inverse
  13. lexicographical term ordering.
  14. i and j are indexes of variables where an field extension
  15. is required. t=1 if the extension was successful t=0 else. *)
  16.  
  17.  
  18. PROCEDURE DIGISM(P: LIST): LIST; 
  19. (*Distributive polynomial system G basis index search for extension
  20. multiple univariats. P is a goebner basis of dimension 0 in inverse
  21. lexicographical term ordering.
  22. I is a list of indexes of variables where an field extension
  23. is required or I=() if no field extension is neccessary. *)
  24.  
  25.  
  26. PROCEDURE DIGISR(P: LIST): LIST; 
  27. (*Distributive polynomial system G basis index search for extension
  28. reductas. P is a goebner basis of dimension 0 in inverse
  29. lexicographical term ordering.
  30. I is a list of indexes of variables where an field extension
  31. is required or I=() if no field extension is neccessary. *)
  32.  
  33.  
  34. PROCEDURE DINTFE(T,IL,JL: LIST): LIST; 
  35. (*Distributive polynomial system normalized tupel field extension.
  36. Using trial values for transcendent parameter.
  37. T is a normalized tupel of a zero set with a final
  38. goebner basis of dimension 0.
  39. i and j determine the variable indexes for the field extension.
  40. TP is a list of normalized tupels for the field extension for T. *)
  41.  
  42.  
  43. PROCEDURE DINTSR(T: LIST): LIST; 
  44. (*Distributive polynomial system normalized tupel separation refinement.
  45. T is a list of normalized tupels with final
  46. goebner basis of dimension 0.
  47. TP is a list of normalized tupels for some field extensions for T. *)
  48.  
  49.  
  50. PROCEDURE DINTSS(T: LIST): LIST; 
  51. (*Distributive polynomial system normalized tupel strong separation.
  52. T is a list of normalized tupels with final
  53. goebner basis of dimension 0.
  54. TP is a list of normalized tupels for some field extensions for T. *)
  55.  
  56.  
  57. PROCEDURE DINTZS(N: LIST): LIST; 
  58. (*Distributive polynomial system nomalized tupels from system zero.
  59. N is a zero set. T is the list of nomalized tupels of N. *)
  60.  
  61.  
  62. PROCEDURE DIRGZS(VB,PB,W: LIST): LIST; 
  63. (*Distributive rational groebner basis zero set.
  64. VB is a rest of a variable list. PB is a groebner basis.
  65. W is the total variable list. N is the zero set of P. *)
  66.  
  67.  
  68. PROCEDURE DIRLPD(A,VP: LIST): LIST; 
  69. (*Distributive rational polynomial list primary ideal decomposition.
  70. A is a non empty list of distributive rational
  71. polynomials representing a groebner basis.
  72. the polynomials in a have r variables.
  73. L=(l1,... ,ln) with li=(pi,ei,vpi,qi) i=1,... ,n
  74. where qi = ideal(pi**e,A) with A contained in qi
  75. and e maximal.
  76. Ideal(pi) is a prime ideal in at most r+1 variables.
  77. VPI is the variable list vor pi. *)
  78.  
  79.  
  80. PROCEDURE DIRLPW(A,V,L: LIST); 
  81. (*Distributive rational polynomial list primary ideal decomposition
  82. write.
  83. A is a non empty list of distributive rational
  84. polynomials representing a groebner basis.
  85. the polynomials in a have r variables.
  86. L=(l1,... ,ln) with li=(pi,eli,vpi,qi) i=1,... ,n
  87. where qi = ideal(pi)**e with A contained in qi
  88. and e maximal.
  89. Ideal(pi) is a prime ideal in at most r+1 variables.
  90. VPI is the variable list vor pi. *)
  91.  
  92.  
  93. PROCEDURE DIRPDA(A,VP: LIST): LIST; 
  94. (*Distributive rational polynomial list primary ideal decomposition
  95. over Q(alpha).
  96. A is a non empty list of distributive rational
  97. polynomials representing a groebner basis.
  98. The polynomials in A have r variables.
  99. L=(l1,... ,ln) with li=(pi,ei,vpi,qi) i=1,... ,n
  100. where qi = ideal(pi**e,A) with A contained in qi
  101. and e maximal.
  102. Ideal(pi) is a prime ideal in at most r+1 variables.
  103. VPI is the variable list vor pi. *)
  104.  
  105.  
  106. PROCEDURE DITFZS(N: LIST): LIST; 
  107. (*Distributive polynomial system tupel from zero set.
  108. N is a zero set. T is a list of tupels of then zero set. *)
  109.  
  110.  
  111. PROCEDURE DITSPL(T: LIST;  VAR T0,T1: LIST); 
  112. (*Distributive polynomial system zero set tupel split.
  113. T is a list of normalized tupels of a zero set.
  114. T0 is a list of normalized tupels of a zero set with a final
  115. goebner basis of dimension 0. T1=T-T0. *)
  116.  
  117.  
  118. END DIPDEC0.
  119.  
  120.  
  121.