Documentation

HexConway.Transport.S3_2

theorem Hex.Conway.ofCoeffs_61_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 61 [2, 60, 1])

theorem Hex.Conway.ofCoeffs_61_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 61 [2, 40, 3, 0, 1])

theorem Hex.Conway.ofCoeffs_67_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 67 [2, 63, 1])

theorem Hex.Conway.ofCoeffs_67_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 67 [2, 54, 8, 0, 1])

theorem Hex.Conway.ofCoeffs_71_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 71 [7, 69, 1])

theorem Hex.Conway.ofCoeffs_71_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 71 [7, 41, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_73_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 73 [5, 70, 1])

theorem Hex.Conway.ofCoeffs_73_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 73 [5, 56, 16, 0, 1])

theorem Hex.Conway.ofCoeffs_79_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 79 [3, 78, 1])

theorem Hex.Conway.ofCoeffs_79_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 79 [3, 66, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_83_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 83 [2, 82, 1])

theorem Hex.Conway.ofCoeffs_83_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 83 [2, 42, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_89_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 89 [3, 82, 1])

theorem Hex.Conway.ofCoeffs_89_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 89 [3, 72, 4, 0, 1])

theorem Hex.Conway.ofCoeffs_97_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 97 [5, 96, 1])

theorem Hex.Conway.ofCoeffs_97_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 97 [5, 80, 6, 0, 1])

theorem Hex.Conway.ofCoeffs_101_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 101 [2, 97, 1])

theorem Hex.Conway.ofCoeffs_101_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 101 [2, 78, 1, 0, 1])

theorem Hex.Conway.ofCoeffs_103_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 103 [5, 102, 1])

theorem Hex.Conway.ofCoeffs_103_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 103 [5, 88, 2, 0, 1])

theorem Hex.Conway.ofCoeffs_107_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 107 [2, 103, 1])

theorem Hex.Conway.ofCoeffs_107_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 107 [2, 79, 13, 0, 1])

theorem Hex.Conway.ofCoeffs_109_2_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 109 [6, 108, 1])

theorem Hex.Conway.ofCoeffs_109_4_monic :

DensePoly.Monic (luebeckConwayPolynomialOfCoeffs 109 [6, 98, 11, 0, 1])