Documentation

HexConway.Transport.S0_8

theorem Hex.Conway.ofCoeffs_523_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 523 [521, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_523_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 523 [521, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_541_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 541 [2, 537, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_547_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 547 [545, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_547_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 547 [545, 4, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_557_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 557 [2, 553, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_563_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 563 [561, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_563_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 563 [561, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_569_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 569 [3, 568, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_571_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 571 [568, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_571_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 571 [568, 8, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_577_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 577 [5, 572, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_587_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 587 [585, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_587_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 587 [585, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_593_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 593 [3, 592, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_599_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 599 [592, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_599_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 599 [592, 2, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_601_2_irreducible :

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

theorem Hex.Conway.ofCoeffs_607_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 607 [604, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_607_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 607 [604, 5, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_613_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 613 [2, 609, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_617_1_irreducible :

(luebeckConwayPolynomialOfCoeffs 617 [614, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_617_3_irreducible :

(luebeckConwayPolynomialOfCoeffs 617 [614, 3, 0, 1]).Irreducible

theorem Hex.Conway.ofCoeffs_619_2_irreducible :

(luebeckConwayPolynomialOfCoeffs 619 [2, 618, 1]).Irreducible