Documentation

HexConway.Transport.S1_11

theorem Hex.Conway.ofCoeffs_853_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 853 [851, 1])

theorem Hex.Conway.ofCoeffs_853_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 853 [851, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_857_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 857 [3, 850, 1])

theorem Hex.Conway.ofCoeffs_859_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 859 [857, 1])

theorem Hex.Conway.ofCoeffs_859_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 859 [857, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_863_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 863 [5, 862, 1])

theorem Hex.Conway.ofCoeffs_877_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 877 [875, 1])

theorem Hex.Conway.ofCoeffs_877_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 877 [875, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_881_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 881 [3, 869, 1])

theorem Hex.Conway.ofCoeffs_883_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 883 [881, 1])

theorem Hex.Conway.ofCoeffs_883_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 883 [881, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_887_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 887 [5, 885, 1])

theorem Hex.Conway.ofCoeffs_907_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 907 [905, 1])

theorem Hex.Conway.ofCoeffs_907_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 907 [905, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_911_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 911 [17, 909, 1])

theorem Hex.Conway.ofCoeffs_919_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 919 [912, 1])

theorem Hex.Conway.ofCoeffs_919_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 919 [912, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_929_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 929 [3, 917, 1])

theorem Hex.Conway.ofCoeffs_937_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 937 [932, 1])

theorem Hex.Conway.ofCoeffs_937_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 937 [932, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_941_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 941 [2, 940, 1])

theorem Hex.Conway.ofCoeffs_947_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 947 [945, 1])

theorem Hex.Conway.ofCoeffs_947_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 947 [945, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_953_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 953 [3, 947, 1])