home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: sci.math.symbolic
- Path: sparky!uunet!europa.asd.contel.com!darwin.sura.net!Sirius.dfn.de!chx400!bernina!bernina!parkes
- From: parkes@itp.ethz.ch (Andrew Parkes)
- Subject: Re: Mma Solve[] oddity (a much shorter version)
- In-Reply-To: petry@runners.math.washington.edu's message of Sun, 23 Aug 1992 21:53:53 GMT
- Message-ID: <PARKES.92Aug26173241@ptah.itp.ethz.ch>
- Sender: news@bernina.ethz.ch (USENET News System)
- Organization: Institute for Theoretical Physics, ETH, Zuerich, Switzerland
- References: <28914@option.GBA.NYU.EDU> <1992Aug23.215353.3637@u.washington.edu>
- Date: Wed, 26 Aug 1992 16:32:41 GMT
- Lines: 52
-
-
- David Petry writes:
- > In article <28914@option.GBA.NYU.EDU> jcao@option.GBA.NYU.EDU (Jingbin Cao) writes:
- > >The following log documents some weired Solve[] oddities. They are:
- > >
- > > 1. Solve[] cannot find roots in some cases, at least not within
- > > reasonable period of time. But if you divide the equations
- > > by something, Solve[] finds some roots!
- >
- > [long transcript deleted]
- >
- > Here's a simple example of what Jingbin Cao is getting at (I think):
- >
- > eqs = { a*x*y + b*x + c*y ==0, d*x*y + e*x + f*y + g == 0}
- >
- > Solve[ eqs, {x,y}]
- >
- > Mathematica 2. seems to be unable to solve the above equations, but if we
- > divide out the "a" and "d", so that
- >
- > eqs = { x*y + b*y + c*x == 0, x*y + e*x + f*y + g == 0}
- >
- > then Mathematica gets the answer right away.
- >
- > A frustrating deficiency!
- >
- >
- > David Petry
- >
- Here's an even simpler version of the above
-
- eq = (a x^2 + b x + c)/(d1 + d2 x)
- answer = Solve[ eq == 0 , x]
-
- Mma 1.2 gets the answer immediately of course.
-
- But I find that our Mma 2.0 gets gets nowhere.
- I killed the job after 40mins when it got to 30MB.
-
- If I give d1 a numerical value then the answer is again immediate. I
- haven't looked whether giving some options to Solve[] makes things
- work correctly (as I don't think changing options should be necessary
- to solve a quadratic equation!).
-
- In case this is version dependent, our system is:-
- $Version = SPARC 2.0 (July 8, 1991)
- $VersionNumber = 2
-
- Andrew Parkes, | E-mail: parkes@itp.ethz.ch
- Theoretische Physik, |
- ETH-Honggerberg, |
- CH-8093 Zurich, Switzerland.|
-