ImposeSymmetry

• ImposeSymmetry[expr, inds, G] returns expr symmetrized in its free indices inds as given by the permutation group G.

• The list inds can have head List or IndexList.
• The group G can be given as a generating set (head GenSet), a strong generating set (head StrongGenSet), or directly as an explicit group (head Group). In the first two cases the Dimino algorithm is called.
• The result is a linear combination of permutations of expr, always divided by the order of the group.
• Special cases for special permutation groups are the commands Symmetrize, Antisymmetrize, PairSymmetrize, PairAntisymmetrize.
• See: Section 7.3.
• See also: STFPart.
• New in version 0.
• Last update: 28-X-2007 for version 0.9.3 of xTensor`.

Created by Mathematica  (May 16, 2008)