f, a ring element, optional argument, if given it should be a non-zero divisor in the ideal I
Outputs:
a list, of pairs d,P, where d is the multiplicity of I along the prime ideal P, where P is the ideal of a distinguished subvariety of the normal cone of I