Documentation

HexConway.Transport.S1_2

theorem Hex.Conway.ofCoeffs_61_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 61 [59, 1])

theorem Hex.Conway.ofCoeffs_61_3_monic :

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

theorem Hex.Conway.ofCoeffs_67_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 67 [65, 1])

theorem Hex.Conway.ofCoeffs_67_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 67 [65, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_71_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 71 [64, 1])

theorem Hex.Conway.ofCoeffs_71_3_monic :

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

theorem Hex.Conway.ofCoeffs_73_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 73 [68, 1])

theorem Hex.Conway.ofCoeffs_73_3_monic :

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

theorem Hex.Conway.ofCoeffs_79_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 79 [76, 1])

theorem Hex.Conway.ofCoeffs_79_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 79 [76, 9, 0, 1])

theorem Hex.Conway.ofCoeffs_83_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 83 [81, 1])

theorem Hex.Conway.ofCoeffs_83_3_monic :

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

theorem Hex.Conway.ofCoeffs_89_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 89 [86, 1])

theorem Hex.Conway.ofCoeffs_89_3_monic :

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

theorem Hex.Conway.ofCoeffs_97_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 97 [92, 1])

theorem Hex.Conway.ofCoeffs_97_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 97 [92, 9, 0, 1])

theorem Hex.Conway.ofCoeffs_101_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 101 [99, 1])

theorem Hex.Conway.ofCoeffs_101_3_monic :

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

theorem Hex.Conway.ofCoeffs_103_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 103 [98, 1])

theorem Hex.Conway.ofCoeffs_103_3_monic :

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

theorem Hex.Conway.ofCoeffs_107_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 107 [105, 1])

theorem Hex.Conway.ofCoeffs_107_3_monic :

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

theorem Hex.Conway.ofCoeffs_109_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 109 [103, 1])

theorem Hex.Conway.ofCoeffs_109_3_monic :

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