Next: Top-down heuristics
Up: Various methods for algebraic
Previous: How many terms to
This is a useful heuristic, quite effective, but not widely
The idea is best illustrated with an example.
Suppose that our expression to match is a rational polynomial
Suppose that the pattern has terms in x and in ex.
Since we know that no polynomial in x is equal to any
polynomial in ex, then then only possible matching is
one which eliminates all appearances of ex in the pattern.