This is documentation for Mathematica 3, which was
based on an earlier version of the Wolfram Language.
 Reduce Reduce[ eqns , vars ] simplifies the equations eqns, attempting to solve for the variables vars. The equations generated by Reduce are equivalent to eqns, and contain all the possible solutions. Reduce[ eqns , vars , elims ] simplifies the equations, trying to eliminate the variables elims. The equations given to Reduce are in the form lhs == rhs. Simultaneous equations can either be given in a list, or combined with &&. Example: Reduce[a x + b == 0, x]. Reduce generates equations (==) and nonequalities (!=), combined with && and ||. Reduce primarily deals with polynomial equations. See the Mathematica book: Section 1.5.7, Section 3.4.6. See also: 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]=