
MathObj.PowerSum  Portability  requires multiparameter type classes  Stability  provisional  Maintainer  numericprelude@henningthielemann.de 





Description 
For a multiset 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 


Constructors   Instances  


Conversions




lift1 :: ([a] > [a]) > T a > T a  Source 


lift2 :: ([a] > [a] > [a]) > T a > T a > T a  Source 




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 




Show




Additive


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


Ring


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




Module


Field.C


Algebra




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.6.0 