This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.1)

SolveAlwaysLogicalExpand

Reduce

FilledSmallSquareReduce[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.

FilledSmallSquareReduce[eqns, vars, elims] simplifies the equations, trying to eliminate the variables elims.

FilledSmallSquare The equations given to Reduce are in the form lhs == rhs. Simultaneous equations can either be given in a list, or combined with &&.

FilledSmallSquare Example: Reduce[a x + b == 0, x] LongRightArrow.

FilledSmallSquareReduce generates equations (==) and nonequalities (!=), combined with && and ||.

FilledSmallSquareReduce primarily deals with polynomial equations.

FilledSmallSquare See The Mathematica Book: Section 1.5.7 and Section 3.4.6.

FilledSmallSquare See also: Solve, Eliminate, LogicalExpand, ToRules.

Further Examples

SolveAlwaysLogicalExpand