Computing a set of generators for the intersection of a list of ideals in a given list of indeterminates.