ToySolver.Data.AlgebraicNumber.Root
type Var
normalizePoly
rootAdd
rootMul
rootShift
rootScale
rootRecip
rootSimpPoly
rootNthRoot
lift2
findPoly