Documentation

HexConway.Transport.S3_4

theorem Hex.Conway.ofCoeffs_181_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 181 [2, 177, 1])

theorem Hex.Conway.ofCoeffs_181_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 181 [2, 105, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_191_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 191 [19, 190, 1])

theorem Hex.Conway.ofCoeffs_191_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 191 [19, 100, 7, 0, 1])

theorem Hex.Conway.ofCoeffs_193_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 193 [5, 192, 1])

theorem Hex.Conway.ofCoeffs_193_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 193 [5, 148, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_197_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 197 [2, 192, 1])

theorem Hex.Conway.ofCoeffs_197_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 197 [2, 124, 16, 0, 1])

theorem Hex.Conway.ofCoeffs_199_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 199 [3, 193, 1])

theorem Hex.Conway.ofCoeffs_199_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 199 [3, 162, 7, 0, 1])

theorem Hex.Conway.ofCoeffs_211_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 211 [2, 207, 1])

theorem Hex.Conway.ofCoeffs_211_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 211 [2, 161, 8, 0, 1])

theorem Hex.Conway.ofCoeffs_223_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 223 [3, 221, 1])

theorem Hex.Conway.ofCoeffs_223_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 223 [3, 163, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_227_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 227 [2, 220, 1])

theorem Hex.Conway.ofCoeffs_227_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 227 [2, 143, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_229_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 229 [6, 228, 1])

theorem Hex.Conway.ofCoeffs_229_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 229 [6, 162, 7, 0, 1])

theorem Hex.Conway.ofCoeffs_233_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 233 [3, 232, 1])

theorem Hex.Conway.ofCoeffs_233_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 233 [3, 158, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_239_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 239 [7, 237, 1])

theorem Hex.Conway.ofCoeffs_239_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 239 [7, 132, 11, 0, 1])

theorem Hex.Conway.ofCoeffs_241_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 241 [7, 238, 1])

theorem Hex.Conway.ofCoeffs_241_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 241 [7, 152, 14, 0, 1])