Closed vsht closed 2 years ago
It is rather trivial to enumerate these symmetries for given ranks and to generalize that to arbitrary ranks, cf.
https://github.com/FeynCalc/feyncalc/blob/c122d3a73a01ff7c4aa867bcef191daf88564160/FeynCalc/LoopIntegrals/PaVeOrder.m#L278
One just has to think how to implement it in such a way, that it can be used to simplify relations involving multiple PaVe functions.
It is rather trivial to enumerate these symmetries for given ranks and to generalize that to arbitrary ranks, cf.
https://github.com/FeynCalc/feyncalc/blob/c122d3a73a01ff7c4aa867bcef191daf88564160/FeynCalc/LoopIntegrals/PaVeOrder.m#L278
One just has to think how to implement it in such a way, that it can be used to simplify relations involving multiple PaVe functions.