-- -*- M2-comint -*- hash: 12037777827997794368

i1 : N = matroid completeGraph 5

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

o1 : Matroid

i2 : F = set {0,1,4};

i3 : TFN = truncate(F, N)

o3 = a "matroid" of rank 3 on 10 elements

o3 : Matroid

i4 : isElementaryQuotient(TFN, N)

o4 = true

i5 : T2N = truncate(2, N)

o5 = a "matroid" of rank 2 on 10 elements

o5 : Matroid

i6 : isElementaryQuotient(T2N, N)

o6 = false

i7 : 
