[GiNaC-list] Simplify clifford expresion: Works?
kisilv at maths.leeds.ac.uk
Fri May 25 16:43:50 CEST 2007
>>>>> "JRG" == Javier Ros Ganuza <jros at 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,
Vladimir V. Kisil email: kisilv at maths.leeds.ac.uk
-- www: http://maths.leeds.ac.uk/~kisilv/
More information about the GiNaC-list