[GiNaC-list] Equal indexed expressions

[Vladimir Kisil]

		Hi,

		I am wondering how to convince GiNaC that the following to
  expressions are equal:

  [[-1,0],[0,1]~mu~mu * a~mu        
  [[-1,0],[0,1].nu~mu * a~nu      
  
  Thanks for an advice,

  Vladimir

-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
--                      www: http://maths.leeds.ac.uk/~kisilv/