Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data PolynomialDegree Source #
Instances
Eq PolynomialDegree Source # | |
Defined in Factor.Nfs (==) :: PolynomialDegree -> PolynomialDegree -> Bool # (/=) :: PolynomialDegree -> PolynomialDegree -> Bool # | |
Ord PolynomialDegree Source # | |
Defined in Factor.Nfs compare :: PolynomialDegree -> PolynomialDegree -> Ordering # (<) :: PolynomialDegree -> PolynomialDegree -> Bool # (<=) :: PolynomialDegree -> PolynomialDegree -> Bool # (>) :: PolynomialDegree -> PolynomialDegree -> Bool # (>=) :: PolynomialDegree -> PolynomialDegree -> Bool # max :: PolynomialDegree -> PolynomialDegree -> PolynomialDegree # min :: PolynomialDegree -> PolynomialDegree -> PolynomialDegree # | |
Show PolynomialDegree Source # | |
Defined in Factor.Nfs showsPrec :: Int -> PolynomialDegree -> ShowS # show :: PolynomialDegree -> String # showList :: [PolynomialDegree] -> ShowS # |
data PolynomialBase Source #
Instances
Eq PolynomialBase Source # | |
Defined in Factor.Nfs (==) :: PolynomialBase -> PolynomialBase -> Bool # (/=) :: PolynomialBase -> PolynomialBase -> Bool # | |
Ord PolynomialBase Source # | |
Defined in Factor.Nfs compare :: PolynomialBase -> PolynomialBase -> Ordering # (<) :: PolynomialBase -> PolynomialBase -> Bool # (<=) :: PolynomialBase -> PolynomialBase -> Bool # (>) :: PolynomialBase -> PolynomialBase -> Bool # (>=) :: PolynomialBase -> PolynomialBase -> Bool # max :: PolynomialBase -> PolynomialBase -> PolynomialBase # min :: PolynomialBase -> PolynomialBase -> PolynomialBase # | |
Show PolynomialBase Source # | |
Defined in Factor.Nfs showsPrec :: Int -> PolynomialBase -> ShowS # show :: PolynomialBase -> String # showList :: [PolynomialBase] -> ShowS # |
data PolynomialCoeff Source #
Instances
Eq PolynomialCoeff Source # | |
Defined in Factor.Nfs (==) :: PolynomialCoeff -> PolynomialCoeff -> Bool # (/=) :: PolynomialCoeff -> PolynomialCoeff -> Bool # | |
Ord PolynomialCoeff Source # | |
Defined in Factor.Nfs compare :: PolynomialCoeff -> PolynomialCoeff -> Ordering # (<) :: PolynomialCoeff -> PolynomialCoeff -> Bool # (<=) :: PolynomialCoeff -> PolynomialCoeff -> Bool # (>) :: PolynomialCoeff -> PolynomialCoeff -> Bool # (>=) :: PolynomialCoeff -> PolynomialCoeff -> Bool # max :: PolynomialCoeff -> PolynomialCoeff -> PolynomialCoeff # min :: PolynomialCoeff -> PolynomialCoeff -> PolynomialCoeff # | |
Show PolynomialCoeff Source # | |
Defined in Factor.Nfs showsPrec :: Int -> PolynomialCoeff -> ShowS # show :: PolynomialCoeff -> String # showList :: [PolynomialCoeff] -> ShowS # |
data PolynomialConfig Source #
Instances
Eq PolynomialConfig Source # | |
Defined in Factor.Nfs (==) :: PolynomialConfig -> PolynomialConfig -> Bool # (/=) :: PolynomialConfig -> PolynomialConfig -> Bool # | |
Ord PolynomialConfig Source # | |
Defined in Factor.Nfs compare :: PolynomialConfig -> PolynomialConfig -> Ordering # (<) :: PolynomialConfig -> PolynomialConfig -> Bool # (<=) :: PolynomialConfig -> PolynomialConfig -> Bool # (>) :: PolynomialConfig -> PolynomialConfig -> Bool # (>=) :: PolynomialConfig -> PolynomialConfig -> Bool # max :: PolynomialConfig -> PolynomialConfig -> PolynomialConfig # min :: PolynomialConfig -> PolynomialConfig -> PolynomialConfig # | |
Show PolynomialConfig Source # | |
Defined in Factor.Nfs showsPrec :: Int -> PolynomialConfig -> ShowS # show :: PolynomialConfig -> String # showList :: [PolynomialConfig] -> ShowS # |
fixedPolynomialConfig :: Zx -> Integer -> PolynomialConfig Source #
selectPolynomialDegree :: PolynomialDegree -> Integer -> Int Source #
selectPolynomialBase :: PolynomialBase -> Integer -> Int -> Integer Source #
selectPolynomialCoeff :: PolynomialCoeff -> Integer -> Int -> Integer -> [Integer] Source #
selectPolynomial :: PolynomialConfig -> Integer -> (Zx, Integer) Source #
type FactorBase = [Prime] Source #
data FactorBaseConfig Source #
Instances
Eq FactorBaseConfig Source # | |
Defined in Factor.Nfs (==) :: FactorBaseConfig -> FactorBaseConfig -> Bool # (/=) :: FactorBaseConfig -> FactorBaseConfig -> Bool # | |
Ord FactorBaseConfig Source # | |
Defined in Factor.Nfs compare :: FactorBaseConfig -> FactorBaseConfig -> Ordering # (<) :: FactorBaseConfig -> FactorBaseConfig -> Bool # (<=) :: FactorBaseConfig -> FactorBaseConfig -> Bool # (>) :: FactorBaseConfig -> FactorBaseConfig -> Bool # (>=) :: FactorBaseConfig -> FactorBaseConfig -> Bool # max :: FactorBaseConfig -> FactorBaseConfig -> FactorBaseConfig # min :: FactorBaseConfig -> FactorBaseConfig -> FactorBaseConfig # | |
Show FactorBaseConfig Source # | |
Defined in Factor.Nfs showsPrec :: Int -> FactorBaseConfig -> ShowS # show :: FactorBaseConfig -> String # showList :: [FactorBaseConfig] -> ShowS # |
maxFactorBase :: FactorBaseConfig -> Integer -> Integer Source #
destSmoothInteger :: FactorBase -> Integer -> Maybe Integer Source #
isSmoothInteger :: FactorBase -> Integer -> Bool Source #
notSmoothInteger :: FactorBase -> Integer -> Bool Source #
isSmoothNfzw :: Zx -> Integer -> FactorBase -> FactorBase -> Nfzw -> Bool Source #
smoothNfzw :: Zx -> Integer -> FactorBase -> FactorBase -> [Nfzw] Source #
data QuadraticCharacterConfig Source #
Instances
Eq QuadraticCharacterConfig Source # | |
Defined in Factor.Nfs | |
Ord QuadraticCharacterConfig Source # | |
Defined in Factor.Nfs compare :: QuadraticCharacterConfig -> QuadraticCharacterConfig -> Ordering # (<) :: QuadraticCharacterConfig -> QuadraticCharacterConfig -> Bool # (<=) :: QuadraticCharacterConfig -> QuadraticCharacterConfig -> Bool # (>) :: QuadraticCharacterConfig -> QuadraticCharacterConfig -> Bool # (>=) :: QuadraticCharacterConfig -> QuadraticCharacterConfig -> Bool # max :: QuadraticCharacterConfig -> QuadraticCharacterConfig -> QuadraticCharacterConfig # min :: QuadraticCharacterConfig -> QuadraticCharacterConfig -> QuadraticCharacterConfig # | |
Show QuadraticCharacterConfig Source # | |
Defined in Factor.Nfs showsPrec :: Int -> QuadraticCharacterConfig -> ShowS # show :: QuadraticCharacterConfig -> String # showList :: [QuadraticCharacterConfig] -> ShowS # |
gaussianElimination :: [Row] -> [[Int]] Source #
algebraicSquareRoot :: Integer -> Zx -> Integer -> Zx -> [Ideal] -> [Nfzw] -> (Integer -> Bool) -> Verbose (Maybe Integer) Source #