Krull dimension
where is a polynomial with integer coefficients, and formula_10 is the Krull dimension of .