-- -*- M2-comint -*- hash: 7071368380364405934

i1 : MF = diagonalMatchingField(3,6);

i2 : TF = topeField MF

o2 = Tope field: n = 6 and type = {1, 1, 1}

o2 : TopeField

i3 : TF' = topeField(MF, {2,1})

o3 = Tope field: n = 6 and type = {2, 1}

o3 : TopeField

i4 : 
