pervasive difference between SIN and what is in Macsyma...
the data in SIN looks like
(plus x y)
and the data in Macsyma looks like
((mplus simp) $x $y).
By the way, for those who think this latter wastes space, note
that for all of macsyma there is supposed to be only one
instance of (mplus simp) which everyone points to. { in practice,
this might not really happen} -- the consequences of the
tagging of the CAR of the expression with the simp flag is to
make re-simplification unnecessary.
It is nice to know that JM is cooperating this way.
I suspect that the code could be OCR'd but it would
be fairly pointless.
RJF
Stavros Macrakis wrote:
> 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
>
> _______________________________________________
> Maxima mailing list
> Maxima@www.math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima