Search

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.