Documentation

HexConway.Transport.S1_4

theorem Hex.Conway.ofCoeffs_181_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 181 [179, 1])

theorem Hex.Conway.ofCoeffs_181_3_monic :

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

theorem Hex.Conway.ofCoeffs_191_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 191 [172, 1])

theorem Hex.Conway.ofCoeffs_191_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 191 [172, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_193_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 193 [188, 1])

theorem Hex.Conway.ofCoeffs_193_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 193 [188, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_197_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 197 [195, 1])

theorem Hex.Conway.ofCoeffs_197_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 197 [195, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_199_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 199 [196, 1])

theorem Hex.Conway.ofCoeffs_199_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 199 [196, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_211_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 211 [209, 1])

theorem Hex.Conway.ofCoeffs_211_3_monic :

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

theorem Hex.Conway.ofCoeffs_223_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 223 [220, 1])

theorem Hex.Conway.ofCoeffs_223_3_monic :

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

theorem Hex.Conway.ofCoeffs_227_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 227 [225, 1])

theorem Hex.Conway.ofCoeffs_227_3_monic :

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

theorem Hex.Conway.ofCoeffs_229_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 229 [223, 1])

theorem Hex.Conway.ofCoeffs_229_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 229 [223, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_233_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 233 [230, 1])

theorem Hex.Conway.ofCoeffs_233_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 233 [230, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_239_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 239 [232, 1])

theorem Hex.Conway.ofCoeffs_239_3_monic :

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

theorem Hex.Conway.ofCoeffs_241_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 241 [234, 1])

theorem Hex.Conway.ofCoeffs_241_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 241 [234, 1, 0, 1])