-- -*- M2-comint -*- hash: 16152875846967230068

i1 : M = uniformMatroid(0, 2) ++ uniformMatroid(1, 2) ++ uniformMatroid(2, 4)

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

o1 : Matroid

i2 : isSimple M

o2 = false

i3 : S = simpleMatroid M

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

o3 : Matroid

i4 : latticeOfFlats M == latticeOfFlats S

o4 = true

i5 : select(flats S, f -> rank(S, f) <= 1)

o5 = {set {}, set {4}, set {3}, set {2}, set {1}, set {0}}

o5 : List

i6 : AG32 = affineGeometry(3, 2)

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

o6 : Matroid

i7 : 
