Matroid database

Matroid 3.12.31897952

Label3.12.31897952
Idr3_n12_0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000**********0*****00********0000000000**********0*****00********0000000000000000000**********0*****00********00000****00000****0
Rank3
n12
1,2,3,4,56,7,8910,1112

Affine diagram (real realization).

123456789101112

A graph with this cycle matroid; edge labels are elements.

Basic invariants

Bases77
Circuits45
Flats13
Cyclic flats8
Loops0
Connected components1
Automorphisms1440
Beta invariant1
Girth2
Simpleno
Connectedyes
Uniformnot computed
Looplessyes
Colooplessyes
Pavingno
Laminarno
Nestedno
Self dualno
Identically self dualno
Series parallelyes
Transversalyes
Supersolvableyes
Divisionally freeyes
Orientableyes
Three linesno

Representability

Characteristic setcharacteristic 0 and all primes [0]
Realizableyes
Realizable char0yes
Regularyes
Binaryyes
Ternaryyes
Quaternaryyes
Graphicyes

Realization space

Statuscomputed_realization_space
Dimension of realization space2
Expected dimension over ℤ1
Components of realization spacenot computed
Free realization spaceyes
Principal idealyes
Birational typenot computed
Birational type componentsnot computed
Good basisnot computed
Good basis v21,6,10

Geometry

Realization space: scheme simple core idnot computed
Smooth char 0not computed
Singular primesnot computed
Realization space: smooth over ℚyes
Realization space: smooth over ℤyes
how determined: smoothness method: audited_free_chart
Realization space: is regular schemenot computed
Realization space: singular fiber primesnot computed
Realization space: singular fiber characteristicsnone
how determined: singular fiber characteristics method: smooth_over_ZZ
Realization space: characteristic dimensions
show
[
 {
  "p": 0,
  "d": 0
 }
]
how determined: characteristic dimensions method: audited_free_chart
Realization space: characteristic dimension unexpectedno
Realization space: characteristic dimension variesno

Other

Char poly splitstrue
Simplicial arrangementno
Realization space: n qbar componentsnot computed

Tutte polynomial

\(T = x_{0}^{3} + x_{0}^{2} x_{1}^{4} + x_{0}^{2} x_{1}^{3} + 2 x_{0}^{2} x_{1}^{2} + 3 x_{0}^{2} x_{1} + 2 x_{0}^{2} + x_{0} x_{1}^{7} + 3 x_{0} x_{1}^{6} + 5 x_{0} x_{1}^{5} + 5 x_{0} x_{1}^{4} + 6 x_{0} x_{1}^{3} + 6 x_{0} x_{1}^{2} + 4 x_{0} x_{1} + x_{0} + x_{1}^{9} + 3 x_{1}^{8} + 5 x_{1}^{7} + 6 x_{1}^{6} + 6 x_{1}^{5} + 6 x_{1}^{4} + 5 x_{1}^{3} + 3 x_{1}^{2} + x_{1}\)

Realization space

Ring\(\mathbb{Z}\)
Defining ideal\(\left(0\right)\)
Inequationsnone
Realization matrix\(\begin{pmatrix}1 & 1 & 1 & 1 & 1 & 0 & 0 & 0 & 1 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1\end{pmatrix}\)

Combinatorics

Computed on the fly from the id.

