English

Separating Variables in Bivariate Polynomial Ideals

Symbolic Computation 2020-06-08 v2 Commutative Algebra

Abstract

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

Cite

@article{arxiv.2002.01541,
  title  = {Separating Variables in Bivariate Polynomial Ideals},
  author = {Manfred Buchacher and Manuel Kauers and Gleb Pogudin},
  journal= {arXiv preprint arXiv:2002.01541},
  year   = {2020}
}