Rational polygons database

Coverage

The database contains lattice polygons and rational polygons in the following ranges, up to affine unimodular equivalence. Here i is the number of interior lattice points. Polygons that can be realized in ℝ × [0, 1] (thin polygons) are only included where stated. Searches tell whether their results are complete.

Please let me know if you think references are missing!

DenominatorPolygonsReferences
1all polygons with i = 0[Kho97], [Koe91], [Sch03], [BS26, Theorem 1.1], [SB24a]
all polygons with i = 1–30[Cas12], [Spr24], [OEIS, A322343]; for i = 1 also [Bat85], [Rab89], [Koe91]; for i = 2 also [WD12]
all polygons with at most 50 lattice points, including thin ones[Koe91], [BS26, Section 7], [SB24e], [OEIS, A371917]
2all polygons with i = 0–9[BS26, Theorem 1.1], [SB24a], [SB24c], [HHK24]; for i = 1 also [OEIS, A379887]
maximal polygons with i = 0–40[BS26, Classifications 4.5 and 6.7], [SB24a], [SB24c]; for i = 0 also [AKW17]
3all polygons with i = 0–2[BS26, Theorem 1.1], [SB24a], [SB24d]; for i = 1 also [OEIS, A379887]
maximal polygons with i = 0–5[BS26, Classification 4.5 and Section 7], [SB24a], [SB24d]
4all polygons with i = 0–1[BS26, Theorem 1.1], [SB24a], [SB24b]; for i = 1 also [OEIS, A379887]
5all polygons with i = 0[BS26, Theorem 1.1], [SB24a]
maximal polygons with i = 1[BS26, Classification 5.5], [SB24b]
LDP polygons with i = 1[BS26, Classification 5.6], [SB24b], [OEIS, A379894]; see also [KKN10], [HHS26], [LDP]
6–10maximal polygons with i = 0–1[BS26, Classifications 4.5 and 5.5], [SB24a], [SB24b]
11–21maximal polygons with i = 0[BS26, Classification 4.5], [SB24a]

Additionally, the database contains all lattice polygons in a square of side length at most 8, i.e. all lattice polygons equivalent to a subpolygon of [0, 8]², including thin ones: [BK13], [BS26, Table 2.13], [SB24f], [OEIS, A374975].

References