Documentation

HexConway.Transport.S3_11

theorem Hex.Conway.ofCoeffs_853_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 853 [2, 852, 1])

theorem Hex.Conway.ofCoeffs_857_1_monic :

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

theorem Hex.Conway.ofCoeffs_857_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 857 [854, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_859_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 859 [2, 858, 1])

theorem Hex.Conway.ofCoeffs_863_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 863 [858, 1])

theorem Hex.Conway.ofCoeffs_863_3_monic :

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

theorem Hex.Conway.ofCoeffs_877_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 877 [2, 873, 1])

theorem Hex.Conway.ofCoeffs_881_1_monic :

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

theorem Hex.Conway.ofCoeffs_881_3_monic :

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

theorem Hex.Conway.ofCoeffs_883_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 883 [2, 879, 1])

theorem Hex.Conway.ofCoeffs_887_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 887 [882, 1])

theorem Hex.Conway.ofCoeffs_887_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 887 [882, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_907_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 907 [2, 903, 1])

theorem Hex.Conway.ofCoeffs_911_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 911 [894, 1])

theorem Hex.Conway.ofCoeffs_911_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 911 [894, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_919_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 919 [7, 910, 1])

theorem Hex.Conway.ofCoeffs_929_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 929 [926, 1])

theorem Hex.Conway.ofCoeffs_929_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 929 [926, 5, 0, 1])

theorem Hex.Conway.ofCoeffs_937_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 937 [5, 934, 1])

theorem Hex.Conway.ofCoeffs_941_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 941 [939, 1])

theorem Hex.Conway.ofCoeffs_941_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 941 [939, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_947_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 947 [2, 943, 1])

theorem Hex.Conway.ofCoeffs_953_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 953 [950, 1])

theorem Hex.Conway.ofCoeffs_953_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 953 [950, 7, 0, 1])