Matroid database

Matroid 3.11.145343

Label3.11.145343
Idr3_n11_0000************0**********0****0**********0****0****************0*****0***********************0***********************0***************************0*0**********0****
Rank3
n11
1234567891011

Affine diagram.

Basic invariants

Bases149
Circuits221
Flats39
Cyclic flats15
Loops0
Connected components1
Automorphisms1
Beta invariant21
Girth3
Simpleyes
Connectedyes
Uniformnot computed
Looplessyes
Colooplessyes
Pavingyes
Laminarno
Nestedno
Self dualno
Identically self dualno
Series parallelno
Transversalno
Supersolvableno
Divisionally freeno
Orientableyes
Three linesyes

Representability

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

Realization space

Statuscomputed_realization_space
Dimension of realization space3
Expected dimension over ℤ1
Components of realization spacenot computed
Free realization spaceno
Principal idealyes
Birational typepoint over Q(a)/(a^4 - a^3 + a^2 - a - 1)
how determined: birational type method: point_field
Birational type components
show
[
 {
  "dim": 0,
  "free_rank": 0,
  "torus_rank": 0,
  "core_dim": 0,
  "qbar_components": 4,
  "type": "point over Q(a)/(a^4 - a^3 + a^2 - a - 1)",
  "field": "Q(a)/(a^4 - a^3 + a^2 - a - 1)",
  "minpoly": "T^4 - T^3 + T^2 - T - 1",
  "degree": 4,
  "core_vars": [
   "x1"
  ],
  "core_gens": [
   "x1^4 + x1^3 - x1^2 + x1 - 1"
  ]
 }
]
Good basis1,2,5
Good basis v22,3,5

Geometry

Realization space: scheme simple core idr3_n11_0000************0**********0****0**********0****0****************0*****0***********************0***********************0***************************0*0**********0****
Smooth char 0yes
Singular primes[563]
Realization space: smooth over ℚnot computed
Realization space: smooth over ℤno
how determined: smoothness method: certified_singular_fiber smoothness witness: 563
Realization space: is regular schemeyes
how determined: regularity method: direct_mixed_jacobian
Realization space: singular fiber primes[563]
how determined: singular fiber primes method: terminal_three_lines_integer_certificate
Realization space: singular fiber characteristicsnot computed
Realization space: characteristic dimensions
show
[
 {
  "p": 0,
  "d": 0
 }
]
how determined: characteristic dimensions method: cofinite_strong_groebner_candidates_exact
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} + 8 x_{0}^{2} + x_{0} x_{1}^{2} + 14 x_{0} x_{1} + 21 x_{0} + x_{1}^{8} + 3 x_{1}^{7} + 6 x_{1}^{6} + 10 x_{1}^{5} + 15 x_{1}^{4} + 21 x_{1}^{3} + 27 x_{1}^{2} + 21 x_{1}\)

Realization space

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

Combinatorics

Computed on the fly from the id.

