-- -*- M2-comint -*- hash: 13658964652346203080

i1 : M = matroid({a,b,c,d},{{a,b},{a,c}})

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

o1 : Matroid

i2 : circuits M

o2 = {set {1, 2}, set {3}}

o2 : List

i3 : fundamentalCircuit(M, {a,c}, b)

o3 = set {1, 2}

o3 : Set

i4 : fundamentalCircuit(M, set{0,2}, 1)

o4 = set {1, 2}

o4 : Set

i5 : fundamentalCircuit(M, set{0,2}, 3)

o5 = set {3}

o5 : Set

i6 : M = matroid matrix{{1,0,1,1},{0,1,1,1}}

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

o6 : Matroid

i7 : circuits M

o7 = {set {0, 1, 2}, set {0, 1, 3}, set {2, 3}}

o7 : List

i8 : M_2

o8 = | 1 |
     | 1 |

              2       1
o8 : Matrix ZZ  <-- ZZ

i9 : M_2 == M_3

o9 = true

i10 : (try fundamentalCircuit (M, M_{1,2}, M_3)) === null

o10 = true

i11 : fundamentalCircuit (M, set{1,2}, 3)

o11 = set {2, 3}

o11 : Set

i12 : 
