| 149 |
* @param trONE Expression to be returned as the trace of the unit matrix */ |
* @param trONE Expression to be returned as the trace of the unit matrix */ |
| 150 |
ex dirac_trace(const ex & e, unsigned char rl = 0, const ex & trONE = 4); |
ex dirac_trace(const ex & e, unsigned char rl = 0, const ex & trONE = 4); |
| 151 |
|
|
| 152 |
|
/** Bring all products of clifford objects in an expression into a canonical |
| 153 |
|
* order. This is not necessarily the most simple form but it will allow |
| 154 |
|
* to checking two expressions for equality. */ |
| 155 |
|
ex canonicalize_clifford(const ex & e); |
| 156 |
|
|
| 157 |
} // namespace GiNaC |
} // namespace GiNaC |
| 158 |
|
|