Effective Localization Using Double Ideal Quotient and Its Implementation

Yuki Ishihara, Kazuhiro Yokoyama

In this paper, we propose a new method for localization of polynomial ideal, which we call "Local Primary Algorithm". For an ideal $I$ and a prime ideal $P$, our method computes a…