home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / math / symbolic / 3426 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.6 KB  |  39 lines
  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!SAIL.Stanford.EDU!rivin
  3. From: rivin@SAIL.Stanford.EDU (Igor Rivin)
  4. Subject: Re: more on mma big bad bug
  5. Message-ID: <1993Jan12.224126.829@CSD-NewsHost.Stanford.EDU>
  6. Sender: news@CSD-NewsHost.Stanford.EDU
  7. Organization: Computer Science Department,  Stanford University.
  8. References: <15373.2b4c73d5@ohstpy.mps.ohio-state.edu> <a_rubin.726451074@dn66>
  9. Date: Tue, 12 Jan 1993 22:41:26 GMT
  10. Lines: 27
  11.  
  12. In article <a_rubin.726451074@dn66> a_rubin@dsg4.dse.beckman.com (Arthur Rubin) writes:
  13. >In <15373.2b4c73d5@ohstpy.mps.ohio-state.edu> vandesande@ohstpy.mps.ohio-state.edu writes:
  14. >
  15. >
  16. >>Pi Sqrt[Pi]/(2 2 Sqrt[2])
  17. >
  18. >>The explanation for the "big bad bug" from Wolfram is that 
  19. >>the Simplification rules for Power conflict.  The expression
  20. >>is "simplified" back and forth between two different forms.
  21. >>Will fix in another release, they say.  There is no really 
  22. >>satisfactory fix.
  23. >
  24. >There is a satisfactory fix.  Wolfram just doesn't think so.
  25. >The fix would be to set which automatic simplification is in effect with a
  26. >global variable.
  27.  
  28. The use of such global variables leads to largely unusable systems
  29. with horrifying semantics (since there is a lot of hidden state at any
  30. given time, which affects your computation in unpredictable ways). In
  31. addition, there is a lot of temptation to use this global switches to
  32. paper over serious bugs, just as you are suggesting here. If you are
  33. unpersuaded, this strategy is one of the major weaknesses in MACSYMA,
  34. so you know where to go and what to do...
  35.  
  36.  
  37.  
  38.  
  39.