Documentation

HexConway.Transport.S2_2

theorem Hex.Conway.ofCoeffs_61_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 61 [2, 60, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_61_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 61 [2, 40, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_67_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 67 [2, 63, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_67_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 67 [2, 54, 8, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_71_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 71 [7, 69, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_71_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 71 [7, 41, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_73_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 73 [5, 70, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_73_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 73 [5, 56, 16, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_79_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 79 [3, 78, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_79_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 79 [3, 66, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_83_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 83 [2, 82, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_83_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 83 [2, 42, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_89_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 89 [3, 82, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_89_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 89 [3, 72, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_97_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 97 [5, 96, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_97_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 97 [5, 80, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_101_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 101 [2, 97, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_101_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 101 [2, 78, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_103_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 103 [5, 102, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_103_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 103 [5, 88, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_107_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 107 [2, 103, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_107_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 107 [2, 79, 13, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_109_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 109 [6, 108, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_109_4_irreducible :

(luebeckConwayPolynomialOfCoeffs 109 [6, 98, 11, 0, 1]).Irreducible