[GiNaC-list] Simplify clifford expresion: Works?

[Vladimir Kisil]

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