home *** CD-ROM | disk | FTP | other *** search
/ Crawly Crypt Collection 2 / crawlyvol2.bin / program / misc / mas / mashelp / diproot.def < prev    next >
Encoding:
Modula Definition  |  1989-10-09  |  2.0 KB  |  67 lines
  1.  
  2. (* DIP Polynomial Ideal Real Root System Definition Module. *)
  3.  
  4. DEFINITION MODULE DIPROOT;
  5.  
  6.  
  7. FROM MASSTOR IMPORT LIST;
  8.  
  9.  
  10. PROCEDURE DIGBSI(P,T,A: LIST): LIST; 
  11. (*Distributive polynomial system algebraic number G basis sign.
  12. P is a goebner basis in inverse lexicographical term order
  13. in r variables (non empty), with all neccessary refinements.
  14. T=(t1,... ,ti) i le r, where tj=(vj,ij,pj) j=1,... ,i
  15. and v is the character list for the j-th variable,
  16. ij is a isolating intervall for a real root of the
  17. univariate polynomial pjl.
  18. A is a distributive rational polynomial depending
  19. maximal on one variable.
  20. s is the sign of A as element of an algebraic extension
  21. of Q determined by P. *)
  22.  
  23.  
  24. PROCEDURE DIITNT(T: LIST): LIST; 
  25. (*Distributive polynomial system intervall tupel from norm tupel.
  26. T is a refined normalized tupel of a zero set
  27. with a final goebner basis of dimension 0.
  28. TP is a list of intervall tupels for T. *)
  29.  
  30.  
  31. PROCEDURE DIITWR(TP,EPS: LIST); 
  32. (*Distributive polynomial system intervall tupels write.
  33. TP is a list of intervall tupels of a zero set.
  34. EPS is LOG10 of the desired precision. *)
  35.  
  36.  
  37. PROCEDURE DINTWR(TP,EPS: LIST); 
  38. (*Distributive polynomial system normalized tupels write.
  39. TP is a list of normalized tupels of a zero set.
  40. EPS is log10 of the desired precision. *)
  41.  
  42.  
  43.  
  44. PROCEDURE DIROWR(V,P,EPS: LIST); 
  45. (*Distributive polynomial system real root write.
  46. V is a variable list. P is a list (e,p). EPS is the desired
  47. precision. e is the multiplicity of the root, and p is an
  48. irreducible polynomial. *)
  49.  
  50.  
  51. PROCEDURE GBZSET(V,PP,EPS: LIST); 
  52. (*Groebner base real zero set of zero dimensional ideal. 
  53. V is a variable list. PP is a list of distributive rational polynomials,
  54. PP is a Groebner base. EPS is is LOG10 of the desired precision. *)
  55.  
  56.  
  57. PROCEDURE RIRWRT(R,EPS: LIST); 
  58. (*Rational intervall refinement write.
  59. R=(v,i,p) where v is the variable character string,
  60. i is a rational intervall containing only
  61. one real root of the polynomial p.
  62. EPS is the presicion epsilon. *)
  63.  
  64.  
  65. END DIPROOT.
  66.  
  67.