此为 Mathematica 4 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.2)

Reduce

Usage

Reduce[eqns, vars] 化简变量vars的方程 eqns. 由 Reduce 生成的方程与eqns等价,并包含了所有可能的解.
Reduce[eqns, vars, elims] 化简方程, 并试图消去变量 elims.


Notes

Reduce所使用的方程形式为lhs Equal rhs. 联立方程组要么用一个列表给出,要么与&&组合.
• 例如: Reduce[a x + b Equal 0, x]LongRightArrow .
Reduce 生成与&&以及||组合的等式 (Equal)和不等式 (NotEqual),
Reduce 主要处理多项式方程.
• 参见Mathematica 全书: 1.5.7节 和 3.4.6节.
• 同时参见: Solve, Eliminate, LogicalExpand, ToRules.
Further Examples

In[1]:=  

Out[1]=

In[2]:=  

Out[2]=

This is an example of the three-argument form. We eliminate y and z, and attempt to solve for r and b; conditions are imposed on the remaining parameters.

In[3]:=  

Out[3]=

In the previous example the denominators were removed by cross multiplication. The presence of denominators makes this a harder problem.

In[4]:=  

Out[4]=