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

Copyright	(c) Masahiro Sakai 2012
License	BSD-style
Maintainer	masahiro.sakai@gmail.com
Stability	provisional
Portability	non-portable (Rank2Types)
Safe Haskell	None
Language	Haskell2010

ToySolver.Data.AlgebraicNumber.Root

Description

Manipulating polynomials for corresponding operations for algebraic numbers.

Reference:

http://www.dpmms.cam.ac.uk/~wtg10/galois.html

Documentation

type Var = Int Source

normalizePoly :: UPolynomial Rational -> UPolynomial Rational Source

rootAdd :: UPolynomial Rational -> UPolynomial Rational -> UPolynomial Rational Source

rootMul :: UPolynomial Rational -> UPolynomial Rational -> UPolynomial Rational Source

rootShift :: Rational -> UPolynomial Rational -> UPolynomial Rational Source

rootScale :: Rational -> UPolynomial Rational -> UPolynomial Rational Source

rootRecip :: UPolynomial Rational -> UPolynomial Rational Source

rootSimpPoly :: (a -> UPolynomial Rational) -> UPolynomial a -> UPolynomial Rational Source

rootNthRoot :: Integer -> UPolynomial Rational -> UPolynomial Rational Source

lift2 :: (forall a. Num a => a -> a -> a) -> UPolynomial Rational -> UPolynomial Rational -> UPolynomial Rational Source

findPoly :: Polynomial Rational Var -> [Polynomial Rational Var] -> UPolynomial Rational Source