Multidimensional residues and ideal membership.
Let I(f) be a zero-dimensional ideal in C[z1, ..., zn] defined by a mapping f. We compute the logarithmic residue of a polynomial g with respect to f. We adapt an idea introduced by Aizenberg to reduce the computation to a special case by means of a limiting process.We then consider the total sum of local residues of g w.r.t. f. If the zeroes of f are simple, this sum can be computed from a finite number of logarithmic residues. In the general case, you have to perturb the mapping f. Some applications...