-- -*- M2-comint -*- hash: 12984600521664705685

i1 : FM = flagMatroid {uniformMatroid(2,4),uniformMatroid(3,4)}

o1 = a "flag matroid" with rank sequence {2, 3} on 4 elements 

o1 : FlagMatroid

i2 : isWellDefined FM

o2 = true

i3 : FMbad = flagMatroid {uniformMatroid(2,4), uniformMatroid(1,2)++uniformMatroid(2,2)}

o3 = a "flag matroid" with rank sequence {2, 3} on 4 elements 

o3 : FlagMatroid

i4 : isWellDefined FMbad

o4 = false

i5 : 
