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

Portabilitynon-portable (Rank2Types)
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellNone

Data.AlgebraicNumber.Root

Description

Manipulating polynomials for corresponding operations for algebraic numbers.

Reference:

Documentation

type Var = IntSource

normalizePoly :: UPolynomial Rational -> UPolynomial RationalSource

rootAdd :: UPolynomial Rational -> UPolynomial Rational -> UPolynomial RationalSource

rootMul :: UPolynomial Rational -> UPolynomial Rational -> UPolynomial RationalSource

rootShift :: Rational -> UPolynomial Rational -> UPolynomial RationalSource

rootScale :: Rational -> UPolynomial Rational -> UPolynomial RationalSource

rootRecip :: UPolynomial Rational -> UPolynomial RationalSource

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

rootNthRoot :: Integer -> UPolynomial Rational -> UPolynomial RationalSource

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

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