Krull dimension (source code)

= Krull dimension
{wiki}

The Krull dimension of a commutative ring is the supremum of the lengths of strict chains of prime ideals.