| 88 |
}; |
}; |
| 89 |
|
|
| 90 |
|
|
| 91 |
/** This class represents the Dirac gamma5 object. */ |
/** This class represents the Dirac gamma5 object which anticommutes with |
| 92 |
|
* all other gammas. */ |
| 93 |
class diracgamma5 : public tensor |
class diracgamma5 : public tensor |
| 94 |
{ |
{ |
| 95 |
GINAC_DECLARE_REGISTERED_CLASS(diracgamma5, tensor) |
GINAC_DECLARE_REGISTERED_CLASS(diracgamma5, tensor) |
| 126 |
* @return newly constructed object */ |
* @return newly constructed object */ |
| 127 |
ex dirac_gamma5(unsigned char rl = 0); |
ex dirac_gamma5(unsigned char rl = 0); |
| 128 |
|
|
| 129 |
|
/** Create a term of the form e_mu * gamma~mu with a unique index mu. |
| 130 |
|
* |
| 131 |
|
* @param dim Dimension of index |
| 132 |
|
* @param rl Representation label */ |
| 133 |
|
ex dirac_slash(const ex & e, const ex & dim, unsigned char rl = 0); |
| 134 |
|
|
| 135 |
/** Calculate the trace of an expression containing gamma objects with |
/** Calculate the trace of an expression containing gamma objects with |
| 136 |
* a specified representation label. The computed trace is a linear |
* a specified representation label. The computed trace is a linear |
| 137 |
* functional that is equal to the usual trace only in D = 4 dimensions. |
* functional that is equal to the usual trace only in D = 4 dimensions. |
| 138 |
* In particular, the functional is non-cyclic in D != 4 dimensions when |
* In particular, the functional is not always cyclic in D != 4 dimensions |
| 139 |
* gamma5 is involved. |
* when gamma5 is involved. |
| 140 |
* |
* |
| 141 |
* @param rl Representation label */ |
* @param rl Representation label */ |
| 142 |
ex dirac_trace(const ex & e, unsigned char rl = 0); |
ex dirac_trace(const ex & e, unsigned char rl = 0); |