toysolver-0.4.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
ToySolver.Data.Polynomial.Factorization.Rational
Contents
Methods
factor :: UPolynomial Rational -> [(UPolynomial Rational, Integer)] Source #