Algorithms for polynomials over a real algebraic number field.