MultiPol

Documentation

data Polynomial a

Instances

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

Defined in MultiPol

Methods

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

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

Defined in MultiPol

Methods

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

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

Show a => Show (Polynomial a)

Defined in MultiPol

Methods

showsPrec :: Int -> Polynomial a -> ShowS

show :: Polynomial a -> String

showList :: [Polynomial a] -> ShowS

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

Defined in MultiPol

Methods

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

one :: Polynomial a

fromInteger :: Integer -> Polynomial a

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

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

Defined in MultiPol

Methods

zero :: Polynomial a

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

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

negate :: Polynomial a -> Polynomial a

data CompactPolynomial a

Instances

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

Defined in MultiPol

Methods

(*>) :: a -> CompactPolynomial a -> CompactPolynomial a

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

Defined in MultiPol

Methods

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

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

(Eq a, Show a, C a) => Show (CompactPolynomial a)

Defined in MultiPol

Methods

showsPrec :: Int -> CompactPolynomial a -> ShowS

show :: CompactPolynomial a -> String

showList :: [CompactPolynomial a] -> ShowS

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

Defined in MultiPol

Methods

(*) :: CompactPolynomial a -> CompactPolynomial a -> CompactPolynomial a

one :: CompactPolynomial a

fromInteger :: Integer -> CompactPolynomial a

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

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

Defined in MultiPol

Methods

zero :: CompactPolynomial a

(+) :: CompactPolynomial a -> CompactPolynomial a -> CompactPolynomial a

(-) :: CompactPolynomial a -> CompactPolynomial a -> CompactPolynomial a

negate :: CompactPolynomial a -> CompactPolynomial a

compact :: Polynomial a -> CompactPolynomial a

data Monomial a

Constructors

Monomial

Fields

• coefficient :: a
• powers :: Seq Int

Instances

Eq a => Eq (Monomial a)

Defined in MultiPol

Methods

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

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

Show a => Show (Monomial a)

Defined in MultiPol

Methods

showsPrec :: Int -> Monomial a -> ShowS

show :: Monomial a -> String

showList :: [Monomial a] -> ShowS

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

Scale polynomial by a scalar

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

Addition of two polynomials

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

Substraction

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

Multiply two polynomials

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

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

polytest :: Bool