TimDaly wrote:
...
There has been some initial discussions between myself, Albert Rich,
and David Parnas about how to think about this problem.
My current thinking involves a tree-structuring of the rule patterns
where each node in the tree represents one or more pattern
tables and each edge
On Jul 12, 3:32 pm, Richard Fateman wrote:
> There are issues in pattern matching that are fairly subtle, and may
> not be obvious to the casual reader (or programmer).
>
> For example, you may have a rule that works to integrate
>
> exp(n*x) * x^m wrt x.
> Mathematica 7 gives
>
> -E^(-n x) (E^x)