a a list of pairs where the first entry is the multiplicity of the second entry which is one of the ideals defining a component of the support of the normal cone over I
Variable => ..., -- distinguishedAndMult introduces new variables and the option Variable allows the user to specify a variable name for this purpose, the default is