Bases (77){1,6,10} {2,6,10} {3,6,10} {4,6,10} {5,6,10} {1,7,10} {2,7,10} {3,7,10} {4,7,10} {5,7,10} {1,8,10} {2,8,10} {3,8,10} {4,8,10} {5,8,10} {1,9,10} {2,9,10} {3,9,10} {4,9,10} {5,9,10} {6,9,10} {7,9,10} {8,9,10} {1,6,11} {2,6,11} {3,6,11} {4,6,11} {5,6,11} {1,7,11} {2,7,11} {3,7,11} {4,7,11} {5,7,11} {1,8,11} {2,8,11} {3,8,11} {4,8,11} {5,8,11} {1,9,11} {2,9,11} {3,9,11} {4,9,11} {5,9,11} {6,9,11} {7,9,11} {8,9,11} {1,6,12} {2,6,12} {3,6,12} {4,6,12} {5,6,12} {1,7,12} {2,7,12} {3,7,12} {4,7,12} {5,7,12} {1,8,12} {2,8,12} {3,8,12} {4,8,12} {5,8,12} {1,9,12} {2,9,12} {3,9,12} {4,9,12} {5,9,12} {6,9,12} {7,9,12} {8,9,12} {6,10,12} {7,10,12} {8,10,12} {9,10,12} {6,11,12} {7,11,12} {8,11,12} {9,11,12}
Non-bases (143){1,2,3} {1,2,4} {1,3,4} {2,3,4} {1,2,5} {1,3,5} {2,3,5} {1,4,5} {2,4,5} {3,4,5} {1,2,6} {1,3,6} {2,3,6} {1,4,6} {2,4,6} {3,4,6} {1,5,6} {2,5,6} {3,5,6} {4,5,6} {1,2,7} {1,3,7} {2,3,7} {1,4,7} {2,4,7} {3,4,7} {1,5,7} {2,5,7} {3,5,7} {4,5,7} {1,6,7} {2,6,7} {3,6,7} {4,6,7} {5,6,7} {1,2,8} {1,3,8} {2,3,8} {1,4,8} {2,4,8} {3,4,8} {1,5,8} {2,5,8} {3,5,8} {4,5,8} {1,6,8} {2,6,8} {3,6,8} {4,6,8} {5,6,8} {1,7,8} {2,7,8} {3,7,8} {4,7,8} {5,7,8} {6,7,8} {1,2,9} {1,3,9} {2,3,9} {1,4,9} {2,4,9} {3,4,9} {1,5,9} {2,5,9} {3,5,9} {4,5,9} {1,6,9} {2,6,9} {3,6,9} {4,6,9} {5,6,9} {1,7,9} {2,7,9} {3,7,9} {4,7,9} {5,7,9} {6,7,9} {1,8,9} {2,8,9} {3,8,9} {4,8,9} {5,8,9} {6,8,9} {7,8,9} {1,2,10} {1,3,10} {2,3,10} {1,4,10} {2,4,10} {3,4,10} {1,5,10} {2,5,10} {3,5,10} {4,5,10} {6,7,10} {6,8,10} {7,8,10} {1,2,11} {1,3,11} {2,3,11} {1,4,11} {2,4,11} {3,4,11} {1,5,11} {2,5,11} {3,5,11} {4,5,11} {6,7,11} {6,8,11} {7,8,11} {1,10,11} {2,10,11} {3,10,11} {4,10,11} {5,10,11} {6,10,11} {7,10,11} {8,10,11} {9,10,11} {1,2,12} {1,3,12} {2,3,12} {1,4,12} {2,4,12} {3,4,12} {1,5,12} {2,5,12} {3,5,12} {4,5,12} {6,7,12} {6,8,12} {7,8,12} {1,10,12} {2,10,12} {3,10,12} {4,10,12} {5,10,12} {1,11,12} {2,11,12} {3,11,12} {4,11,12} {5,11,12} {10,11,12}
Circuits (45){1,2} {1,3} {2,3} {1,4} {2,4} {3,4} {1,5} {2,5} {3,5} {4,5} {6,7} {6,8} {7,8} {1,6,9} {2,6,9} {3,6,9} {4,6,9} {5,6,9} {1,7,9} {2,7,9} {3,7,9} {4,7,9} {5,7,9} {1,8,9} {2,8,9} {3,8,9} {4,8,9} {5,8,9} {10,11} {1,10,12} {2,10,12} {3,10,12} {4,10,12} {5,10,12} {6,9,10,12} {7,9,10,12} {8,9,10,12} {1,11,12} {2,11,12} {3,11,12} {4,11,12} {5,11,12} {6,9,11,12} {7,9,11,12} {8,9,11,12}
Flats by rank (13)
Hyperplanes (6){1,2,3,4,5,6,7,8,9} {6,7,8,10,11} {9,10,11} {6,7,8,12} {9,12} {1,2,3,4,5,10,11,12}
Lines (2){1,2,3,4,5,6,7,8,9} {1,2,3,4,5,10,11,12}
Dual (rank 9)

