Documentation

HexConway.Transport.S1_0

theorem Hex.Conway.ofCoeffs_2_1_monic :

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

theorem Hex.Conway.ofCoeffs_2_3_monic :

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

theorem Hex.Conway.ofCoeffs_2_5_monic :

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

theorem Hex.Conway.ofCoeffs_2_7_monic :

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

theorem Hex.Conway.ofCoeffs_2_9_monic :

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

theorem Hex.Conway.ofCoeffs_2_11_monic :

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

theorem Hex.Conway.ofCoeffs_2_13_monic :

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

theorem Hex.Conway.ofCoeffs_2_15_monic :

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

theorem Hex.Conway.ofCoeffs_3_1_monic :

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

theorem Hex.Conway.ofCoeffs_3_3_monic :

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

theorem Hex.Conway.ofCoeffs_3_5_monic :

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

theorem Hex.Conway.ofCoeffs_3_7_monic :

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

theorem Hex.Conway.ofCoeffs_5_1_monic :

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

theorem Hex.Conway.ofCoeffs_5_3_monic :

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

theorem Hex.Conway.ofCoeffs_5_5_monic :

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

theorem Hex.Conway.ofCoeffs_5_7_monic :

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

theorem Hex.Conway.ofCoeffs_7_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 7 [4, 1])

theorem Hex.Conway.ofCoeffs_7_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 7 [4, 0, 6, 1])

theorem Hex.Conway.ofCoeffs_7_5_monic :

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

theorem Hex.Conway.ofCoeffs_7_7_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 7 [4, 6, 0, 0, 0, 0, 0, 1])

theorem Hex.Conway.ofCoeffs_11_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 11 [9, 1])

theorem Hex.Conway.ofCoeffs_11_3_monic :

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

theorem Hex.Conway.ofCoeffs_11_5_monic :

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

theorem Hex.Conway.ofCoeffs_13_1_monic :

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