Documentation

HexConway.Transport.S0_10

theorem Hex.Conway.ofCoeffs_739_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 739 [736, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_739_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 739 [736, 11, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_743_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 743 [5, 742, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_751_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 751 [748, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_751_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 751 [748, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_757_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 757 [2, 753, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_761_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 761 [755, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_761_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 761 [755, 12, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_769_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 769 [11, 765, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_773_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 773 [771, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_773_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 773 [771, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_787_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 787 [2, 786, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_797_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 797 [795, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_797_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 797 [795, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_809_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 809 [3, 799, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_811_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 811 [808, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_811_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 811 [808, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_821_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 821 [2, 816, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_823_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 823 [820, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_823_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 823 [820, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_827_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 827 [2, 821, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_829_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 829 [827, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_829_3_irreducible :

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

theorem Hex.Conway.ofCoeffs_839_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 839 [11, 838, 1]).Irreducible