MathObj.PowerSum
data T a
lift0
lift1
lift2
const
fromElemSym
divOneFlip
fromElemSymDenormalized
toElemSym
toElemSymInt
fromPolynomial
elemSymFromPolynomial
binomials
appPrec
add
mul
pow
root
approxSeries
propOp