ToySolver.Data.AlgebraicNumber.Real

Algebraic real type

data AReal

Construction

realRoots

realRootsEx

Properties

minimalPolynomial

isolatingInterval

isRational

isAlgebraicInteger

height

rootIndex

Operations

nthRoot

refineIsolatingInterval

Approximation

approx

approxInterval

Misc

simpARealPoly

goldenRatio