Documentation

HexConway.Transport.S2_8

theorem Hex.Conway.ofCoeffs_523_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 523 [2, 522, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_541_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 541 [539, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_541_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 541 [539, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_547_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 547 [2, 543, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_557_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 557 [555, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_557_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 557 [555, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_563_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 563 [2, 559, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_569_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 569 [566, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_569_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 569 [566, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_571_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 571 [3, 570, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_577_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 577 [572, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_577_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 577 [572, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_587_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 587 [2, 583, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_593_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 593 [590, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_593_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 593 [590, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_599_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 599 [7, 598, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_601_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 601 [594, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_601_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 601 [594, 1, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_607_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 607 [3, 606, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_613_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 613 [611, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_613_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 613 [611, 6, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_617_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 617 [3, 612, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_619_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 619 [617, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_619_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 619 [617, 6, 0, 1]).Irreducible