假设我们在k个变量中有一个有理多项式。我们只对理性解决方案感兴趣。如果k = 1，则将变量命名为{x}，如果k = 2，则将它们命名为{x，y}。
对于k = 1，可以非常快速地完成。 Rational Root Theorem给出了一组候选者，见http://en.wikipedia.org/wiki/Rational_root_theorem。但是对于k = 2呢？在这种情况下，如何将多项式分解为因子？
示例：x ^ 2-y ^ 2应分割为（x-y）（x + y）。帖子也可在https://math.stackexchange.com/questions/181699/roots-of-rational-equation-with-multiple-variables上找到。