Spinor

Declares an object to be a spinor, i.e. transforming in one of the spinor representations of the orthogonal or Lorentz group. The declaration should involve an indication of the dimension, as in the example below. It can optionally have type indicators (these should be Majorana, Weyl or MajoranaWeyl) and chirality indicators for Weyl spinors (Positive or Negative, indicating the eigenvalue with respect to the generalised $\gamma_5$ matrix). Here is an example:

This property is taken into account by various algorithms such as fierz and sort_spinors.