Revlex encoding in this labeling (not canonicalized, so not linked): 0****00000****00000********00*****0**********0000000000000000000********00*****0**********0000000000********00*****0**********0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Bases: {2,3,4,5,7,8,9,11,12} {1,3,4,5,7,8,9,11,12} {1,2,4,5,7,8,9,11,12} {1,2,3,5,7,8,9,11,12} {1,2,3,4,7,8,9,11,12} {2,3,4,5,6,8,9,11,12} {1,3,4,5,6,8,9,11,12} {1,2,4,5,6,8,9,11,12} {1,2,3,5,6,8,9,11,12} {1,2,3,4,6,8,9,11,12} {2,3,4,5,6,7,9,11,12} {1,3,4,5,6,7,9,11,12} {1,2,4,5,6,7,9,11,12} {1,2,3,5,6,7,9,11,12} {1,2,3,4,6,7,9,11,12} {2,3,4,5,6,7,8,11,12} {1,3,4,5,6,7,8,11,12} {1,2,4,5,6,7,8,11,12} {1,2,3,5,6,7,8,11,12} {1,2,3,4,6,7,8,11,12} {1,2,3,4,5,7,8,11,12} {1,2,3,4,5,6,8,11,12} {1,2,3,4,5,6,7,11,12} {2,3,4,5,7,8,9,10,12} {1,3,4,5,7,8,9,10,12} {1,2,4,5,7,8,9,10,12} {1,2,3,5,7,8,9,10,12} {1,2,3,4,7,8,9,10,12} {2,3,4,5,6,8,9,10,12} {1,3,4,5,6,8,9,10,12} {1,2,4,5,6,8,9,10,12} {1,2,3,5,6,8,9,10,12} {1,2,3,4,6,8,9,10,12} {2,3,4,5,6,7,9,10,12} {1,3,4,5,6,7,9,10,12} {1,2,4,5,6,7,9,10,12} {1,2,3,5,6,7,9,10,12} {1,2,3,4,6,7,9,10,12} {2,3,4,5,6,7,8,10,12} {1,3,4,5,6,7,8,10,12} {1,2,4,5,6,7,8,10,12} {1,2,3,5,6,7,8,10,12} {1,2,3,4,6,7,8,10,12} {1,2,3,4,5,7,8,10,12} {1,2,3,4,5,6,8,10,12} {1,2,3,4,5,6,7,10,12} {2,3,4,5,7,8,9,10,11} {1,3,4,5,7,8,9,10,11} {1,2,4,5,7,8,9,10,11} {1,2,3,5,7,8,9,10,11} {1,2,3,4,7,8,9,10,11} {2,3,4,5,6,8,9,10,11} {1,3,4,5,6,8,9,10,11} {1,2,4,5,6,8,9,10,11} {1,2,3,5,6,8,9,10,11} {1,2,3,4,6,8,9,10,11} {2,3,4,5,6,7,9,10,11} {1,3,4,5,6,7,9,10,11} {1,2,4,5,6,7,9,10,11} {1,2,3,5,6,7,9,10,11} {1,2,3,4,6,7,9,10,11} {2,3,4,5,6,7,8,10,11} {1,3,4,5,6,7,8,10,11} {1,2,4,5,6,7,8,10,11} {1,2,3,5,6,7,8,10,11} {1,2,3,4,6,7,8,10,11} {1,2,3,4,5,7,8,10,11} {1,2,3,4,5,6,8,10,11} {1,2,3,4,5,6,7,10,11} {1,2,3,4,5,7,8,9,11} {1,2,3,4,5,6,8,9,11} {1,2,3,4,5,6,7,9,11} {1,2,3,4,5,6,7,8,11} {1,2,3,4,5,7,8,9,10} {1,2,3,4,5,6,8,9,10} {1,2,3,4,5,6,7,9,10} {1,2,3,4,5,6,7,8,10}

Loops: none. Parallel classes of size > 1: {1,2,3,4,5} {6,7,8} {10,11}.

Downloads