Reduce

Reduce(logic-expression, var)

returns the reduced logic-expression for the variable var. Reduce works only for the Reals domain.

Examples

>> Reduce(x^6-1==0 && x>0, x)
x==1

Related terms

Solve, NSolve, Roots, NRoots

Implementation status

• ☑ - partially implemented

Github

• Implementation of Reduce