MathObj.RootSet
data T a
lift0
lift1
lift2
const
toPolynomial
fromPolynomial
toPowerSums
fromPowerSums
addRoot
fromRoots
liftPowerSum1Gen
liftPowerSum2Gen
liftPowerSum1
liftPowerSum2
liftPowerSumInt1
liftPowerSumInt2
appPrec
add
addInt
mul
mulInt
pow
powInt
approxPolynomial