numeric-prelude-0.1: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
MathObj.PowerSum
Portabilityrequires multi-parameter type classes
Stabilityprovisional
Maintainernumericprelude@henning-thielemann.de
Contents
Conversions
Show
Additive
Ring
Module
Field.C
Algebra
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
newtype T a = Cons {
sums :: [a]
}
lift0 :: [a] -> T a
lift1 :: ([a] -> [a]) -> T a -> T a
lift2 :: ([a] -> [a] -> [a]) -> T a -> T a -> T a
const :: C a => a -> T a
fromElemSym :: (Eq a, C a) => [a] -> [a]
divOneFlip :: (Eq a, C a) => [a] -> [a] -> [a]
fromElemSymDenormalized :: (C a, C a) => [a] -> [a]
toElemSym :: (C a, C a) => [a] -> [a]
toElemSymInt :: (C a, C a) => [a] -> [a]
fromPolynomial :: (C a, C a) => T a -> [a]
elemSymFromPolynomial :: C a => T a -> [a]
binomials :: C a => [[a]]
appPrec :: Int
add :: C a => [a] -> [a] -> [a]
mul :: C a => [a] -> [a] -> [a]
pow :: Integer -> [a] -> [a]
root :: C a => Integer -> [a] -> [a]
approxSeries :: C a b => [b] -> [a] -> [b]
propOp :: (Eq a, C a, C a) => ([a] -> [a] -> [a]) -> (a -> a -> a) -> [a] -> [a] -> [Bool]
Documentation
newtype T a Source
Constructors
Cons
sums :: [a]
show/hide 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
elemSymFromPolynomial :: C a => T a -> [a]Source
binomials :: C a => [[a]]Source
Show
appPrec :: IntSource
Additive
add :: C a => [a] -> [a] -> [a]Source
Ring
mul :: C a => [a] -> [a] -> [a]Source
pow :: Integer -> [a] -> [a]Source
Module
Field.C
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
Produced by Haddock version 2.4.2