Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
Integer (opaque pointer)
Instances
FlintExpression Fmpz Source # | |
UFD Fmpz Source # | |
Arbitrary Fmpz | |
Storable CFmpz Source # | |
Enum Fmpz Source # | |
Num Fmpz Source # | |
Read Fmpz Source # | |
Integral Fmpz Source # | |
Real Fmpz Source # | |
Defined in Data.Number.Flint.Fmpz.Instances toRational :: Fmpz -> Rational # | |
Show Fmpz Source # | |
Eq Fmpz Source # | |
Ord Fmpz Source # | |
Quotient Fmpq Fmpz Source # | |
class Num a => UFD a where Source #
factor :: a -> [(a, Int)] Source #
factor x
Factor x into prime
factors \(x = p_1^{e_1}\ldots p_n^{e_n}\)
with the representation \([(p_1, e_1) \ldots (p_n, e_n)]\)
unfactor :: [(a, Int)] -> a Source #
unfactor f
Find x which has the unique factorization f.