Some corrections on IsPrimeZeroDim in the case that the coefficients ring is finite.
Added the second case of IsPrimeZeroDim.

Implemented the case of infinite coefficients ring of the algorithm.
Some values are needed in both cases, so I put them before the two cases.
Added some comments.