home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / symbolic / 2282 < prev    next >
Encoding:
Text File  |  1992-08-29  |  1.8 KB  |  50 lines
  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!haven.umd.edu!darwin.sura.net!jvnc.net!yale.edu!ira.uka.de!chx400!bernina!bernina!parkes
  3. From: parkes@itp.ethz.ch (Andrew Parkes)
  4. Subject: Re: Mma Solve[] oddity (a much shorter version)
  5. In-Reply-To: petry@runners.math.washington.edu's message of Sun, 23 Aug 1992 21:53:53 GMT
  6. Message-ID: <PARKES.92Aug28231659@re.itp.ethz.ch>
  7. Sender: news@bernina.ethz.ch (USENET News System)
  8. Organization: Institute for Theoretical Physics, ETH, Zuerich, Switzerland
  9. References: <28914@option.GBA.NYU.EDU> <1992Aug23.215353.3637@u.washington.edu>
  10. Date: Fri, 28 Aug 1992 22:16:59 GMT
  11. Lines: 37
  12.  
  13. David Petry writes:
  14. > eqs  =  {  a*x*y + b*x + c*y ==0,  d*x*y + e*x + f*y + g == 0}
  15. > 
  16. > Solve[ eqs, {x,y}]
  17. > 
  18. > Mathematica 2.  seems to be unable to solve the above equations, but if we 
  19. > divide out the "a" and "d", so that
  20. [...]
  21. > 
  22. > A frustrating deficiency!
  23. > David Petry
  24.  
  25. Solve[] even fails for a special case of the above
  26.  
  27. Solve[{a1 X + a2 Y + a3 X Y == 0 , b1 X + b2 Y + b3 X Y == 0},{X,Y}]
  28.  
  29. This time the solution does not involve square roots, and there
  30. is even the trivial solution X=Y=0, but still memory use grows and
  31. grows and grows and ...
  32.  
  33. Solve[] does work immediately  if
  34.  
  35. 1) We give Solve[] an extra linear combination of the two equations:-
  36. Solve[{pol1==0,pol2==0,Factor[b1 pol1 - a1 pol2]==0},{X,Y}]]
  37.  
  38. This should be superfluous, but isn't.  Maybe this gives a generic way in
  39. general to get around the Solve[] deficiencies.
  40.  
  41. 2) One of the coefficients is given a numerical value, including zero.  Looks
  42. like we a have a symbol manipulation package that dislikes symbols.
  43.  
  44. Well, I think I might be learning Maple soon.
  45.  
  46. Andrew Parkes,              | E-mail: parkes@itp.ethz.ch 
  47. Theoretische Physik,        |
  48. ETH-Honggerberg,            |                           
  49. CH-8093 Zurich, Switzerland.|                           
  50.