[WIP] Rewriting the Univariate Solver

This PR aims to rewrite a cleaner and robust univariate equation solver.
- [ ] Univariate
    - [x] polynomial
    - [x] rational
    - [ ] trigonometric
    - [ ] functions with exp and log
- [ ] Multivariate
On Sat, Jul 12, 2014 at 11:17:36AM -0700, Harsh Gupta wrote:
>    This test is supposed to testing if solve is returning RootOf if it cannot
>    solve the given polynomial.

It *can* solve the given polynomial.  RootOf - solution in this
particular case.

We can't restrict yourself only to freshmen-calculus (quadratic, qubic
polynominals, etc).