toysolver-0.1.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.