some code for zero bases of a matroid
strong_isolation_conjecture_counterexample.py
shows a counterexample to strong isolation conjecture for Z_6.strong_isolation_cyclic.py
is the code that checks if strong isolation conjecture is true for Z_m.strong_isolation_z2xz2.py
is the code that checks if Z_2 x Z_2 is strongly isolating for block matroids of rank 3.