| Safe Haskell | None |
|---|
Data.Polynomial.Factorization.Rational
Documentation
factor :: UPolynomial Rational -> [(UPolynomial Rational, Integer)]Source
toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
| Safe Haskell | None |
|---|
Data.Polynomial.Factorization.Rational
factor :: UPolynomial Rational -> [(UPolynomial Rational, Integer)]Source