Documentation

HexConway.Transport.S2_10

theorem Hex.Conway.ofCoeffs_739_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 739 [3, 734, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_743_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 743 [738, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_743_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 743 [738, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_751_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 751 [3, 749, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_757_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 757 [755, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_757_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 757 [755, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_761_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 761 [6, 758, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_769_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 769 [758, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_769_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 769 [758, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_773_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 773 [2, 772, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_787_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 787 [785, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_787_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 787 [785, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_797_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 797 [2, 793, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_809_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 809 [806, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_809_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 809 [806, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_811_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 811 [3, 806, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_821_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 821 [819, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_821_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 821 [819, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_823_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 823 [3, 821, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_827_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 827 [825, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_827_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 827 [825, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_829_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 829 [2, 828, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_839_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 839 [828, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_839_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 839 [828, 4, 0, 1]).Irreducible