home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / symbolic / 3418 < prev    next >
Encoding:
Internet Message Format  |  1993-01-12  |  1.6 KB
  1. Path: sparky!uunet!news.univie.ac.at!alijku11!keichhor
  2. Message-ID: <19930112.153810648363.NETNEWS@ALIJKU11>
  3. Date: Tue, 12 Jan 1993 15:38:10 CET
  4. Newsgroups: sci.math.symbolic
  5. From: keichhor@risc.uni-linz.ac.at (Kurt Eichhorn)
  6. Distribution: usa
  7. References:  <1993Jan6.200956.8242@sifon.cc.mcgill.ca>
  8. Organization: RISC, J.K. University of Linz, Austria
  9. Subject: Re: Maple problem
  10. Nntp-Posting-Host: 193.170.36.100
  11. Lines: 44
  12.  
  13. In article <1993Jan6.200956.8242@sifon.cc.mcgill.ca>, mefels@triples.math.mcgill.ca (Mark Fels) writes:
  14. >
  15. > Anyone know what's going on here...
  16. >
  17. >
  18. >
  19. > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2),b^2=2-sqrt(2)});
  20. >
  21. >                                        0
  22. >
  23. > Thanks,
  24. >Mark Fels.
  25.  
  26. Maple V Release 2 gives a different answer:
  27.  
  28.       > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2),b^2=2-sqrt(2)});
  29.       Error, (in simplify/siderels)
  30.       invalid side relations:  Grobner basis contains the element 1
  31.  
  32. But all Versions do it correct, if one omits th last rule:
  33.  
  34.       > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2)});
  35.  
  36.                                        2
  37.  
  38.  
  39. Probabbly the troubles come from the fact that if a^2=2+sqrt(2), a could
  40. be positive or negative. This might lead to a contradiction (a*b = "-sqrt(2)")
  41. in the rules. From a contradiction one can conlude everthing:
  42.  
  43.       > simplify(a*b,{a=1,b=2});
  44.  
  45.                                        2
  46.  
  47. but
  48.       >  simplify(a*b,{a=1,b=2,a+b=4});
  49.  
  50.                                        0
  51.  
  52.  
  53. Gruetzi, Kurt.
  54.  
  55. P.S.: There was a long discussion on this topic in this newsgroup
  56. a few months ago. The real "funny" thing is the error message in V.2.
  57.