factor-1.6: Factoring integers and polynomials
Safe HaskellSafe-Inferred
LanguageHaskell2010

Factor.Util

Description

 

Documentation

type Factor f a = Either f a Source #

runFactor :: Show f => Factor f a -> a Source #

data Verbose a Source #

Constructors

ResultVerbose a 
CommentVerbose String (Verbose a) 

Instances

Instances details
Monad Verbose Source # 
Instance details

Defined in Factor.Util

Methods

(>>=) :: Verbose a -> (a -> Verbose b) -> Verbose b #

(>>) :: Verbose a -> Verbose b -> Verbose b #

return :: a -> Verbose a #

Functor Verbose Source # 
Instance details

Defined in Factor.Util

Methods

fmap :: (a -> b) -> Verbose a -> Verbose b #

(<$) :: a -> Verbose b -> Verbose a #

Applicative Verbose Source # 
Instance details

Defined in Factor.Util

Methods

pure :: a -> Verbose a #

(<*>) :: Verbose (a -> b) -> Verbose a -> Verbose b #

liftA2 :: (a -> b -> c) -> Verbose a -> Verbose b -> Verbose c #

(*>) :: Verbose a -> Verbose b -> Verbose b #

(<*) :: Verbose a -> Verbose b -> Verbose a #

timestampFormat :: String Source #

comment :: String -> Verbose () Source #

runQuiet :: Verbose a -> a Source #

runVerbose :: Verbose a -> IO a Source #

runTimestampVerbose :: Verbose a -> IO a Source #

isUnit :: Integer -> Bool Source #

divides :: Integer -> Integer -> Bool Source #

properDivisor :: Integer -> Integer -> Bool Source #

division :: Integer -> Integer -> (Integer, Integer) Source #

divisionClosest :: Integer -> Integer -> (Integer, Integer) Source #

exactQuotient :: Integer -> Integer -> Maybe Integer Source #

divPower :: Integer -> Integer -> (Integer, Integer) Source #

factorial :: Integer -> Integer Source #

egcd :: Integer -> Integer -> (Integer, (Integer, Integer)) Source #

coprime :: Integer -> Integer -> Bool Source #

chineseRemainder :: Integer -> Integer -> Integer -> Integer -> Integer Source #

nthRoot :: Integer -> Integer -> Integer Source #

nthRootClosest :: Integer -> Integer -> Integer Source #

destNthPower :: Integer -> Integer -> Maybe Integer Source #

isNthPower :: Integer -> Integer -> Bool Source #

destSquare :: Integer -> Maybe Integer Source #

isSquare :: Integer -> Bool Source #

type Width = Int Source #

bitsInteger :: Integer -> [Bool] Source #

widthInteger :: Integer -> Width Source #

widthIntegerToString :: Integer -> String Source #

uniformInteger :: RandomGen r => Width -> r -> (Integer, r) Source #

uniformOddInteger :: RandomGen r => Width -> r -> (Integer, r) Source #

type Log2Integer = Double Source #

type Log2Probability = Double Source #

log2 :: Double -> Double Source #

log2e :: Double Source #

log2Integer :: Integer -> Log2Integer Source #

logInteger :: Integer -> Double Source #

exp2Integer :: Log2Integer -> Integer Source #

data Residue Source #

Constructors

Residue 
NonResidue 
ZeroResidue 

Instances

Instances details
Eq Residue Source # 
Instance details

Defined in Factor.Util

Methods

(==) :: Residue -> Residue -> Bool #

(/=) :: Residue -> Residue -> Bool #

Ord Residue Source # 
Instance details

Defined in Factor.Util

Methods

compare :: Residue -> Residue -> Ordering #

(<) :: Residue -> Residue -> Bool #

(<=) :: Residue -> Residue -> Bool #

(>) :: Residue -> Residue -> Bool #

(>=) :: Residue -> Residue -> Bool #

max :: Residue -> Residue -> Residue #

min :: Residue -> Residue -> Residue #

Show Residue Source # 
Instance details

Defined in Factor.Util

Methods

showsPrec :: Int -> Residue -> ShowS #

show :: Residue -> String #

showList :: [Residue] -> ShowS #

multiplyResidue :: Residue -> Residue -> Residue Source #

jacobiSymbol :: Integer -> Integer -> Residue Source #

singleton :: a -> [a] Source #

doubleton :: a -> a -> [a] Source #

tripleton :: a -> a -> a -> [a] Source #

unfoldlN :: (b -> (a, b)) -> Int -> b -> ([a], b) Source #

unfoldrN :: (b -> (a, b)) -> Int -> b -> ([a], b) Source #

unabbrevList :: [String] -> String Source #

abbrevList :: String -> [String] -> String Source #

underline :: String -> String Source #

data Table Source #

Constructors

Table 

Fields

Instances

Instances details
Show Table Source # 
Instance details

Defined in Factor.Util

Methods

showsPrec :: Int -> Table -> ShowS #

show :: Table -> String #

showList :: [Table] -> ShowS #

fmtTable :: Table -> [[String]] -> String Source #

ppTable :: [[String]] -> String Source #