This hacks simpgarnet so that it passes its arguments through some level of Reduce simplification before starting on pattern-matching. For the current example this may be bad in that the work changes z^(-2) into (1/z^2). But the important issue is that this lets you go things like % "w := integrand; garnet(w, x);" and get the integrand that you wanted % processed not just the word "integrand". % This probably mneans that a diffenet pattern from among the two-thousand % needs to be identified - one not using negative exponents.
This hacks simpgarnet so that it passes its arguments through some level of
Reduce simplification before starting on pattern-matching. For the current
example this may be bad in that the work changes z^(-2) into (1/z^2). But
the important issue is that this lets you go things like
% "w := integrand; garnet(w, x);" and get the integrand that you wanted
% processed not just the word "integrand".
% This probably mneans that a diffenet pattern from among the two-thousand
% needs to be identified - one not using negative exponents.

arthurcnorman/general,arthurcnorman/general,arthurcnorman/general