Efficiently Checking Separating Indeterminates

Bernhard Andraschko, Martin Kreuzer, Le Ngoc Long

In this paper we continue the development of a new technique for computing elimination ideals by substitution which has been called $Z$-separating re-embeddings. Given an ideal $I$…