---

The row record type of Regina12. This describes the table's public columns, distinct from the mathematical object represented by a row.

The dataset primary key is name. The generated first column id : RowRef<Regina12Row> links to the row page using that key. It is not stored as a field in the record. String fields render as plain text.

type Regina12Row = {
    name: string
    knot_sig: string
    dt_code: string
    dt_name: string
    structure: string option
    yakdb_name: RowRef<UnorientedMirrorClassRow>
    yakdb_type: string
}

Column	Type	Meaning
name	string	The original Regina name and dataset primary key.
knot sig	string	The knot signature exactly as published by Regina.
dt code	string	The published alphabetical DT code.
dt name	string	The published DT catalogue name, preserving leading zeros.
structure	string option	The optional source structure description.
yakdb name	RowRef<UnorientedMirrorClassRow>	Reference to the corresponding YakDB unoriented mirror class.
yakdb type	string	The mathematical target type: UnorientedMirrorClass.

RowRef<T> refers to a row of type T, rather than embedding its record. Sets of row references contain clickable members in numeric knot order. Their ordering is for display only; distinct rows can still represent mathematically equivalent objects when identification is unresolved. T option distinguishes a value from None.

Regina12 source and interpretation