def Hex.Conway.supportedEntry_17_1 : SupportedEntry 17 1

The verified table supports C(17, 1).

Equations

• Hex.Conway.supportedEntry_17_1 = { poly := Hex.Conway.luebeckConwayPolynomial_17_1, prime := Hex.Conway.prime_17, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_17_1 }

def Hex.Conway.supportedEntry_5_1 : SupportedEntry 5 1

The verified table supports C(5, 1).

Equations

• Hex.Conway.supportedEntry_5_1 = { poly := Hex.Conway.luebeckConwayPolynomial_5_1, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_1 }