home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9675 < prev    next >
Encoding:
Internet Message Format  |  1992-07-30  |  1.4 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!usc!noiro.acs.uci.edu!beckman.com!dn66!a_rubin
  2. Newsgroups: sci.math
  3. Subject: Re: ALGEBRAIC NUMBER ARITHMETIC
  4. Message-ID: <a_rubin.712513261@dn66>
  5. From: a_rubin@dsg4.dse.beckman.com (Arthur Rubin)
  6. Date: 30 Jul 92 16:21:01 GMT
  7. References: <aet.712408532@munagin>
  8. Keywords: algebraic numbers arithmetic
  9. Nntp-Posting-Host: dn66.dse.beckman.com
  10. Lines: 35
  11.  
  12. In <aet.712408532@munagin> aet@mullian.ee.mu.OZ.AU (bert thompson) writes:
  13.  
  14. >hi!
  15.  
  16. >i want to perform arithmetic on algebraic numbers.
  17.  
  18. >if i represent an algebraic number by an polynomial in integers
  19. >and an interval in which is found the root of the polynomial
  20. >corresponding to the represented number.
  21.  
  22. >so sqrt(2) might look like this:
  23.  
  24. >  2  
  25. >x   -  2 = 0      ,    [1, 3/2]
  26.  
  27.  
  28. >how would i perform the following operations:
  29. >(returning a polynomial-interval pair)
  30.  
  31. >+
  32. >-
  33. >*
  34. >/
  35. >sqrt
  36. >=    (computable? my guess is yes.)
  37. >and other operations you might think are worth mentioning...
  38.  
  39. If you want to perform arithmetic on algebraic reals, the result from
  40. mathematical logical the Th(R) is decidable should allow you to compute
  41. using representations as you suggest.
  42. --
  43. Arthur L. Rubin: a_rubin@dsg4.dse.beckman.com (work) Beckman Instruments/Brea
  44. 216-5888@mcimail.com 70707.453@compuserve.com arthur@pnet01.cts.com (personal)
  45. My opinions are my own, and do not represent those of my employer.
  46. Our news system is unstable; if you want to be sure I see a post, mail it.
  47.