[GiNaC-list] dirac_spinor?

[Vladimir V. Kisil]

	Dear Vladislav,
>>>>> On Wed, 27 Aug 2014 17:12:23 +0200, Vladyslav Shtabovenko <v.shtabovenko at 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 at 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