Oriented Knots
YakDB catalogue with explicit orientation and mirror conventions. Unresolved equivalences are retained.
Versioned data, explicit types, and reproducible computations. Schema verification checks structure; mathematical certification requires separate checked evidence.
Unoriented Knots
YakDB catalogue with explicit orientation and mirror conventions. Unresolved equivalences are retained.
Unoriented Mirror Classes
YakDB catalogue with explicit orientation and mirror conventions. Unresolved equivalences are retained.
Regina12
YakDB catalogue with explicit orientation and mirror conventions. Unresolved equivalences are retained.
FL/HFL Links
Computations of link Floer homology and F_L expansions, with associated polytope data.
Gukov-Manolescu series (F_K)
This table contains the the first few terms of the Gukov-Manolescu series under the column fk_polynomial. The braid and inversion datum used to compute the inverted state sum are listed under braid and inversion_data.
Gukov-Manolescu series (F_K) for most nice Links up to 9 crossings
This table contains the first few terms (degree 9 for 2 component, degree 6 for most 3 components) of the Gukov-Manolescu series for links under the column fk_polynomial. The braid and sign diagram used to compute the invariant are listed under braid and sign_diagram.
Gukov-Manolescu series (F_K) for most nice Links of 10 crossings
This table contains the first few terms (degree 10 for 2 component, degree 6 for most 3 components) of the Gukov-Manolescu series for links under the column fk_polynomial. The braid and sign diagram used to compute the invariant are listed under braid and sign_diagram.
Normalized braids
Canonical braids up to 10 crossings, lexicographically minimal among cyclic rotations and mirror images, with each generator appearing at least twice.