How to input a permutation?
In order to enter a permutation pi, first enter
'[', then enter the values pi(1), pi(2), ... seperated by a comma, and finally
enter ']'.
For instance the permutation pi given by pi(1)=2, pi(2)=1 and pi(3)=3
must be written as [2,1,3].