implemented pseudodivision
Implemented strum algorithm and Algebraic reals