Matroid database

Matroid 3.12.30796835

Label3.12.30796835
Idr3_n12_00000000000*********0*********00***0***********0*****0**0*************0*************0********************00*************0************************0****************0**0******************************0******0******00********
Rank3
n12
1,23456789101112

Affine diagram (real realization).

Basic invariants

Bases190
Circuits309
Flats43
Cyclic flats14
Loops0
Connected components1
Automorphisms2
Beta invariant23
Girth2
Simpleno
Connectedyes
Uniformnot computed
Looplessyes
Colooplessyes
Pavingno
Laminarno
Nestedno
Self dualno
Identically self dualno
Series parallelno
Transversalno
Supersolvableno
Divisionally freeno
Orientableyes
Three linesno

Representability

Characteristic setcharacteristic 0 and all primes [0]
Realizableyes
Realizable char0yes
Regularno
Binaryno
Ternaryno
Quaternaryno
Graphicno

Realization space

Statuscomputed_realization_space
Dimension of realization space10
Expected dimension over ℤ3
Components of realization spacenot computed
Free realization spaceyes
Principal idealyes
Birational typenot computed
Birational type componentsnot computed
Good basisnot computed
Good basis v21,4,7

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": 2
 }
]
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} + 8 x_{0}^{2} + x_{0} x_{1}^{3} + 5 x_{0} x_{1}^{2} + 15 x_{0} x_{1} + 23 x_{0} + x_{1}^{9} + 3 x_{1}^{8} + 6 x_{1}^{7} + 10 x_{1}^{6} + 15 x_{1}^{5} + 21 x_{1}^{4} + 27 x_{1}^{3} + 30 x_{1}^{2} + 23 x_{1}\)

Realization space

Ring\(\mathbb{Z}[x_{1}, x_{2}]\)
Defining ideal\(\left(0\right)\)
Inequations\(x_{2} \neq 0\), \(x_{1} x_{2}^{2} - x_{1} x_{2} + x_{1} + x_{2} - 1 \neq 0\), \(x_{1} \neq 0\), \(x_{1} x_{2} - x_{2} + 1 \neq 0\), \(x_{1} - 1 \neq 0\), \(x_{2} - 1 \neq 0\), \(x_{1} + x_{2} - 1 \neq 0\), \(x_{1} x_{2} + 1 \neq 0\), \(x_{1} x_{2}^{2} - x_{1} x_{2} + x_{1} - x_{2}^{2} + 2 x_{2} - 1 \neq 0\), \(x_{1} x_{2} - x_{1} + 1 \neq 0\), \(x_{1} x_{2}^{2} + x_{2} - 1 \neq 0\), \(x_{1} x_{2} + x_{2} - 1 \neq 0\), \(x_{1}^{2} x_{2} + x_{1} x_{2}^{2} - 2 x_{1} x_{2} + x_{1} + x_{2} - 1 \neq 0\), \(x_{1} + x_{2} \neq 0\), \(x_{1} + 1 \neq 0\)
Realization matrix\(\begin{pmatrix}0 & 0 & 1 & 1 & x_{2} - 1 & 0 & 0 & 1 & x_{1} x_{2}^{2} - x_{1} x_{2} + x_{2} - 1 & 1 & 1 & 1 \\ 1 & 1 & 1 & 0 & -x_{1} & 1 & 0 & 0 & -x_{1}^{2} x_{2} + x_{1} x_{2} - x_{1} & x_{1} & x_{1} & x_{1} x_{2} - x_{2} + 1 \\ 0 & 0 & 0 & 0 & 0 & -1 & 1 & 1 & -x_{1} x_{2} & 1 & x_{2} & x_{2}\end{pmatrix}\)

Combinatorics

Computed on the fly from the id.

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

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

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

Loops: none. Parallel classes of size > 1: {1,2}.

Downloads