[GiNaC-list] Simplify clifford expresion: Works?

Vladimir Kisil kisilv at maths.leeds.ac.uk
Fri May 25 16:43:50 CEST 2007

		Dear Javier,
>>>>> "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,
 Good luck,
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
--                      www: http://maths.leeds.ac.uk/~kisilv/

More information about the GiNaC-list mailing list