Extensions to numeric-prelude including multivariate polynomials and factored rationals.
there don't seem to be any issues for this project.