On 1/9/07, miguel lopez <miguel39123 at hotmail.com> wrote:
> The following should do steps 1, 2,3 the rest by hand.
You can use "optimize" for the rest:
optimize ( c*(f*(i+h+g)+e*(i+h+g)+d*(i+h+g))+b*(f*(i+h+g)+
e*(i+h+g)+d*(i+h+g))+a*(f*(i+h+g)+e*(i+h+g)+d*(i+h+g)) ) =>
block([%1,%2],
%1:i+h+g,
%2:f*%1+e*%1+d*%1,
c*%2+b*%2+a*%2)
Note that optimize does *not* find subexpressions like a+b in a+b+c.
-s