Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.Number.Flint.Fmpz.Poly.Instances

Contents

Orphan instances

Description

Documentation

data FmpzPoly Source #

Constructors

FmpzPoly !(ForeignPtr CFmpzPoly)

Instances

Instances details

UFD FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods factor :: FmpzPoly -> [(FmpzPoly, Int)] Source # unfactor :: [(FmpzPoly, Int)] -> FmpzPoly Source #
Arbitrary FmpzPoly
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods arbitrary :: Gen FmpzPoly shrink :: FmpzPoly -> [FmpzPoly]
Semigroup FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods (<>) :: FmpzPoly -> FmpzPoly -> FmpzPoly # sconcat :: NonEmpty FmpzPoly -> FmpzPoly # stimes :: Integral b => b -> FmpzPoly -> FmpzPoly #
Enum FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods succ :: FmpzPoly -> FmpzPoly # pred :: FmpzPoly -> FmpzPoly # toEnum :: Int -> FmpzPoly # fromEnum :: FmpzPoly -> Int # enumFrom :: FmpzPoly -> [FmpzPoly] # enumFromThen :: FmpzPoly -> FmpzPoly -> [FmpzPoly] # enumFromTo :: FmpzPoly -> FmpzPoly -> [FmpzPoly] # enumFromThenTo :: FmpzPoly -> FmpzPoly -> FmpzPoly -> [FmpzPoly] #
IsList FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Associated Types type Item FmpzPoly # Methods fromList :: [Item FmpzPoly] -> FmpzPoly # fromListN :: Int -> [Item FmpzPoly] -> FmpzPoly # toList :: FmpzPoly -> [Item FmpzPoly] #
Num FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods (+) :: FmpzPoly -> FmpzPoly -> FmpzPoly # (-) :: FmpzPoly -> FmpzPoly -> FmpzPoly # (*) :: FmpzPoly -> FmpzPoly -> FmpzPoly # negate :: FmpzPoly -> FmpzPoly # abs :: FmpzPoly -> FmpzPoly # signum :: FmpzPoly -> FmpzPoly # fromInteger :: Integer -> FmpzPoly #
Read FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods readsPrec :: Int -> ReadS FmpzPoly # readList :: ReadS [FmpzPoly] # readPrec :: ReadPrec FmpzPoly # readListPrec :: ReadPrec [FmpzPoly] #
Integral FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods quot :: FmpzPoly -> FmpzPoly -> FmpzPoly # rem :: FmpzPoly -> FmpzPoly -> FmpzPoly # div :: FmpzPoly -> FmpzPoly -> FmpzPoly # mod :: FmpzPoly -> FmpzPoly -> FmpzPoly # quotRem :: FmpzPoly -> FmpzPoly -> (FmpzPoly, FmpzPoly) # divMod :: FmpzPoly -> FmpzPoly -> (FmpzPoly, FmpzPoly) # toInteger :: FmpzPoly -> Integer #
Real FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods toRational :: FmpzPoly -> Rational #
Show FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods showsPrec :: Int -> FmpzPoly -> ShowS # show :: FmpzPoly -> String # showList :: [FmpzPoly] -> ShowS #
Eq FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods (==) :: FmpzPoly -> FmpzPoly -> Bool # (/=) :: FmpzPoly -> FmpzPoly -> Bool #
Ord FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances Methods compare :: FmpzPoly -> FmpzPoly -> Ordering # (<) :: FmpzPoly -> FmpzPoly -> Bool # (<=) :: FmpzPoly -> FmpzPoly -> Bool # (>) :: FmpzPoly -> FmpzPoly -> Bool # (>=) :: FmpzPoly -> FmpzPoly -> Bool # max :: FmpzPoly -> FmpzPoly -> FmpzPoly # min :: FmpzPoly -> FmpzPoly -> FmpzPoly #
Quotient FmpzPolyQ FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Q.Instances Methods (//) :: FmpzPoly -> FmpzPoly -> FmpzPolyQ Source # numerator :: FmpzPolyQ -> FmpzPoly Source # denominator :: FmpzPolyQ -> FmpzPoly Source #
type Item FmpzPoly Source #
Instance details Defined in Data.Number.Flint.Fmpz.Poly.Instances type Item FmpzPoly = Fmpz

module GHC.Exts

Orphan instances

UFD FmpzPoly Source #
Instance details Methods factor :: FmpzPoly -> [(FmpzPoly, Int)] Source # unfactor :: [(FmpzPoly, Int)] -> FmpzPoly Source #
Arbitrary FmpzPoly Source #
Instance details Methods arbitrary :: Gen FmpzPoly shrink :: FmpzPoly -> [FmpzPoly]
Semigroup FmpzPoly Source #
Instance details Methods (<>) :: FmpzPoly -> FmpzPoly -> FmpzPoly # sconcat :: NonEmpty FmpzPoly -> FmpzPoly # stimes :: Integral b => b -> FmpzPoly -> FmpzPoly #
Enum FmpzPoly Source #
Instance details Methods succ :: FmpzPoly -> FmpzPoly # pred :: FmpzPoly -> FmpzPoly # toEnum :: Int -> FmpzPoly # fromEnum :: FmpzPoly -> Int # enumFrom :: FmpzPoly -> [FmpzPoly] # enumFromThen :: FmpzPoly -> FmpzPoly -> [FmpzPoly] # enumFromTo :: FmpzPoly -> FmpzPoly -> [FmpzPoly] # enumFromThenTo :: FmpzPoly -> FmpzPoly -> FmpzPoly -> [FmpzPoly] #
IsList FmpzPoly Source #
Instance details Associated Types type Item FmpzPoly # Methods fromList :: [Item FmpzPoly] -> FmpzPoly # fromListN :: Int -> [Item FmpzPoly] -> FmpzPoly # toList :: FmpzPoly -> [Item FmpzPoly] #
Num FmpzPoly Source #
Instance details Methods (+) :: FmpzPoly -> FmpzPoly -> FmpzPoly # (-) :: FmpzPoly -> FmpzPoly -> FmpzPoly # (*) :: FmpzPoly -> FmpzPoly -> FmpzPoly # negate :: FmpzPoly -> FmpzPoly # abs :: FmpzPoly -> FmpzPoly # signum :: FmpzPoly -> FmpzPoly # fromInteger :: Integer -> FmpzPoly #
Read FmpzPoly Source #
Instance details Methods readsPrec :: Int -> ReadS FmpzPoly # readList :: ReadS [FmpzPoly] # readPrec :: ReadPrec FmpzPoly # readListPrec :: ReadPrec [FmpzPoly] #
Integral FmpzPoly Source #
Instance details Methods quot :: FmpzPoly -> FmpzPoly -> FmpzPoly # rem :: FmpzPoly -> FmpzPoly -> FmpzPoly # div :: FmpzPoly -> FmpzPoly -> FmpzPoly # mod :: FmpzPoly -> FmpzPoly -> FmpzPoly # quotRem :: FmpzPoly -> FmpzPoly -> (FmpzPoly, FmpzPoly) # divMod :: FmpzPoly -> FmpzPoly -> (FmpzPoly, FmpzPoly) # toInteger :: FmpzPoly -> Integer #
Real FmpzPoly Source #
Instance details Methods toRational :: FmpzPoly -> Rational #
Show FmpzPoly Source #
Instance details Methods showsPrec :: Int -> FmpzPoly -> ShowS # show :: FmpzPoly -> String # showList :: [FmpzPoly] -> ShowS #
Eq FmpzPoly Source #
Instance details Methods (==) :: FmpzPoly -> FmpzPoly -> Bool # (/=) :: FmpzPoly -> FmpzPoly -> Bool #
Ord FmpzPoly Source #
Instance details Methods compare :: FmpzPoly -> FmpzPoly -> Ordering # (<) :: FmpzPoly -> FmpzPoly -> Bool # (<=) :: FmpzPoly -> FmpzPoly -> Bool # (>) :: FmpzPoly -> FmpzPoly -> Bool # (>=) :: FmpzPoly -> FmpzPoly -> Bool # max :: FmpzPoly -> FmpzPoly -> FmpzPoly # min :: FmpzPoly -> FmpzPoly -> FmpzPoly #