Documentation

HexConway.Transport.S3_1

theorem Hex.Conway.ofCoeffs_13_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 13 [2, 12, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_13_6_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 13 [2, 11, 11, 10, 0, 0, 1])

theorem Hex.Conway.ofCoeffs_17_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 17 [3, 16, 1])

theorem Hex.Conway.ofCoeffs_17_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 17 [3, 10, 7, 0, 1])

theorem Hex.Conway.ofCoeffs_19_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 19 [2, 18, 1])

theorem Hex.Conway.ofCoeffs_19_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 19 [2, 11, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_23_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 23 [5, 21, 1])

theorem Hex.Conway.ofCoeffs_23_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 23 [5, 19, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_29_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 29 [2, 24, 1])

theorem Hex.Conway.ofCoeffs_29_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 29 [2, 15, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_31_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 31 [3, 29, 1])

theorem Hex.Conway.ofCoeffs_31_4_monic :

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

theorem Hex.Conway.ofCoeffs_37_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 37 [2, 33, 1])

theorem Hex.Conway.ofCoeffs_37_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 37 [2, 24, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_41_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 41 [6, 38, 1])

theorem Hex.Conway.ofCoeffs_41_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 41 [6, 23, 0, 0, 1])

theorem Hex.Conway.ofCoeffs_43_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 43 [3, 42, 1])

theorem Hex.Conway.ofCoeffs_43_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 43 [3, 42, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_47_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 47 [5, 45, 1])

theorem Hex.Conway.ofCoeffs_47_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 47 [5, 40, 8, 0, 1])

theorem Hex.Conway.ofCoeffs_53_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 53 [2, 49, 1])

theorem Hex.Conway.ofCoeffs_53_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 53 [2, 38, 9, 0, 1])

theorem Hex.Conway.ofCoeffs_59_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 59 [2, 58, 1])

theorem Hex.Conway.ofCoeffs_59_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 59 [2, 40, 2, 0, 1])