Dear Vladislav,
On Wed, 27 Aug 2014 17:12:23 +0200, Vladyslav Shtabovenko <v.shtabovenko@tum.de> said: VSh> However, this doesn't seem to be possible since the eval_ncmul
That is true, if you are going to use precooked Dirac gammas. However, the clifford class has the member int commutator_sign; /**< It is the sign in the definition e~i e~j +/- e~j e~i = B(i, j) + B(j, i)*/ This allows to implement either commuting rules or anti-commuting rules for a particular clifford object. In particular, some while ago I have experimented with a Lie algebra implementation as a clifford object of GiNaC (the code is available on request). Also, clifford objects with different representation labels simply commute. This combination gives a significant freedom for implementing various algebraic rules. However, if this is still not sufficient you may derive something from clifford class adding something more involved than int for the commutator_sign. Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv@maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835