clean up polynomial factorization
clean up implementation of algebraic reals