ToySolver.Data.AlgebraicNumber.Real

Algebraic reals

Reference:

• Why the concept of a field extension is a natural one http://www.dpmms.cam.ac.uk/~wtg10/galois.html

Algebraic real type

data AReal

Algebraic real numbers.

Instances

Eq AReal

Methods

(==) :: AReal -> AReal -> Bool

(/=) :: AReal -> AReal -> Bool

Fractional AReal

Methods

(/) :: AReal -> AReal -> AReal

recip :: AReal -> AReal

fromRational :: Rational -> AReal

Num AReal

Methods

(+) :: AReal -> AReal -> AReal

(-) :: AReal -> AReal -> AReal

(*) :: AReal -> AReal -> AReal

negate :: AReal -> AReal

abs :: AReal -> AReal

signum :: AReal -> AReal

fromInteger :: Integer -> AReal

Ord AReal

Methods

compare :: AReal -> AReal -> Ordering

(<) :: AReal -> AReal -> Bool

(<=) :: AReal -> AReal -> Bool

(>) :: AReal -> AReal -> Bool

(>=) :: AReal -> AReal -> Bool

max :: AReal -> AReal -> AReal

min :: AReal -> AReal -> AReal

Real AReal

Methods

toRational :: AReal -> Rational

RealFrac AReal

Methods

properFraction :: Integral b => AReal -> (b, AReal)

truncate :: Integral b => AReal -> b

round :: Integral b => AReal -> b

ceiling :: Integral b => AReal -> b

floor :: Integral b => AReal -> b

Show AReal

Methods

showsPrec :: Int -> AReal -> ShowS

show :: AReal -> String

showList :: [AReal] -> ShowS

Pretty AReal

Methods

pPrintPrec :: PrettyLevel -> Rational -> AReal -> Doc

pPrint :: AReal -> Doc

pPrintList :: PrettyLevel -> [AReal] -> Doc

PrettyCoeff AReal

Methods

pPrintCoeff :: PrettyLevel -> Rational -> AReal -> Doc

isNegativeCoeff :: AReal -> Bool

Degree AReal

Degree of the algebraic number.

If the algebraic number's minimalPolynomial has degree n, then the algebraic number is said to be degree n.

Methods

deg :: AReal -> Integer

Construction

realRoots :: UPolynomial Rational -> [AReal]

Real roots of the polynomial in ascending order.

realRootsEx :: UPolynomial AReal -> [AReal]

Real roots of the polynomial in ascending order.

Properties

minimalPolynomial :: AReal -> UPolynomial Rational

The polynomial of which the algebraic number is root.

isolatingInterval :: AReal -> Interval Rational

Isolating interval that separate the number from other roots of minimalPolynomial of it.

isRational :: AReal -> Bool

Whether the algebraic number is a rational.

isAlgebraicInteger :: AReal -> Bool

Whether the algebraic number is a root of a polynomial with integer coefficients with leading coefficient 1 (a monic polynomial).

height :: AReal -> Integer

Height of the algebraic number.

The height of an algebraic number is the greatest absolute value of the coefficients of the irreducible and primitive polynomial with integral rational coefficients.

rootIndex :: AReal -> Int

root index, satisfying

realRoots (minimalPolynomial a) !! rootIndex a == a

Operations

nthRoot :: Integer -> AReal -> AReal

The nth root of a

refineIsolatingInterval :: AReal -> AReal

Same algebraic real, but represented using finer grained isolatingInterval.

Approximation

approx

Arguments

:: AReal

a

-> Rational

epsilon

-> Rational

Returns approximate rational value such that abs (a - approx a epsilon) <= epsilon.

approxInterval

Arguments

:: AReal

a

-> Rational

epsilon

-> Interval Rational

Returns approximate interval such that width (approxInterval a epsilon) <= epsilon.

Misc

simpARealPoly :: UPolynomial AReal -> UPolynomial Rational

goldenRatio :: AReal

Golden ratio