Documentation

HexConway.Transport.S3_5

theorem Hex.Conway.ofCoeffs_251_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 251 [6, 242, 1])

theorem Hex.Conway.ofCoeffs_251_4_monic :

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

theorem Hex.Conway.ofCoeffs_257_2_monic :

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

theorem Hex.Conway.ofCoeffs_257_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 257 [3, 187, 16, 0, 1])

theorem Hex.Conway.ofCoeffs_263_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 263 [5, 261, 1])

theorem Hex.Conway.ofCoeffs_263_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 263 [5, 171, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_269_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 269 [2, 268, 1])

theorem Hex.Conway.ofCoeffs_269_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 269 [2, 262, 8, 0, 1])

theorem Hex.Conway.ofCoeffs_271_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 271 [6, 269, 1])

theorem Hex.Conway.ofCoeffs_271_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 271 [6, 205, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_277_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 277 [5, 274, 1])

theorem Hex.Conway.ofCoeffs_277_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 277 [5, 222, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_281_2_monic :

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

theorem Hex.Conway.ofCoeffs_281_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 281 [3, 176, 7, 0, 1])

theorem Hex.Conway.ofCoeffs_283_2_monic :

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

theorem Hex.Conway.ofCoeffs_283_4_monic :

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

theorem Hex.Conway.ofCoeffs_293_2_monic :

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

theorem Hex.Conway.ofCoeffs_293_4_monic :

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

theorem Hex.Conway.ofCoeffs_307_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 307 [5, 306, 1])

theorem Hex.Conway.ofCoeffs_311_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 311 [294, 1])

theorem Hex.Conway.ofCoeffs_311_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 311 [294, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_313_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 313 [10, 310, 1])

theorem Hex.Conway.ofCoeffs_317_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 317 [315, 1])

theorem Hex.Conway.ofCoeffs_317_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 317 [315, 7, 0, 1])