Domain.Math.Data.Polynomial

Documentation

data Polynomial a

Instances

Functor Polynomial

Defined in Domain.Math.Data.Polynomial

Methods

fmap :: (a -> b) -> Polynomial a -> Polynomial b

(<$) :: a -> Polynomial b -> Polynomial a

Foldable Polynomial

Defined in Domain.Math.Data.Polynomial

Methods

fold :: Monoid m => Polynomial m -> m

foldMap :: Monoid m => (a -> m) -> Polynomial a -> m

foldr :: (a -> b -> b) -> b -> Polynomial a -> b

foldr' :: (a -> b -> b) -> b -> Polynomial a -> b

foldl :: (b -> a -> b) -> b -> Polynomial a -> b

foldl' :: (b -> a -> b) -> b -> Polynomial a -> b

foldr1 :: (a -> a -> a) -> Polynomial a -> a

foldl1 :: (a -> a -> a) -> Polynomial a -> a

toList :: Polynomial a -> [a]

null :: Polynomial a -> Bool

length :: Polynomial a -> Int

elem :: Eq a => a -> Polynomial a -> Bool

maximum :: Ord a => Polynomial a -> a

minimum :: Ord a => Polynomial a -> a

sum :: Num a => Polynomial a -> a

product :: Num a => Polynomial a -> a

Traversable Polynomial

Defined in Domain.Math.Data.Polynomial

Methods

traverse :: Applicative f => (a -> f b) -> Polynomial a -> f (Polynomial b)

sequenceA :: Applicative f => Polynomial (f a) -> f (Polynomial a)

mapM :: Monad m => (a -> m b) -> Polynomial a -> m (Polynomial b)

sequence :: Monad m => Polynomial (m a) -> m (Polynomial a)

(Eq a, Num a) => Eq (Polynomial a)

Defined in Domain.Math.Data.Polynomial

Methods

(==) :: Polynomial a -> Polynomial a -> Bool

(/=) :: Polynomial a -> Polynomial a -> Bool

(Eq a, Num a) => Num (Polynomial a)

Defined in Domain.Math.Data.Polynomial

Methods

(+) :: Polynomial a -> Polynomial a -> Polynomial a

(-) :: Polynomial a -> Polynomial a -> Polynomial a

(*) :: Polynomial a -> Polynomial a -> Polynomial a

negate :: Polynomial a -> Polynomial a

abs :: Polynomial a -> Polynomial a

signum :: Polynomial a -> Polynomial a

fromInteger :: Integer -> Polynomial a

(Eq a, Show a, Num a) => Show (Polynomial a)

Defined in Domain.Math.Data.Polynomial

Methods

showsPrec :: Int -> Polynomial a -> ShowS

show :: Polynomial a -> String

showList :: [Polynomial a] -> ShowS

(Eq a, Arbitrary a, Num a) => Arbitrary (Polynomial a)

Defined in Domain.Math.Data.Polynomial

Methods

arbitrary :: Gen (Polynomial a)

shrink :: Polynomial a -> [Polynomial a]

(Eq a, Fractional a) => SafeDiv (Polynomial a)

Defined in Domain.Math.Data.Polynomial

Methods

safeDiv :: Polynomial a -> Polynomial a -> Maybe (Polynomial a)

safeRecip :: Polynomial a -> Maybe (Polynomial a)

toPolynomial :: (Eq a, Num a) => [a] -> Polynomial a

fromPolynomial :: (Eq a, Num a) => Polynomial a -> [a]

var :: (Eq a, Num a) => Polynomial a

con :: (Eq a, Num a) => a -> Polynomial a

raise :: (Eq a, Num a) => Int -> Polynomial a -> Polynomial a

Raise all powers by a constant (discarding negative exponents)

degree :: (Eq a, Num a) => Polynomial a -> Int

lowestDegree :: (Eq a, Num a) => Polynomial a -> Int

coefficient :: (Eq a, Num a) => Int -> Polynomial a -> a

isRoot :: (Eq a, Num a) => Polynomial a -> a -> Bool

positiveRoots :: (Eq a, Num a) => Polynomial a -> Int

negativeRoots :: (Eq a, Num a) => Polynomial a -> Int

derivative :: (Eq a, Num a) => Polynomial a -> Polynomial a

eval :: (Eq a, Num a) => Polynomial a -> a -> a

polynomialGCD :: (Eq a, Fractional a) => Polynomial a -> Polynomial a -> Polynomial a

factorize :: Polynomial Rational -> [Polynomial Rational]

testPolynomials :: TestSuite