Documentation

HexConway.Transport.S3_3

theorem Hex.Conway.ofCoeffs_113_2_monic :

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

theorem Hex.Conway.ofCoeffs_113_4_monic :

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

theorem Hex.Conway.ofCoeffs_127_2_monic :

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

theorem Hex.Conway.ofCoeffs_127_4_monic :

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

theorem Hex.Conway.ofCoeffs_131_2_monic :

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

theorem Hex.Conway.ofCoeffs_131_4_monic :

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

theorem Hex.Conway.ofCoeffs_137_2_monic :

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

theorem Hex.Conway.ofCoeffs_137_4_monic :

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

theorem Hex.Conway.ofCoeffs_139_2_monic :

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

theorem Hex.Conway.ofCoeffs_139_4_monic :

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

theorem Hex.Conway.ofCoeffs_149_2_monic :

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

theorem Hex.Conway.ofCoeffs_149_4_monic :

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

theorem Hex.Conway.ofCoeffs_151_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 151 [6, 149, 1])

theorem Hex.Conway.ofCoeffs_151_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 151 [6, 89, 13, 0, 1])

theorem Hex.Conway.ofCoeffs_157_2_monic :

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

theorem Hex.Conway.ofCoeffs_157_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 157 [5, 136, 11, 0, 1])

theorem Hex.Conway.ofCoeffs_163_2_monic :

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

theorem Hex.Conway.ofCoeffs_163_4_monic :

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

theorem Hex.Conway.ofCoeffs_167_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 167 [5, 166, 1])

theorem Hex.Conway.ofCoeffs_167_4_monic :

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

theorem Hex.Conway.ofCoeffs_173_2_monic :

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

theorem Hex.Conway.ofCoeffs_173_4_monic :

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

theorem Hex.Conway.ofCoeffs_179_2_monic :

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

theorem Hex.Conway.ofCoeffs_179_4_monic :

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