Module representability 

Matroid representability over GF(2), GF(3), and GF(q).

Checks whether a matroid can be represented as the column matroid of a matrix over a finite field. Provides excluded minor characterizations, exhaustive search for small matroids, and standard named matroids (Fano, dual Fano).

Enums

RepresentabilityResult

Result of a representability check.

Functions

column_matroid

Given a GF(2) matrix, extract its column matroid.

dual_fano_matroid

The dual Fano matroid F_7*.

fano_matroid

The Fano matroid F_7 (matroid of the Fano plane PG(2,2)).

has_minor

Check if a matroid has another matroid as a minor.

is_binary

Check if a matroid is representable over GF(2).

is_regular

Check if a matroid is regular (representable over every field).

is_representable_over_gfq

Check if a matroid is representable over GF(q) for prime q.

is_ternary

Check if a matroid is representable over GF(3).

standard_representation

Extract the GF(2) representation matrix in standard form [I_k | A].