Given a number Field K and its ring of integers $O_K$, I want to enumerate prime ideals and calculate some quantities in $O_K$ modulo the prime ideals. This computation depends on the size of the ideal.