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

Factor.Nfzw

Description

 

Documentation

data Nfzw Source #

Constructors

Nfzw Integer Integer 

Instances

Instances details
Eq Nfzw Source # 
Instance details

Defined in Factor.Nfzw

Methods

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

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

Ord Nfzw Source # 
Instance details

Defined in Factor.Nfzw

Methods

compare :: Nfzw -> Nfzw -> Ordering #

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

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

(>) :: Nfzw -> Nfzw -> Bool #

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

max :: Nfzw -> Nfzw -> Nfzw #

min :: Nfzw -> Nfzw -> Nfzw #

Show Nfzw Source # 
Instance details

Defined in Factor.Nfzw

Methods

showsPrec :: Int -> Nfzw -> ShowS #

show :: Nfzw -> String #

showList :: [Nfzw] -> ShowS #

valid :: Nfzw -> Bool Source #

filterValidLine :: (Nfzw -> Bool) -> Integer -> [Nfzw] Source #

filterValid :: (Nfzw -> Bool) -> [Nfzw] Source #

zero :: Nfzw Source #

isZero :: Nfzw -> Bool Source #

negate :: Nfzw -> Nfzw Source #

toInteger :: Integer -> Nfzw -> Integer Source #

norm :: Zx -> Nfzw -> Integer Source #

type Ideal = (Gfp, Prime) Source #

ideals :: Zx -> [Ideal] Source #

inIdeal :: Nfzw -> Ideal -> Bool Source #

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