ToySolver.Data.AlgebraicNumber.Sturm

type SturmChain

sturmChain

numRoots

numRoots'

separate

separate'

halve

halve'

narrow

narrow'

approx

approx'