toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Data.Polynomial.RootSeparation.Graeffe
Description
Graeffe's Method
Reference:
data NthRoot Source
Constructors
Instances
graeffesMethod :: UPolynomial Rational -> Int -> [NthRoot]Source