We present an algorithm which for any given ideal $I\subseteq\mathbb{K} [x,y]$ finds all elements of $I$ that have the form $f(x) - g(y)$, i.e., all elements in which no monomial is a multiple of $xy$.

中文翻译：

---

分离二元多项式理想中的变量

我们提出了一个算法，它对于任何给定的理想 $I\subseteq\mathbb{K} [x,y]$ 找到 $I$ 中具有 $f(x) - g(y)$ 形式的所有元素，即所有没有单项式是 $xy$ 倍数的元素。