Finding binomials in polynomial ideals

Anders Jensen, Thomas Kahle, Lukas Katthän

We describe an algorithm which finds binomials in a given ideal $I\subset \mathbb{Q}[x_1,\dots ,x_n]$ and in particular decides whether binomials exist in $I$ at all. Binomials in po…