Permutations of Wick contractions #
We define two Wick contractions to be permutations of each other if the Wick term they produce is equal.
##Β TODO
The long term aim is to simplify this condition as much as possible, so that it can eventually be made decideable.
It should become apparent that two Wick contractions are permutations of each other if they correspond to the same Feynman diagram. Please speak to JTS before working in this direction.
For a list Οs
of π.FieldOp
, and two Wick contractions ΟsΞβ
and ΟsΞβ
of Οs
,
we say that ΟsΞβ
and ΟsΞβ
are permutations of each other if they have the same Wick term.
Instances For
The reflexivity of the Perm
relation.
The symmetry of the Perm
relation.
The transitivity of the Perm
relation.
If Perm ΟsΞβ ΟsΞβ
then if ΟsΞβ
is a full Wick contraction
then ΟsΞβ
is a full Wick contraction..
Implementation note: Please contact JTS before attempting this.
If Perm ΟsΞβ ΟsΞβ
then the uncontracted lists of
ΟsΞβ
and ΟsΞβ
are permutations of each other.