toysolver-0.4.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Copyright(c) Masahiro Sakai 2012
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

ToySolver.Data.AlgebraicNumber.Sturm

Description

Reference:

Synopsis

Documentation

type SturmChain = [UPolynomial Rational] Source #

Sturm's chain (Sturm's sequence)

sturmChain :: UPolynomial Rational -> SturmChain Source #

Sturm's sequence of a polynomial

numRoots :: UPolynomial Rational -> Interval Rational -> Int Source #

The number of distinct real roots of p in a given interval

numRoots' :: SturmChain -> Interval Rational -> Int Source #

The number of distinct real roots of p in a given interval. This function takes p's sturm chain instead of p itself.

separate :: UPolynomial Rational -> [Interval Rational] Source #

Disjoint intervals each of which contains exactly one real roots of the given polynoimal p. The intervals can be further narrowed by narrow or narrow'.

separate' :: SturmChain -> [Interval Rational] Source #

Disjoint intervals each of which contains exactly one real roots of the given polynoimal p. The intervals can be further narrowed by narrow or narrow'. This function takes p's sturm chain instead of p itself.