Documentation

factorCoeffBound :: Zx -> Integer Source #

monicGfpx :: Prime -> Zx -> Gfpx Source #

suitablePrime :: Zx -> Prime Source #

henselLiftQuadratic :: Zx -> (Integer, (Gfpx, Gfpx, Gfpx, Gfpx)) -> (Integer, (Gfpx, Gfpx, Gfpx, Gfpx)) Source #

henselLiftModulus :: Zx -> Prime -> (Int, Integer) Source #

henselLiftFactors :: Zx -> Prime -> Int -> [Gfpx] -> [Gfpx] Source #

recombineFactors :: Zx -> Integer -> [Gfpx] -> [Zx] Source #

factorSquareFree :: Zx -> [Zx] Source #

factorPrimitive :: Zx -> [(Zx, Integer)] Source #

factor :: Zx -> (Integer, [(Zx, Integer)]) Source #

irreducible :: Zx -> Bool Source #