Documentation

HexConway.Transport.S3_8

theorem Hex.Conway.ofCoeffs_523_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 523 [2, 522, 1])

theorem Hex.Conway.ofCoeffs_541_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 541 [539, 1])

theorem Hex.Conway.ofCoeffs_541_3_monic :

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

theorem Hex.Conway.ofCoeffs_547_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 547 [2, 543, 1])

theorem Hex.Conway.ofCoeffs_557_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 557 [555, 1])

theorem Hex.Conway.ofCoeffs_557_3_monic :

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

theorem Hex.Conway.ofCoeffs_563_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 563 [2, 559, 1])

theorem Hex.Conway.ofCoeffs_569_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 569 [566, 1])

theorem Hex.Conway.ofCoeffs_569_3_monic :

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

theorem Hex.Conway.ofCoeffs_571_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 571 [3, 570, 1])

theorem Hex.Conway.ofCoeffs_577_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 577 [572, 1])

theorem Hex.Conway.ofCoeffs_577_3_monic :

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

theorem Hex.Conway.ofCoeffs_587_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 587 [2, 583, 1])

theorem Hex.Conway.ofCoeffs_593_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 593 [590, 1])

theorem Hex.Conway.ofCoeffs_593_3_monic :

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

theorem Hex.Conway.ofCoeffs_599_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 599 [7, 598, 1])

theorem Hex.Conway.ofCoeffs_601_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 601 [594, 1])

theorem Hex.Conway.ofCoeffs_601_3_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 601 [594, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_607_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 607 [3, 606, 1])

theorem Hex.Conway.ofCoeffs_613_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 613 [611, 1])

theorem Hex.Conway.ofCoeffs_613_3_monic :

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

theorem Hex.Conway.ofCoeffs_617_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 617 [3, 612, 1])

theorem Hex.Conway.ofCoeffs_619_1_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 619 [617, 1])

theorem Hex.Conway.ofCoeffs_619_3_monic :

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