Math.Algebra.MultiPol

Documentation

data Polynomial a

Instances

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

Defined in Math.Algebra.MultiPol

Methods

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

Show a => Show (Polynomial a)

Defined in Math.Algebra.MultiPol

Methods

showsPrec :: Int -> Polynomial a -> ShowS

show :: Polynomial a -> String

showList :: [Polynomial a] -> ShowS

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

Defined in Math.Algebra.MultiPol

Methods

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

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

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

Defined in Math.Algebra.MultiPol

Methods

zero :: Polynomial a

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

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

negate :: Polynomial a -> Polynomial a

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

Defined in Math.Algebra.MultiPol

Methods

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

one :: Polynomial a

fromInteger :: Integer -> Polynomial a

(^) :: Polynomial a -> Integer -> Polynomial a

data Monomial a

Constructors

Monomial

Fields

• coefficient :: a
• powers :: Seq Int

Instances

Show a => Show (Monomial a)

Defined in Math.Algebra.MultiPol

Methods

showsPrec :: Int -> Monomial a -> ShowS

show :: Monomial a -> String

showList :: [Monomial a] -> ShowS

Eq a => Eq (Monomial a)

Defined in Math.Algebra.MultiPol

Methods

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

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

lone :: (C a, Eq a) => Int -> Polynomial a

Polynomial x_n

constant :: (C a, Eq a) => a -> Polynomial a

Constant polynomial

terms :: (C a, Eq a) => Polynomial a -> [Monomial a]

List of the terms of a polynomial

(*^) :: (C a, Eq a) => a -> Polynomial a -> Polynomial a infixr 7

Scale polynomial by a scalar

(^+^) :: (C a, Eq a) => Polynomial a -> Polynomial a -> Polynomial a infixl 6

Addition of two polynomials

(^-^) :: (C a, Eq a) => Polynomial a -> Polynomial a -> Polynomial a infixl 6

Substraction

(^*^) :: (C a, Eq a) => Polynomial a -> Polynomial a -> Polynomial a infixl 7

Multiply two polynomials

(^**^) :: (C a, Eq a) => Polynomial a -> Int -> Polynomial a infixr 8

Power of a polynomial

evalPoly :: (C a, Eq a) => Polynomial a -> [a] -> a

Evaluates a polynomial

prettyPol :: (C a, Eq a) => (a -> String) -> String -> Polynomial a -> String

Pretty form of a polynomial