home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / symbolic / 2071 < prev    next >
Encoding:
Text File  |  1992-07-25  |  1002 b   |  36 lines

  1. Newsgroups: sci.math.symbolic
  2. Path: sparky!uunet!darwin.sura.net!wupost!eclnews!cec1!ppc1
  3. From: ppc1@cec1.wustl.edu (Peter Pui Tak Chiu)
  4. Subject: simplification
  5. Message-ID: <1992Jul25.115733.27293@wuecl.wustl.edu>
  6. Sender: usenet@wuecl.wustl.edu (Usenet Administrator)
  7. Nntp-Posting-Host: cec1
  8. Organization: Washington University, St. Louis Mo.
  9. Date: Sat, 25 Jul 1992 11:57:33 GMT
  10. Lines: 24
  11.  
  12.  
  13. hi everyone,
  14.  
  15. i have a real naive question:
  16.  
  17.         how to do symbolic simplification using scheme, lisp or anything...?
  18.  
  19. what i mean is symbolic simplification like MATHEMATICA.
  20.  
  21. here are some examples:
  22.  
  23.           (* a (+ b (/ c a))) ==> (+ (* a b) c)
  24.           (+ (* a b) (* a c)) ==> (* a (+ b c))
  25.  
  26. these are just very simple cases and are intended to explain what i mean...
  27. i want to know a way to find the "simplest form" of any algebric expression.
  28. not only those which are as simple as the above.
  29.  
  30. can anyone tell me how to do it or refer me to some books that talk about it?
  31.  
  32. thanks in advance
  33.  
  34. peter
  35.  
  36.