Documentation

HexConway.Transport.S1_5

theorem Hex.Conway.ofCoeffs_251_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 251 [245, 1])

theorem Hex.Conway.ofCoeffs_251_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 251 [245, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_257_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 257 [254, 1])

theorem Hex.Conway.ofCoeffs_257_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 257 [254, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_263_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 263 [258, 1])

theorem Hex.Conway.ofCoeffs_263_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 263 [258, 14, 0, 1])

theorem Hex.Conway.ofCoeffs_269_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 269 [267, 1])

theorem Hex.Conway.ofCoeffs_269_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 269 [267, 9, 0, 1])

theorem Hex.Conway.ofCoeffs_271_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 271 [265, 1])

theorem Hex.Conway.ofCoeffs_271_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 271 [265, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_277_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 277 [272, 1])

theorem Hex.Conway.ofCoeffs_277_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 277 [272, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_281_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 281 [278, 1])

theorem Hex.Conway.ofCoeffs_281_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 281 [278, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_283_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 283 [280, 1])

theorem Hex.Conway.ofCoeffs_283_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 283 [280, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_293_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 293 [291, 1])

theorem Hex.Conway.ofCoeffs_293_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 293 [291, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_307_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 307 [302, 1])

theorem Hex.Conway.ofCoeffs_307_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 307 [302, 7, 0, 1])

theorem Hex.Conway.ofCoeffs_311_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 311 [17, 310, 1])

theorem Hex.Conway.ofCoeffs_313_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 313 [303, 1])

theorem Hex.Conway.ofCoeffs_313_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 313 [303, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_317_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 317 [2, 313, 1])