Determining whether the ring of integers OK of an algebraic number field K of degree n admits a power integral basis is one of the classic problems in algebraic number theory. In other words, we want to determine whether ...