-- -*- M2-comint -*- hash: 15857190510796125423

i1 : M5 = matroid completeGraph 5

o1 = a "matroid" of rank 4 on 10 elements

o1 : Matroid

i2 : isBinary M5

o2 = true

i3 : U48 = uniformMatroid(4, 8)

o3 = a "matroid" of rank 4 on 8 elements

o3 : Matroid

i4 : isBinary U48

o4 = false

i5 : 
