numeric-prelude-0.4.0.1: An experimental alternative hierarchy of numeric type classes

Portability requires multi-parameter type classes provisional numericprelude@henning-thielemann.de None

MathObj.PowerSum

Contents

Description

For a multi-set of numbers, we describe a sequence of the sums of powers of the numbers in the set. These can be easily converted to polynomials and back. Thus they provide an easy way for computations on the roots of a polynomial.

Synopsis

# Documentation

newtype T a Source

Constructors

 Cons Fieldssums :: [a]

Instances

 (C a v, C v) => C a (T v) (C a v, C v) => C a (T v) Show a => Show (T a) C a => C (T a) C a => C (T a) (C a, C a) => C (T a) (C a, C a) => C (T a)

# Conversions

lift0 :: [a] -> T aSource

lift1 :: ([a] -> [a]) -> T a -> T aSource

lift2 :: ([a] -> [a] -> [a]) -> T a -> T a -> T aSource

const :: C a => a -> T aSource

fromElemSym :: (Eq a, C a) => [a] -> [a]Source

divOneFlip :: (Eq a, C a) => [a] -> [a] -> [a]Source

fromElemSymDenormalized :: (C a, C a) => [a] -> [a]Source

toElemSym :: (C a, C a) => [a] -> [a]Source

toElemSymInt :: (C a, C a) => [a] -> [a]Source

fromPolynomial :: (C a, C a) => T a -> [a]Source

binomials :: C a => [[a]]Source

# Show

add :: C a => [a] -> [a] -> [a]Source

# Ring

mul :: C a => [a] -> [a] -> [a]Source

pow :: Integer -> [a] -> [a]Source

# Algebra

root :: C a => Integer -> [a] -> [a]Source

approxSeries :: C a b => [b] -> [a] -> [b]Source

propOp :: (Eq a, C a, C a) => ([a] -> [a] -> [a]) -> (a -> a -> a) -> [a] -> [a] -> [Bool]Source