Documentation

HexConway.Transport.S3_0

theorem Hex.Conway.ofCoeffs_2_2_monic :

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

theorem Hex.Conway.ofCoeffs_2_4_monic :

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

theorem Hex.Conway.ofCoeffs_2_6_monic :

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

theorem Hex.Conway.ofCoeffs_2_8_monic :

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

theorem Hex.Conway.ofCoeffs_2_10_monic :

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

theorem Hex.Conway.ofCoeffs_2_12_monic :

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

theorem Hex.Conway.ofCoeffs_2_14_monic :

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

theorem Hex.Conway.ofCoeffs_2_16_monic :

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

theorem Hex.Conway.ofCoeffs_3_2_monic :

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

theorem Hex.Conway.ofCoeffs_3_4_monic :

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

theorem Hex.Conway.ofCoeffs_3_6_monic :

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

theorem Hex.Conway.ofCoeffs_3_8_monic :

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

theorem Hex.Conway.ofCoeffs_5_2_monic :

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

theorem Hex.Conway.ofCoeffs_5_4_monic :

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

theorem Hex.Conway.ofCoeffs_5_6_monic :

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

theorem Hex.Conway.ofCoeffs_5_8_monic :

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

theorem Hex.Conway.ofCoeffs_7_2_monic :

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

theorem Hex.Conway.ofCoeffs_7_4_monic :

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

theorem Hex.Conway.ofCoeffs_7_6_monic :

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

theorem Hex.Conway.ofCoeffs_7_8_monic :

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

theorem Hex.Conway.ofCoeffs_11_2_monic :

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

theorem Hex.Conway.ofCoeffs_11_4_monic :

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

theorem Hex.Conway.ofCoeffs_11_6_monic :

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

theorem Hex.Conway.ofCoeffs_13_2_monic :

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