PermToInv[expr]

converts all permutations in expr into their correspondent invariants. It is assumed that the permutations have been already canonicalized.