Article View: sci.math.symbolic
Article #1064Re: more on mma big bad bug
From: Igor Rivin
Date: Tue, 12 Jan 1993 22:41
Date: Tue, 12 Jan 1993 22:41
23 lines
1619 bytes
1619 bytes
In article <a_rubin.726451074@dn66> a_rubin@dsg4.dse.beckman.com (Arthur Rubin) writes: >In <15373.2b4c73d5@ohstpy.mps.ohio-state.edu> vandesande@ohstpy.mps.ohio-state.edu writes: > > >>Pi Sqrt[Pi]/(2 2 Sqrt[2]) > >>The explanation for the "big bad bug" from Wolfram is that >>the Simplification rules for Power conflict. The expression >>is "simplified" back and forth between two different forms. >>Will fix in another release, they say. There is no really >>satisfactory fix. > >There is a satisfactory fix. Wolfram just doesn't think so. >The fix would be to set which automatic simplification is in effect with a >global variable. The use of such global variables leads to largely unusable systems with horrifying semantics (since there is a lot of hidden state at any given time, which affects your computation in unpredictable ways). In addition, there is a lot of temptation to use this global switches to paper over serious bugs, just as you are suggesting here. If you are unpersuaded, this strategy is one of the major weaknesses in MACSYMA, so you know where to go and what to do...
Technical Details
Message-ID:
<1993Jan12.224126.829@CSD-NewsHost.Stanford.EDU>Path:
arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!SAIL.Stanford.EDU!rivinReferences:
<15373.2b4c73d5@ohstpy.mps.ohio-state.edu> <a_rubin.726451074@dn66>Show Full Headers
Complete Article Headers
Newsgroups: sci.math.symbolic Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!CSD-NewsHost.Stanford.EDU!SAIL.Stanford.EDU!rivin From: rivin@SAIL.Stanford.EDU (Igor Rivin) Subject: Re: more on mma big bad bug Message-ID: <1993Jan12.224126.829@CSD-NewsHost.Stanford.EDU> Sender: news@CSD-NewsHost.Stanford.EDU Organization: Computer Science Department, Stanford University. References: <15373.2b4c73d5@ohstpy.mps.ohio-state.edu> <a_rubin.726451074@dn66> Date: Tue, 12 Jan 1993 22:41:26 GMT Lines: 27