Provided a characteristic cycle in the form {I_1 => m_1, ..., I_k => m_k} with associated prime ideals I_1,...,I_k and the multiplicities m_1,...,m_k of M along them, the routine computes the characteristic cycle of M_f.
The method is based on a geometric formula given by V.Ginsburg in Characteristic varieties and vanishing cycles, Invent. Math. 84 (1986), 327402. and reinterpreted by J.Briancon, P.Maisonobe and M.Merle in Localisation de systemes differentiels, stratifications de Whitney et condition de Thom, Invent. Math. 117 (1994), 531550.




The object localizeCharacteristicCycle is a method function.