Variable => ..., -- Choose name for variables in the created ring
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
Description
See distinguished for the definition of distinguished subvarieties, and for an example.
See also
distinguished -- compute the distinguished subvarieties of a scheme