An Algorithm Computing the Local Function by an Approximate Division Algorithm in
arXiv:math/0606437
Abstract
We give an algorithm to compute the local function. In this algorithm, we use the Mora division algorithm in the ring of differential operators and an approximate division algorithm in the ring of differential operators with power series coefficient.
19 pages