Matroid database

Matroid 3.12.31896539

Label3.12.31896539
Idr3_n12_000000000000000000000000000000000000000000000000000000000000000000**********0*****000000000000**********0*****00000000000000000000**********0*****00****************00000000000**********0*****00****************00000000000
Rank3
n12
1,2,3,4,56,7,89,1011,12

Affine diagram (real realization).

123456789101112

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

Basic invariants

Bases92
Circuits75
Flats12
Cyclic flats12
Loops0
Connected components1
Automorphisms5760
Beta invariant1
Girth2
Simpleno
Connectedyes
Uniformnot computed
Looplessyes
Colooplessyes
Pavingno
Laminaryes
Nestedno
Self dualno
Identically self dualno
Series parallelyes
Transversalno
Supersolvableno
Divisionally freeno
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,9

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 splitsfalse
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} + 4 x_{0}^{2} x_{1} + x_{0}^{2} + x_{0} x_{1}^{6} + 4 x_{0} x_{1}^{5} + 5 x_{0} x_{1}^{4} + 7 x_{0} x_{1}^{3} + 8 x_{0} x_{1}^{2} + 4 x_{0} x_{1} + x_{0} + x_{1}^{9} + 3 x_{1}^{8} + 6 x_{1}^{7} + 9 x_{1}^{6} + 10 x_{1}^{5} + 10 x_{1}^{4} + 8 x_{1}^{3} + 4 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 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 & 1\end{pmatrix}\)

Combinatorics

Computed on the fly from the id.

Bases (92){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} {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,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,10,11} {2,10,11} {3,10,11} {4,10,11} {5,10,11} {6,10,11} {7,10,11} {8,10,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} {1,10,12} {2,10,12} {3,10,12} {4,10,12} {5,10,12} {6,10,12} {7,10,12} {8,10,12}
Non-bases (128){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} {6,7,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,9,10} {2,9,10} {3,9,10} {4,9,10} {5,9,10} {6,9,10} {7,9,10} {8,9,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} {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} {9,10,12} {1,11,12} {2,11,12} {3,11,12} {4,11,12} {5,11,12} {6,11,12} {7,11,12} {8,11,12} {9,11,12} {10,11,12}
Circuits (75){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} {9,10} {1,6,9,11} {2,6,9,11} {3,6,9,11} {4,6,9,11} {5,6,9,11} {1,7,9,11} {2,7,9,11} {3,7,9,11} {4,7,9,11} {5,7,9,11} {1,8,9,11} {2,8,9,11} {3,8,9,11} {4,8,9,11} {5,8,9,11} {1,6,10,11} {2,6,10,11} {3,6,10,11} {4,6,10,11} {5,6,10,11} {1,7,10,11} {2,7,10,11} {3,7,10,11} {4,7,10,11} {5,7,10,11} {1,8,10,11} {2,8,10,11} {3,8,10,11} {4,8,10,11} {5,8,10,11} {1,6,9,12} {2,6,9,12} {3,6,9,12} {4,6,9,12} {5,6,9,12} {1,7,9,12} {2,7,9,12} {3,7,9,12} {4,7,9,12} {5,7,9,12} {1,8,9,12} {2,8,9,12} {3,8,9,12} {4,8,9,12} {5,8,9,12} {1,6,10,12} {2,6,10,12} {3,6,10,12} {4,6,10,12} {5,6,10,12} {1,7,10,12} {2,7,10,12} {3,7,10,12} {4,7,10,12} {5,7,10,12} {1,8,10,12} {2,8,10,12} {3,8,10,12} {4,8,10,12} {5,8,10,12} {11,12}
Flats by rank (12)
Hyperplanes (6){1,2,3,4,5,6,7,8} {1,2,3,4,5,9,10} {6,7,8,9,10} {1,2,3,4,5,11,12} {6,7,8,11,12} {9,10,11,12}
Lines (0)
Dual (rank 9)

Revlex encoding in this labeling (not canonicalized, so not linked): 00000000000****************00*****0**********00000000000****************00*****0**********00000000000000000000*****0**********000000000000*****0**********000000000000000000000000000000000000000000000000000000000000000000

Bases: {2,3,4,5,7,8,10,11,12} {1,3,4,5,7,8,10,11,12} {1,2,4,5,7,8,10,11,12} {1,2,3,5,7,8,10,11,12} {1,2,3,4,7,8,10,11,12} {2,3,4,5,6,8,10,11,12} {1,3,4,5,6,8,10,11,12} {1,2,4,5,6,8,10,11,12} {1,2,3,5,6,8,10,11,12} {1,2,3,4,6,8,10,11,12} {2,3,4,5,6,7,10,11,12} {1,3,4,5,6,7,10,11,12} {1,2,4,5,6,7,10,11,12} {1,2,3,5,6,7,10,11,12} {1,2,3,4,6,7,10,11,12} {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,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,6,7,8,9,12} {1,3,4,5,6,7,8,9,12} {1,2,4,5,6,7,8,9,12} {1,2,3,5,6,7,8,9,12} {1,2,3,4,6,7,8,9,12} {1,2,3,4,5,7,8,9,12} {1,2,3,4,5,6,8,9,12} {1,2,3,4,5,6,7,9,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} {2,3,4,5,6,7,8,9,11} {1,3,4,5,6,7,8,9,11} {1,2,4,5,6,7,8,9,11} {1,2,3,5,6,7,8,9,11} {1,2,3,4,6,7,8,9,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}

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

Downloads