SAGBI and SAGBI-Gröbner Bases over Principal Ideal Domains

Abstract Our aim in this paper is to improve on the algorithms for the computation of SAGBI and SAGBI-Grobner for subalgebras of polynomial rings in the special case where the base ring is a principal ideal domain. In addition we will show the existence in general of strong SAGBI bases (the natural analogue of strong Grobner bases) over a PID.