4.1. InvToPerm

Given an invariant, it is possible to know the permutation it represents using InvToPerm. The result is returned using the head RPerm, which stands for permutation of Riemann invariant.

This is a typical example of a canonical invariant:

In[76]:=

Out[76]=

In[77]:=

Out[77]=

And this is the permutation it represents. It is given in cyclic form. The first list identifies the case and whether it contains an epsilon ({case, 1}) or not ({case, 0})

In[78]:=

Out[78]=

In[79]:=

Out[79]=

The command also works with polynomials, giving one RPerm for each monomial

In[80]:=

Out[80]=

Created by Mathematica  (May 16, 2008)