An algorithm for computing syzygies on $V[X]$ when $V$ is a valuation domain

Henri Lombardi, Claude Quitté, Ihsen Yengui

We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "ec…