25 May
2007
25 May
'07
4:43 p.m.
Dear Javier,
"JRG" == Javier Ros Ganuza <jros@unavarra.es> writes:
JRG> I get the same result .... JRG> I think this is a bug. It is not easy to make our computers as intelligent as we may wish. Try to modify your substitution rules to be more flexible: use wildcards, use the rule sin($1)*cos($1)==sin(2*$1)/2, etc. Good luck, Vladimir -- Vladimir V. Kisil email: kisilv@maths.leeds.ac.uk -- www: http://maths.leeds.ac.uk/~kisilv/