Documentation

HexConway.Transport.S1_1

theorem Hex.Conway.ofCoeffs_13_3_monic :

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

theorem Hex.Conway.ofCoeffs_13_5_monic :

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

theorem Hex.Conway.ofCoeffs_17_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 17 [14, 1])

theorem Hex.Conway.ofCoeffs_17_3_monic :

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

theorem Hex.Conway.ofCoeffs_19_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 19 [17, 1])

theorem Hex.Conway.ofCoeffs_19_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 19 [17, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_23_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 23 [18, 1])

theorem Hex.Conway.ofCoeffs_23_3_monic :

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

theorem Hex.Conway.ofCoeffs_29_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 29 [27, 1])

theorem Hex.Conway.ofCoeffs_29_3_monic :

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

theorem Hex.Conway.ofCoeffs_31_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 31 [28, 1])

theorem Hex.Conway.ofCoeffs_31_3_monic :

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

theorem Hex.Conway.ofCoeffs_37_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 37 [35, 1])

theorem Hex.Conway.ofCoeffs_37_3_monic :

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

theorem Hex.Conway.ofCoeffs_41_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 41 [35, 1])

theorem Hex.Conway.ofCoeffs_41_3_monic :

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

theorem Hex.Conway.ofCoeffs_43_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 43 [40, 1])

theorem Hex.Conway.ofCoeffs_43_3_monic :

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

theorem Hex.Conway.ofCoeffs_47_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 47 [42, 1])

theorem Hex.Conway.ofCoeffs_47_3_monic :

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

theorem Hex.Conway.ofCoeffs_53_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 53 [51, 1])

theorem Hex.Conway.ofCoeffs_53_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 53 [51, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_59_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 59 [57, 1])

theorem Hex.Conway.ofCoeffs_59_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 59 [57, 5, 0, 1])