home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / sci / math / symbolic / 3057 < prev    next >
Encoding:
Internet Message Format  |  1992-11-20  |  1.9 KB
  1. Path: sparky!uunet!stanford.edu!ames!agate!peoplesparc.Berkeley.EDU!fateman
  2. From: fateman@peoplesparc.Berkeley.EDU (Richard Fateman)
  3. Newsgroups: sci.math.symbolic
  4. Subject: Re: Space efficiency (Was: The Real Meaning of Efficiency?)
  5. Date: 20 Nov 1992 17:05:03 GMT
  6. Organization: University of California, Berkeley
  7. Lines: 30
  8. Message-ID: <1ej5rvINN3fq@agate.berkeley.edu>
  9. References: <18NOV199217533011@reg.triumf.ca> <1eghvuINNi6i@crcnis1.unl.edu> <1992Nov20.051351.18180@alchemy.chem.utoronto.ca>
  10. NNTP-Posting-Host: peoplesparc.berkeley.edu
  11.  
  12. One of the potential advantages of using a language like Common Lisp
  13. is that it is possible to use tools developed outside the CAS
  14. community to good advantage.  CL compilers have settings to "optimize"
  15. space, time, debuggability, and/or some combinations.  It is also
  16. possible to use tools like "memoization" (like Maple's option
  17. remember, or a trick available in Mathematica [and Macsyma]) for
  18. remembering certain kinds of function/value pairs.  This tends to
  19. trade lots of space for saving time, at least when it works.
  20.  
  21. But these are often ineffective when the algorithm must really be
  22. changed by someone with a higher perspective on what is getting done.
  23.  
  24. One area in which space certainly was a consideration (and which
  25. helped speed things up) was in the Poisson Series package in 
  26. Macsyma.  Subexpressions like 3*u+4*v+5*w-3*x+5*y+7*z   are stored
  27. in one machine word.  There are undoubtedly trade-offs in time v. space
  28. in systems that map from abstractions to representations in some
  29. controlled fashion (Axiom should do this).
  30.  
  31. I think that Maple, at least in its early days, as well as Macsyma
  32. in its early days  (on a 1.2 megabyte time-shared PDP-6) were concerned
  33. with "space" generally, though they may have lost sight of that.
  34.  
  35. So, people have thought about space in these systems, at least in
  36. some respects.
  37.  
  38.  
  39. -- 
  40. Richard J. Fateman
  41. fateman@cs.berkeley.edu   510 642-1879
  42.