Search
…or describe it by its bases, non-bases or lines
Any labeling of the ground set $\{1,\dots,n\}$ will do: we compute the canonical id .
Sets are written as {1,2,3}, one per line, or, when $n \le 9$, as digit strings such as
123 145. Lines are the lines with at least three points of a simple rank-3 matroid.
A revlex encoding is a string of * and 0.
Size
rank
n
Invariants
Bases Automorphisms Dimension of realization space Girth Expected dimension over ℤ Components of realization space over ℚ Components of realization space over ℚ̄
Realizability
realizable any yes no unknown
in char 0 any yes no unknown
realizable in characteristic
char set class any cofinite finite empty unknown
birational type any unknown rational empty rational over Q(a)/(a^2 - a + 1) point over Q(a)/(a^3 - a^2 + 1) genus 1 curve (11a3) point over Q(a)/(a^2 - a - 1) point over Q(a)/(a^2 - a + 1) point over Q(a)/(a^2 + 1) point over Q(a)/(a^2 - 2) rational over Q(a)/(a^2 - a - 1) K3 surface genus 1 curve (14a4) genus 1 curve (15a8) point over Q(a)/(a^2 - a + 2) rational over Q(a)/(a^2 + 1) curve of genus 2 point over Q(a)/(a^3 + a - 1) genus 1 curve (37a1) point over Q(a)/(a^3 - a^2 + a + 1) point over Q(a)/(a^3 - a^2 - 2*a + 1) point over Q(a)/(a^4 - a^3 - a^2 + a + 1) genus 1 curve (17a4) rational over Q(a)/(a^3 - a^2 + 1) point over Q(a)/(a^2 - 3) genus 1 curve (43a1) point over Q(a)/(a^4 - a - 1) genus 1 curve (20a2) genus 1 curve (11a3) x P^1 point over Q(a)/(a^2 - a - 4) genus 1 curve (53a1) point over Q(a)/(a^4 - a^3 + a^2 - a + 1) genus 1 curve (19a3) rational over Q(a)/(a^2 - 2) point over Q(a)/(a^4 - a^3 + 2*a - 1) genus 1 curve (58a1) point over Q(a)/(a^3 + 2*a - 1) point over Q(a)/(a^2 + 2) point over Q(a)/(a^4 + a^2 - a + 1) point over Q(a)/(a^4 - a^3 + a^2 + a - 1) point over Q(a)/(a^4 - a^2 + 1) genus 1 curve (65a1) curve of genus 3 K3 surface x P^1 point over Q(a)/(a^3 - a - 2) genus 1 curve (14a4) x P^1 genus 1 curve (24a4) point over Q(a)/(a^4 - a^3 + 2*a + 1) point over Q(a)/(a^3 - 2*a - 2) point over Q(a)/(a^3 - 3*a - 1) Calabi-Yau threefold (elliptic over P^1 x P^1, K trivial; kappa = 0, not rational) point over Q(a)/(a^5 - a^3 - a^2 + a + 1) genus 1 curve (27a3) genus 1 curve (15a8) x P^1 ruled over the genus 1 curve 11a3 genus 1 curve rational over Q(a)/(a^2 - a + 2) point over Q(a)/(a^5 - a^4 + a^2 - a + 1) genus 1 curve (37a1) x P^1 genus 1 curve (61a1) point over Q(a)/(a^4 + 1) rational over Q(a)/(a^3 - a^2 + a + 1) point over Q(a)/(a^5 - a^4 + a^3 - 2*a^2 + a - 1) genus 1 curve (21a4) point over Q(a)/(a^4 - a + 1) point over Q(a)/(a^3 - a^2 - 2) genus 1 curve (57a1) point over Q(a)/(a^3 - a^2 - 3*a + 1) point over Q(a)/(a^4 - a^3 - a^2 + 3*a - 1) point over Q(a)/(a^4 - 2*a - 1) point over Q(a)/(a^4 - 2*a^3 + 2) point over Q(a)/(a^2 - a - 3) point over Q(a)/(a^4 - a^3 - a^2 - a + 1) rational over Q(a)/(a^3 - a^2 - 2*a + 1) genus 1 curve (92b1) genus 1 curve (32a2) point over Q(a)/(a^2 - a + 4) genus 1 curve (34a1) point over Q(a)/(a^4 - a^3 + a^2 - a - 1) genus 1 curve (26b1) point over Q(a)/(a^4 - a^3 - 3*a^2 + a + 1) rational over Q(a)/(a^4 - a^3 + a^2 - a + 1) genus 1 curve (79a1) ruled over the genus 1 curve 15a8 point over Q(a)/(a^5 - 2*a^4 + 2*a^3 - a^2 + 1) genus 1 curve (101a1) genus 1 curve (38b1) genus 1 curve (82a1) genus 1 curve (11a3) x P^2 point over Q(a)/(a^4 - 2*a^3 + a^2 - a - 1) genus 1 curve (89a1) uniruled elliptic threefold over P^1 x P^1, K_B + L = O(0,-1) - 0E (rationality undetermined) point over Q(a)/(a^4 - a^3 + a + 1) point over Q(a)/(a^4 - 2*a^3 + a^2 - 2*a + 1) point over Q(a)/(a^2 - a - 8) genus 1 curve (36a1) point over Q(a)/(a^3 - 2) point over Q(a)/(a^4 - a^2 - 1) point over Q(a)/(a^3 - a^2 + a - 2) point over Q(a)/(a^5 - a^3 - 2*a^2 + 1) genus 1 curve (83a1) point over Q(a)/(a^3 - a^2 - 2*a - 2) genus 1 curve (26a3) genus 1 curve (124a1) point over Q(a)/(a^3 - a^2 + 2*a + 1) point over Q(a)/(a^5 - a^4 + a^3 - a^2 - 1) genus 1 curve (102a1) K3 surface x P^2 genus 1 curve (24a1) genus 1 curve (35a3) genus 1 curve (39a4) point over Q(a)/(a^5 - a^4 + a^3 - a^2 + 2*a - 1) point over Q(a)/(a^5 + a^3 - 2*a^2 - 1) point over Q(a)/(a^4 + 2*a^2 - 2*a + 1) genus 1 curve (131a1) genus 1 curve (62a1) genus 1 curve (99a1) curve of genus 4 point over Q(a)/(a^6 - a^5 - a^2 + a + 1) ruled over the genus 1 curve 14a4 uniruled elliptic threefold over P^1 x P^1, K_B + L = O(-1,-1) - 0E (rationality undetermined) point over Q(a)/(a^2 - 7) point over Q(a)/(a^5 + 2*a^3 - a^2 + 2*a - 1) uniruled elliptic threefold over P^1 x P^1, K_B + L = O(0,0) - 1E (rationality undetermined) point over Q(a)/(a^6 - a^5 + 2*a^4 - 2*a^3 + 2*a^2 - 2*a + 1) genus 1 curve (40a3) genus 1 curve (14a4) x P^2 genus 1 curve (155c1) point over Q(a)/(a^5 - a^4 - a^3 + 2*a^2 - a - 1) genus 1 curve (15a8) x P^2 point over Q(a)/(a^4 - 2*a^2 - 1) point over Q(a)/(a^5 - a^4 - a^3 + 3*a^2 - 1) genus 1 curve (42a1) point over Q(a)/(a^4 - a^3 + 2*a^2 - 2*a + 2) point over Q(a)/(a^3 - a^2 - 4*a + 2) point over Q(a)/(a^3 - a^2 + a - 3) point over Q(a)/(a^7 + a^5 - a^4 + a^3 - a^2 + a - 1) point over Q(a)/(a^5 - a^2 - 1) point over Q(a)/(a^5 - a^4 + 2*a^2 - a + 1) genus 1 curve (37a1) x P^2 point over Q(a)/(a^5 - 2*a^2 - 2*a - 1) ruled over the genus 1 curve 37a1 point over Q(a)/(a^5 + a^3 - 2*a^2 - a - 1) point over Q(a)/(a^5 - a^4 - a^3 + 2*a + 1) point over Q(a)/(a^4 - a^3 - 2*a^2 - a + 1) point over Q(a)/(a^5 - a^4 + a + 1) genus 1 curve (389a1) point over Q(a)/(a^4 - 2*a^3 + 5*a^2 - 4*a + 2) point over Q(a)/(a^5 - 2*a^2 - 1) point over Q(a)/(a^4 - a^2 - 3*a - 1) point over Q(a)/(a^5 - 2*a^4 + 2*a^3 - 2*a + 2) point over Q(a)/(a^4 - 2*a^3 + a^2 - 2) point over Q(a)/(a^6 + 2*a^4 - a^3 + 2*a^2 + 1) genus 1 curve (55a4) point over Q(a)/(a^7 - a^5 - 2*a^4 + a^3 + 2*a^2 - a - 1) point over Q(a)/(a^6 - a^5 - a^4 + 2*a^3 - a + 1) genus 1 curve (118a1) genus 1 curve (141d1) genus 1 curve (48a4) point over Q(a)/(a^6 - a^5 - 2*a^4 + 2*a^3 - 2*a + 1) point over Q(a)/(a^6 - 2*a^4 - a^3 + 2*a + 1) genus 1 curve (158a1) genus 1 curve (91b1) point over Q(a)/(a^6 - a^5 + 4*a^3 - 2*a^2 - 2*a + 1) point over Q(a)/(a^6 - a^5 + a^4 + 2*a^3 - 4*a^2 + 3*a - 1) point over Q(a)/(a^6 - a^5 - a - 1) point over Q(a)/(a^6 - a^5 + a^4 - a^3 + a^2 - a + 1) point over Q(a)/(a^4 - 2*a^3 - 2*a + 1) point over Q(a)/(a^4 - a^3 + 2*a^2 - a + 2) point over Q(a)/(a^6 - 2*a^5 + 2*a^4 - 2*a^2 + 3*a - 1) point over Q(a)/(a^5 + a^3 + a - 1) genus 1 curve (15a3) point over Q(a)/(a^5 - 2*a^4 + 2*a^3 - 2*a^2 - 1) genus 1 curve x P^1 point over Q(a)/(a^5 - a^4 + 2*a^3 - a^2 + 1) point over Q(a)/(a^5 - a^4 + 2*a^3 - a^2 + 2*a - 1) genus 1 curve (433a1) point over Q(a)/(a^5 - 2*a^4 + a^3 + 2*a^2 - 2*a - 1) point over Q(a)/(a^4 - 2*a^3 - a^2 + 2*a + 2) point over Q(a)/(a^4 - 4*a^2 + 1) point over Q(a)/(a^4 - a^3 - 2*a^2 + 3) point over Q(a)/(a^3 - a^2 - 4*a - 1) point over Q(a)/(a^6 - a^5 + a^4 - 2*a^2 + a - 1) point over Q(a)/(a^4 - a^2 - 2*a + 1) genus 1 curve (88a1) point over Q(a)/(a^2 - a + 6) point over Q(a)/(a^6 - a^5 + 2*a^4 - 3*a^3 + 2*a^2 - a + 1) point over Q(a)/(a^5 - a^4 - 4*a^2 + 3*a + 2) point over Q(a)/(a^5 - a - 1) point over Q(a)/(a^3 - a^2 + 4*a - 2) uniruled elliptic threefold over P^1 x P^1, K_B + L = O(-1,0) - 0E (rationality undetermined) genus 1 curve (196a1)
Properties
Simple any yes no unknown Connected any yes no unknown Paving any yes no unknown Uniform any yes no unknown Regular any yes no unknown Binary any yes no unknown Ternary any yes no unknown Quaternary any yes no unknown Graphic any yes no unknown Transversal any yes no unknown Series parallel any yes no unknown Self dual any yes no unknown Orientable any yes no unknown Supersolvable any yes no unknown Three lines any yes no unknown Free realization space any yes no unknown Realization space: smooth over ℤ any yes no unknown Realization space: is regular scheme any yes no unknown
Search reset
32,400,859 matroids, showing 20,551–20,600