Explicit versions of the prime ideal theorem for Dedekind zeta functions under GRH

Let ψK be the Chebyshev function of a number field K. Under the Generalized Riemann Hypothesis we prove an explicit upper bound for |ψK(x)−x| in terms of the degree and the discriminant of K. The new bound improves significantly on previous known results.