-- -*- M2-comint -*- hash: 6030168549532775672

i1 : P = specificMatroid "pappus"

o1 = a "matroid" of rank 3 on 9 elements

o1 : Matroid

i2 : NP = specificMatroid "nonpappus"

o2 = a "matroid" of rank 3 on 9 elements

o2 : Matroid

i3 : NP == relaxation(P, set{6,7,8})

o3 = true

i4 : 
