Wolfram 语言具有符号式分解多项式的功能.

如果您关注的是分解多项式，Factor 是恰当的命令：

如果您希望指定一个扩展项，例如 ，以进行进一步分解，要使用 Extension 选项：

如果您想指定因式分解的模数，比如3，使用 Modulus 选项：

对于含有多个变量的多项式，Factor 将试着将其分解：

有时，更重要的是了解多项式是否是不可约，而不是找到它的因式. 您可以通过 IrreduciblePolynomialQ 实现；例如，这将检查 是否不可约：

要想得到一组多项式中最大的因式，例如 ，使用 PolynomialGCD 命令：

单变量多项式总能通过找到其所有的根将其分解为线性因式：