Dynamic evaluation of integrity and the computational content of Krull's lemma (Q1979322)

In the paper under review, the authors suggest a constructive procedure to determine the Krull dimension of a commutative ring. This procedure has been mostly developed in a previous paper by \textit{G. Kemper} and \textit{I. Yengui} [J. Algebra 557, 278--288 (2020; Zbl 1440.13112)]. Such paper deals with a constructive characterisation of the more general valuative dimension of a domain and contains only one non-constructive step: a reduction from the general case to the integral case. In the paper under review, the authors present a constructive argument for this reduction step via a dynamical solution.