Factor

Documentation

type IntegerFactorer r = Config -> Integer -> r -> Verbose ([PrimePower], r)

data Config

Constructors

Config

Fields

• trialDivisionConfig :: Integer
• ecmConfig :: Config
• nfsConfig :: Config

Instances

Eq Config

Defined in Factor

Methods

(==) :: Config -> Config -> Bool

(/=) :: Config -> Config -> Bool

Ord Config

Defined in Factor

Methods

compare :: Config -> Config -> Ordering

(<) :: Config -> Config -> Bool

(<=) :: Config -> Config -> Bool

(>) :: Config -> Config -> Bool

(>=) :: Config -> Config -> Bool

max :: Config -> Config -> Config

min :: Config -> Config -> Config

Show Config

Defined in Factor

Methods

showsPrec :: Int -> Config -> ShowS

show :: Config -> String

showList :: [Config] -> ShowS

defaultConfig :: Config

powerInteger :: Integer -> Integer -> Maybe (Integer, Integer)

nfsFactorInteger :: RandomGen r => IntegerFactorer r

ecmFactorInteger :: RandomGen r => IntegerFactorer r

primeFactorInteger :: RandomGen r => IntegerFactorer r -> IntegerFactorer r

powerFactorInteger :: RandomGen r => IntegerFactorer r -> IntegerFactorer r

mergeFactorInteger :: RandomGen r => IntegerFactorer r -> Config -> Integer -> Integer -> r -> Verbose ([PrimePower], r)

factorInteger :: RandomGen r => IntegerFactorer r

factorZx :: Zx -> [(Zx, Integer)]

factorGfpx :: RandomGen r => Prime -> Gfpx -> r -> ([(Gfpx, Integer)], r)

factorValue :: RandomGen r => Config -> Value -> r -> Verbose (Term, r)