The function returns true or false, depending on whether ex is a valid permutation of degree deg in disjoint cycle notation.

$\mathrm{type}\left(\left[1\,2\,3\,4\,5\right]\,'\mathrm{disjcyc}'\left(6\right)\right)$

$\mathrm{false}$

$\mathrm{type}\left(\left[\left[1\,2\,4\right]\,\left[3\,9\,6\right]\right]\,'\mathrm{disjcyc}'\left(7\right)\right)$

$\mathrm{false}$

$\mathrm{type}\left(\left[\left[1\,2\,4\right]\,\left[3\,5\,6\right]\right]\,'\mathrm{disjcyc}'\left(7\right)\right)$

$\mathrm{true}$