>

$a\u2254\mathrm{Perm}\left(\left[\left[1\,2\right]\,\left[3\,4\,5\right]\right]\right)$

${a}{\u2254}\left({1}{\,}{2}\right)\left({3}{\,}{4}{\,}{5}\right)$
 (1) 
>

$b\u2254\mathrm{Perm}\left(\left[\left[1\,3\right]\,\left[2\,6\right]\right]\right)$

${b}{\u2254}\left({1}{\,}{3}\right)\left({2}{\,}{6}\right)$
 (7) 
In the following examples, the PermDegree() and PermProduct() commands are part of the GroupTheory package. They operate on permutation objects constructed by Perm.
>

$\mathrm{with}\left(\mathrm{GroupTheory}\right)\:$

>

$\mathrm{PermDegree}\left(a\right)$

>

$\mathrm{PermDegree}\left(b\right)$

>

$\mathrm{PermProduct}\left(a\,b\right)$

$\left({1}{\,}{6}{\,}{2}{\,}{3}{\,}{4}{\,}{5}\right)$
 (10) 