I'm pleased to announce that Joel Moses, the co-director of the original
Macsyma project at M.I.T., and the author of the indefinite integration
packages (SIN and Risch) among other things, has authorized us to use
excerpts from his Ph.D. dissertation "Symbolic Integration"
(MIT-LCS-TR047 http://www.lcs.mit.edu/publications/specpub.php?id=615)
as documentation in the code.
I plan to start by documenting the Schatchen pattern-matcher
(schatc.lisp) using the material on pages 27-38 and 46-53.
Files using material from Joel's thesis should include in the header:
;;; Includes material from _Symbolic Integration_, MIT-LCS-TR047,
;;; http://www.lcs.mit.edu/publications/pubs/pdf/MIT-LCS-TR-047.pdf
;;; copyright 1967 by Joel Moses. Excerpts released under the GPL
;;; by the kind permission of the author.
The thesis has lots of useful and interesting material, including the
complete source listings (but as images, not text) for the CTSS Lisp
version of SIN.
-s