Function apply_perm_to_mono 

pub fn apply_perm_to_mono(perm: &Perm, m: Mono) -> Mono

Apply a formula automorphism to a monomial: a monomial is a set of variables, so the permutation part of σ relabels them (phase flips do not act on monomials). The bridge from the symmetry group to the polynomial basis.