MATHEMATICA 内置符号

Resultant

关于变量 var 计算多项式

和

的结式.

Resultant[poly₁, poly₂, var, Modulus->p]
计算模素数 p 的结式.

当多项式有共同根时，结式消失：

Out[1]=

数值系数的多项式的结式：

参数系数的多项式的结式：

在整数模 3 上的结式：

结式反映根的多样性：

用乘法属性定义的有理函数的结式：

这里比较对结式运算的有效方法的时间：

缺省下结式在有理数上的计算：

在模 2 的整数上，相同有理数的结式计算：

在模 3 的整数上，相同多项式的结式计算：

确定两个多项式是否有共同根：

求出有共同根的两个多项式的条件：

当且仅当多项式有共同根时，结式为零：

当且仅当多项式有非常量的 PolynomialGCD，该多项式有零结式：

结式可以用类似

的根表示：

方程

GroebnerBasis 可以用于求出共同根的条件：

相同的问题也可以用 Reduce、Resolve 和 Eliminate 来求解：

下列两个多项式没有共同根：

用近似系数，它们将显示有共同根：

以更高精度显示它们没有共同根：