-- -*- M2-comint -*- hash: 12301382112579379450

i1 : M = binarySpike 5

o1 = a "matroid" of rank 5 on 11 elements

o1 : Matroid

i2 : getRepresentation M

o2 = | 1 0 0 0 0 0 1 1 1 1 1 |
     | 0 1 0 0 0 1 0 1 1 1 1 |
     | 0 0 1 0 0 1 1 0 1 1 1 |
     | 0 0 0 1 0 1 1 1 0 1 1 |
     | 0 0 0 0 1 1 1 1 1 0 1 |

             ZZ 5      ZZ 11
o2 : Matrix (--)  <-- (--)
              2         2

i3 : N = M \ set{0}

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

o3 : Matroid

i4 : areIsomorphic(N, dual N)

o4 = true

i5 : N1 = (spike 5) \ set{0}

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

o5 : Matroid

i6 : N1 == dual N1

o6 = true

i7 : 
