simplification

Thanks very much !


Now my expressions get simplified with the following rules (in case 
someone's interested).

matchdeclare (ee, lambda ([e], featurep (e, integer) and equal (abs (e), 
1)));
tellsimp(1/ee, ee);
matchdeclare (nn, lambda ([e], featurep (e, integer) and not(elementp(e, 
{0,1}))));
tellsimp (ee^nn, ee^(mod (nn, 2)));
matchdeclare([xx, yy, zz], lambda([e], featurep(e, real)));

tellsimpafter(sin(ee*xx), ee*sin(xx));
tellsimpafter(sin(xx*ee), ee*sin(xx));
tellsimpafter(sin(xx*ee*yy), ee*sin(xx*yy));
tellsimpafter(sin((xx*ee*zz)/yy), ee*sin(xx*zz/yy));

tellsimpafter(cos(ee*xx), cos(xx));
tellsimpafter(cos(xx*ee), cos(xx));
tellsimpafter(cos(xx*ee*yy), cos(xx*yy));
tellsimpafter(cos((xx*ee)/yy), cos(xx/yy));
tellsimpafter(cos((xx*ee*zz)/yy), cos(xx*zz/yy));


Jean


Le 18/04/2012 14:00, Robert Dodier a ?crit :
> [...]