A permutation is given as a list of cycles (or a reordered list) of the generators and is operating on a LieElement by operating on each Lie monomial.
i1 : L=holonomyLie{{a0,a1,a2},{a0,a3,a4},{a1,a3,a5},{a2,a4,a5}} o1 = L o1 : LieAlgebra |
i2 : permopLie({{a5,a0},{a1,a2,a4,a3}},a1 a2 a4 + a0 a5 a3) o2 = (a4 a5 a3) o2 : L |
i3 : a2 a4 a3 + a5 a0 a1 o3 = (a4 a5 a3) o3 : L |