Subject: The global variable var, Schatchen and $specint
From: Richard Fateman
Date: Fri, 09 Apr 2010 14:00:38 -0700
the pattern matcher m2 was written in about 1963, and while it serves
its purpose, it would be possible
to rewrite sin (symbolic integrator) to use an entirely new
implementation of a pattern matching program
that might be nicer in various ways. For example, an implementation of
(essentially) the Mathematica
pattern matcher is available in mockmma, in common lisp.
in fact, with an appropriate top-level interface to such a matcher, it
would be possible to rewrite SIN in
Maxima code. There are, I think, about 12-14 patterns used to recognize
cases, and then more patterns
used to partition expressions. The defmatch (etc) code available in
Maxima is not so useful here because
SIN patterns require back-tracking.
The Mockmma pattern matcher operates on a simpler version of
expressions... instead of ((mplus simp) $a $b)
the expressions look more like (Plus a b)
RJF