Documentation

HexConway.Transport.S1_3

theorem Hex.Conway.ofCoeffs_113_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 113 [110, 1])

theorem Hex.Conway.ofCoeffs_113_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 113 [110, 8, 0, 1])

theorem Hex.Conway.ofCoeffs_127_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 127 [124, 1])

theorem Hex.Conway.ofCoeffs_127_3_monic :

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

theorem Hex.Conway.ofCoeffs_131_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 131 [129, 1])

theorem Hex.Conway.ofCoeffs_131_3_monic :

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

theorem Hex.Conway.ofCoeffs_137_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 137 [134, 1])

theorem Hex.Conway.ofCoeffs_137_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 137 [134, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_139_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 139 [137, 1])

theorem Hex.Conway.ofCoeffs_139_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 139 [137, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_149_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 149 [147, 1])

theorem Hex.Conway.ofCoeffs_149_3_monic :

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

theorem Hex.Conway.ofCoeffs_151_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 151 [145, 1])

theorem Hex.Conway.ofCoeffs_151_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 151 [145, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_157_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 157 [152, 1])

theorem Hex.Conway.ofCoeffs_157_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 157 [152, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_163_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 163 [161, 1])

theorem Hex.Conway.ofCoeffs_163_3_monic :

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

theorem Hex.Conway.ofCoeffs_167_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 167 [162, 1])

theorem Hex.Conway.ofCoeffs_167_3_monic :

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

theorem Hex.Conway.ofCoeffs_173_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 173 [171, 1])

theorem Hex.Conway.ofCoeffs_173_3_monic :

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

theorem Hex.Conway.ofCoeffs_179_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 179 [177, 1])

theorem Hex.Conway.ofCoeffs_179_3_monic :

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