-- -*- M2-comint -*- hash: 9691104435100209872

i1 : isWellDefined permutation {1, 2, 3}

o1 = true

i2 : isWellDefined permutation {0, 1, 2}

o2 = false

i3 : isWellDefined permutation {1, 1, 2}

o3 = false

i4 : 
