home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / lang / scheme / 1979 < prev    next >
Encoding:
Text File  |  1992-07-27  |  2.2 KB  |  65 lines
  1. Newsgroups: comp.lang.scheme
  2. Path: sparky!uunet!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!ira.uka.de!math.fu-berlin.de!zrz.tu-berlin.de!hahn.informatik.hu-berlin.de!blume
  3. From: blume@news@informatik.hu-berlin.de (Matthias Blume)
  4. Subject: Re: Simplification
  5. Message-ID: <OQI5HOL@hp832.informatik.hu-berlin.de>
  6. Originator: blume@euklid
  7. Sender: news@hp832.informatik.hu-berlin.de (H.Boehme U.Kunitz)
  8. Reply-To: blume@news@informatik.hu-berlin.de (Matthias Blume)
  9. Organization: Humbolt University, Department of Computer Science
  10. References:  <1992Jul25.115115.27145@wuecl.wustl.edu>
  11. Date: Tue, 28 Jul 1992 08:11:47 GMT
  12. Lines: 51
  13.  
  14.  
  15. In article <1992Jul25.115115.27145@wuecl.wustl.edu>, ppc1@cec1.wustl.edu (Peter Pui Tak Chiu) writes:
  16. |> 
  17. |> hi everyone,
  18. |> 
  19. |> i have a real naive question:
  20. |> 
  21. |>         how to do symbolic simplification using scheme, lisp or anything...?
  22. |> 
  23. |> what i mean is symbolic simplification like MATHEMATICA.
  24. |> 
  25. |> here are some examples:
  26. |> 
  27. |>           (* a (+ b (/ c a))) ==> (+ (* a b) c)
  28. |>           (+ (* a b) (* a c)) ==> (* a (+ b c))
  29. |> 
  30. |> these are just very simple cases and are intended to explain what i mean...
  31. |> i want to know a way to find the "simplest form" of any algebric expression.
  32. |> not only those which are as simple as the above.
  33. |> 
  34. |> can anyone tell me how to do it or refer me to some books that talk about it?
  35. |> 
  36. |> thanks in advance
  37. |> 
  38. |> peter
  39. |> 
  40.  
  41. At the moment I don't have a book at hand for advise.  But consider the following
  42. remark:
  43.  
  44. There is no strict definition of what is simple.  For instance
  45.  
  46. (f(x) + g(x))^3
  47.  
  48. may be considered ``simple'' for its brevity, while
  49.  
  50. f(x)^3 + 3*f(x)^2*g(x) + 3*f(x)*g(x)^2 + g(x)^3
  51.  
  52. may be considered ``simple'' for the possibility to apply further operators like
  53. INT(egral) or something like that.
  54. In fact, simplification, whatever it means, is the most difficult part in every
  55. formula manipulation system, so you cannot expect a quick, short and exhaustive
  56. answer to your ``real naive'' question.
  57.  
  58. In fact, the trouble is not, how to do it in any particular programming language
  59. (though LISP and Scheme are a good choice), but how to do it at all!
  60.  
  61. -- 
  62. -- m.b
  63. Matthias Blume, blume@informatik.hu-berlin.de,
  64. Humboldt-Uni zu Berlin, FB 16 (Informatik), [Dept. of Computer Science]
  65.