Bases (149){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} {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} {3,5,7} {4,5,7} {1,6,7} {2,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} {4,5,8} {1,6,8} {2,6,8} {3,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} {1,6,9} {2,6,9} {3,6,9} {4,6,9} {5,6,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} {1,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} {1,8,10} {2,8,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} {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} {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} {5,8,11} {6,8,11} {1,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} {6,10,11} {7,10,11} {8,10,11} {9,10,11}
Non-bases (16){1,2,3} {1,2,4} {1,3,4} {2,3,4} {1,5,6} {2,5,7} {3,6,7} {3,5,8} {4,6,8} {4,5,9} {1,7,9} {2,6,10} {8,9,10} {7,8,11} {2,9,11} {5,10,11}
Circuits (221){1,2,3} {1,2,4} {1,3,4} {2,3,4} {1,5,6} {2,3,5,6} {2,4,5,6} {3,4,5,6} {2,5,7} {1,3,5,7} {1,4,5,7} {3,4,5,7} {1,2,6,7} {3,6,7} {1,4,6,7} {2,4,6,7} {4,5,6,7} {1,2,5,8} {3,5,8} {1,4,5,8} {2,4,5,8} {1,2,6,8} {1,3,6,8} {2,3,6,8} {4,6,8} {2,5,6,8} {1,2,7,8} {1,3,7,8} {2,3,7,8} {1,4,7,8} {2,4,7,8} {3,4,7,8} {1,5,7,8} {4,5,7,8} {1,6,7,8} {2,6,7,8} {5,6,7,8} {1,2,5,9} {1,3,5,9} {2,3,5,9} {4,5,9} {1,2,6,9} {1,3,6,9} {2,3,6,9} {1,4,6,9} {2,4,6,9} {3,4,6,9} {2,5,6,9} {3,5,6,9} {1,7,9} {2,3,7,9} {2,4,7,9} {3,4,7,9} {3,5,7,9} {2,6,7,9} {4,6,7,9} {5,6,7,9} {1,2,8,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} {1,6,8,9} {2,6,8,9} {3,6,8,9} {5,6,8,9} {2,7,8,9} {3,7,8,9} {4,7,8,9} {5,7,8,9} {6,7,8,9} {1,2,5,10} {1,3,5,10} {2,3,5,10} {1,4,5,10} {2,4,5,10} {3,4,5,10} {2,6,10} {1,3,6,10} {1,4,6,10} {3,4,6,10} {3,5,6,10} {4,5,6,10} {1,2,7,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} {3,5,7,10} {4,5,7,10} {1,6,7,10} {4,6,7,10} {5,6,7,10} {1,2,8,10} {1,3,8,10} {2,3,8,10} {1,4,8,10} {2,4,8,10} {3,4,8,10} {1,5,8,10} {2,5,8,10} {4,5,8,10} {1,6,8,10} {3,6,8,10} {5,6,8,10} {1,7,8,10} {2,7,8,10} {3,7,8,10} {4,7,8,10} {5,7,8,10} {6,7,8,10} {1,2,9,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} {1,6,9,10} {3,6,9,10} {4,6,9,10} {5,6,9,10} {2,7,9,10} {3,7,9,10} {4,7,9,10} {5,7,9,10} {6,7,9,10} {8,9,10} {1,2,5,11} {1,3,5,11} {2,3,5,11} {1,4,5,11} {2,4,5,11} {3,4,5,11} {1,2,6,11} {1,3,6,11} {2,3,6,11} {1,4,6,11} {2,4,6,11} {3,4,6,11} {2,5,6,11} {3,5,6,11} {4,5,6,11} {1,2,7,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} {3,5,7,11} {4,5,7,11} {1,6,7,11} {2,6,7,11} {4,6,7,11} {5,6,7,11} {1,2,8,11} {1,3,8,11} {2,3,8,11} {1,4,8,11} {2,4,8,11} {3,4,8,11} {1,5,8,11} {2,5,8,11} {4,5,8,11} {1,6,8,11} {2,6,8,11} {3,6,8,11} {5,6,8,11} {7,8,11} {2,9,11} {1,3,9,11} {1,4,9,11} {3,4,9,11} {1,5,9,11} {3,5,9,11} {1,6,9,11} {3,6,9,11} {4,6,9,11} {5,6,9,11} {3,7,9,11} {4,7,9,11} {5,7,9,11} {6,7,9,11} {1,8,9,11} {3,8,9,11} {4,8,9,11} {5,8,9,11} {6,8,9,11} {1,2,10,11} {1,3,10,11} {2,3,10,11} {1,4,10,11} {2,4,10,11} {3,4,10,11} {5,10,11} {1,6,10,11} {3,6,10,11} {4,6,10,11} {1,7,10,11} {2,7,10,11} {3,7,10,11} {4,7,10,11} {6,7,10,11} {1,8,10,11} {2,8,10,11} {3,8,10,11} {4,8,10,11} {6,8,10,11} {1,9,10,11} {3,9,10,11} {4,9,10,11} {6,9,10,11} {7,9,10,11}
Flats by rank (39)
Hyperplanes (26){1,2,3,4} {1,5,6} {4,7} {2,5,7} {3,6,7} {1,8} {2,8} {3,5,8} {4,6,8} {3,9} {4,5,9} {6,9} {1,7,9} {1,10} {3,10} {4,10} {2,6,10} {7,10} {8,9,10} {1,11} {3,11} {4,11} {6,11} {7,8,11} {2,9,11} {5,10,11}
Lines (13){1,2,3,4} {1,5,6} {2,5,7} {3,6,7} {3,5,8} {4,6,8} {4,5,9} {1,7,9} {2,6,10} {8,9,10} {7,8,11} {2,9,11} {5,10,11}
Dual (rank 8)

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

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

Loops: none. Parallel classes of size > 1: none.

Downloads