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

Factor.Term

Description

 

Documentation

type Index = Int Source #

type Var = String Source #

data Term Source #

Constructors

IntegerTerm Integer 
PrimeIndexTerm Index 
NumberWidthTerm Width 
PrimeWidthTerm Width 
CompositeWidthTerm Width 
NegateTerm Term 
AddTerm Term Term 
SubtractTerm Term Term 
MultiplyTerm Term Term 
ExpTerm Term Term 
VarTerm Var 
ModTerm Term Term 
LetTerm Var Term Term 

Instances

Instances details
Eq Term Source # 
Instance details

Defined in Factor.Term

Methods

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

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

Ord Term Source # 
Instance details

Defined in Factor.Term

Methods

compare :: Term -> Term -> Ordering #

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

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

(>) :: Term -> Term -> Bool #

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

max :: Term -> Term -> Term #

min :: Term -> Term -> Term #

Show Term Source # 
Instance details

Defined in Factor.Term

Methods

showsPrec :: Int -> Term -> ShowS #

show :: Term -> String #

showList :: [Term] -> ShowS #

modulo :: Term -> Integer -> Term Source #

fromGfp :: Prime -> Gfp -> Term Source #

fromPrimePower :: PrimePower -> Term Source #

fromPrimePowers :: [PrimePower] -> Term Source #

mkSum :: [Term] -> Term Source #

mkProduct :: [Term] -> Term Source #

subterms :: Term -> [Term] Source #

data Result Source #

Constructors

RewriteResult Term 
UnchangedResult 
ErrorResult 

Instances

Instances details
Eq Result Source # 
Instance details

Defined in Factor.Term

Methods

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

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

Ord Result Source # 
Instance details

Defined in Factor.Term

Methods

compare :: Result -> Result -> Ordering #

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

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

(>) :: Result -> Result -> Bool #

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

max :: Result -> Result -> Result #

min :: Result -> Result -> Result #

Show Result Source # 
Instance details

Defined in Factor.Term

Methods

showsPrec :: Int -> Result -> ShowS #

show :: Result -> String #

showList :: [Result] -> ShowS #

newtype Rewrite Source #

Constructors

Rewrite 

Fields

applyRewrite :: Rewrite -> Term -> Maybe Term Source #

applyRewriteUnsafe :: Rewrite -> Term -> Term Source #

idRewrite :: Rewrite Source #

errorRewrite :: Rewrite Source #

tryRewrite :: Rewrite -> Rewrite Source #

thenRewrite :: Rewrite -> Rewrite -> Rewrite Source #

orelseRewrite :: Rewrite -> Rewrite -> Rewrite Source #

firstRewrite :: [Rewrite] -> Rewrite Source #

subtermRewrite :: Rewrite -> Rewrite Source #

bottomUpRewrite :: Rewrite -> Rewrite Source #

instVarRewrite :: Var -> Term -> Rewrite Source #

expandLetRewrite :: Rewrite -> (Rewrite -> Rewrite) -> Rewrite Source #

expandLetsRewrite :: Rewrite -> Rewrite Source #

uniform :: RandomGen r => Term -> r -> (Term, r) Source #

negativeIntegerRewrite :: Rewrite Source #

negateNegateRewrite :: Rewrite Source #

addNegate2Rewrite :: Rewrite Source #

subtractNegate2Rewrite :: Rewrite Source #

multiplyNegateRewrite :: Rewrite Source #

nnfInteger :: Term -> Term Source #

nnf :: Term -> Term Source #

multiplyOneRewrite :: Rewrite Source #

expOneRewrite :: Rewrite Source #

expZeroRewrite :: Rewrite Source #

simplify :: Term -> Term Source #

isReservedWord :: String -> Bool Source #

spaceParser :: Parsec String st () Source #

spacesParser :: Parsec String st () Source #

spaces1Parser :: Parsec String st () Source #

integerParser :: Parsec String st Integer Source #

indexParser :: Parsec String st Index Source #

widthParser :: Parsec String st Width Source #

classIndexParser :: Char -> Parsec String st Index Source #

primeIndexParser :: Parsec String st Index Source #

classWidthParser :: Char -> Parsec String st Width Source #

numberWidthParser :: Parsec String st Width Source #

primeWidthParser :: Parsec String st Width Source #

compositeWidthParser :: Parsec String st Width Source #

varParser :: Parsec String st Var Source #

termParser :: Parsec String st Term Source #

parse :: String -> Either ParseError Term Source #

fromString :: String -> Maybe Term Source #

indexToDoc :: Index -> Doc Source #

widthToDoc :: Width -> Doc Source #

atomicToDoc :: Term -> Doc Source #

expToDoc :: Term -> Doc Source #

prodToDoc :: Term -> Doc Source #

negateToDoc :: Term -> Doc Source #

sumToDoc :: Term -> Doc Source #

modToDoc :: Term -> Doc Source #

toDoc :: Term -> Doc Source #

toString :: Term -> String Source #