home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / symbolic / 3424 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.7 KB  |  42 lines
  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!cis.ohio-state.edu!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!torn!pulp.cs.laurentian.ca!ramsey.cs.laurentian.ca!steve
  3. From: steve@ramsey.cs.laurentian.ca (Stephen R. Czapor)
  4. Subject: Re: Maple problem
  5. Message-ID: <1993Jan12.202648.27232@ramsey.cs.laurentian.ca>
  6. Keywords: Maple bug
  7. Sender: news@ramsey.cs.laurentian.ca (USENET News System)
  8. Organization: Dept. of Computer Science, Laurentian University, Sudbury, ON
  9. References: <1993Jan6.200956.8242@sifon.cc.mcgill.ca> <19930112.153810648363.NETNEWS@ALIJKU11>
  10. Date: Tue, 12 Jan 1993 20:26:48 GMT
  11. Lines: 29
  12.  
  13. In article <19930112.153810648363.NETNEWS@ALIJKU11> keichhor@risc.uni-linz.ac.at (Kurt Eichhorn) writes:
  14. >In article <1993Jan6.200956.8242@sifon.cc.mcgill.ca>,
  15. >mefels@triples.math.mcgill.ca (Mark Fels) writes:
  16. > >
  17. > > Anyone know what's going on here...
  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. >Maple V Release 2 gives a different answer:
  24. >
  25. >      > simplify(a^2*b^2,{a*b=sqrt(2),a^2=2+sqrt(2),b^2=2-sqrt(2)});
  26. >      Error, (in simplify/siderels)
  27. >      invalid side relations:  Grobner basis contains the element 1
  28. >
  29. >      [ rest of posting deleted ]
  30.  
  31. Actually, the problem is due to a bug in `simplify/siderels`:  it
  32. computes a Groebner basis for the side relations with respect to
  33. the wrong set of indeterminates, and produces a contradiction that
  34. was not intended.  (As Kurt pointed out in his posting, from there
  35. anything can happen - so simplify complains in the new release.)
  36.  
  37. This has been passed along to the appropriate folk(s).
  38.  
  39. -------------------------
  40. Steve Czapor [ steve@ramsey.cs.laurentian.ca ]
  41. Dept. of Math. & C.S., Laurentian University
  42.