The function call IteratedResultantDim0(f, rc, R) returns the iterated resultant of f w.r.t. rc. See the command IteratedResultant for a definition of the notion of an iterated resultant.

rc is assumed to be a zero-dimensional normalized regular chain.

Moreover R must have a prime characteristic  such that FFT-based polynomial arithmetic can be used for this actual computation. The higher the degrees of f and rc are, the larger must be  such that  divides .  If the degree of f or rc is too large, then an error is raised.