home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9676 < prev    next >
Encoding:
Internet Message Format  |  1992-07-30  |  1.2 KB
  1. Path: sparky!uunet!cs.utexas.edu!sun-barr!ames!network.ucsd.edu!mvb.saic.com!unogate!beckman.com!dn66!a_rubin
  2. Newsgroups: sci.math
  3. Subject: Re: ALGEBRAIC NUMBER ARITHMETIC
  4. Message-ID: <a_rubin.712514387@dn66>
  5. From: a_rubin@dsg4.dse.beckman.com (Arthur Rubin)
  6. Date: 30 Jul 92 16:39:47 GMT
  7. References: <aet.712408532@munagin> <a_rubin.712513261@dn66>
  8. Keywords: algebraic numbers arithmetic
  9. Nntp-Posting-Host: dn66.dse.beckman.com
  10. Lines: 25
  11.  
  12. In <a_rubin.712513261@dn66> a_rubin@dsg4.dse.beckman.com (Arthur Rubin) writes:
  13.  
  14. Yep, talking to myself again.
  15.  
  16. >If you want to perform arithmetic on algebraic reals, the result from
  17. >mathematical logical the Th(R) is decidable should allow you to compute
  18. >using representations as you suggest.
  19.  
  20. Th(R) (as an ordered field) is decidable and admits elimination of
  21. quantifiers, so there is a way a to do computations on a similar algebraic
  22. structure, but it might have:
  23.  
  24. x^4 -2 = 0
  25. x^2+x-1 >= 0
  26.  
  27. rather than:
  28.  
  29. x^4 - 2 = 0
  30. x >= 0
  31.  
  32. --
  33. Arthur L. Rubin: a_rubin@dsg4.dse.beckman.com (work) Beckman Instruments/Brea
  34. 216-5888@mcimail.com 70707.453@compuserve.com arthur@pnet01.cts.com (personal)
  35. My opinions are my own, and do not represent those of my employer.
  36. Our news system is unstable; if you want to be sure I see a post, mail it.
  37.