假设我们在 k 个变量中有一个有理多项式。我们只对合理的解决方案感兴趣。如果 k = 1，将变量命名为 {x}，如果 k = 2，将它们命名为 {x,y}。
对于 k = 1，它可以非常快地完成。有理根定理给出了一组候选者，请参阅http://en.wikipedia.org/wiki/Rational_root_theorem。但是 k=2 怎么办？在这种情况下，如何将多项式拆分为因子？
示例：x^2-y^2 应拆分为 (xy)(x+y)。也可以在https://math.stackexchange.com/questions/181699/roots-of-rational-equation-with-multiple-variables上找到帖子。