Simplifies a logical condition, e.g. a polynomial equation, to an
与 .wl 参考的差异： `Reduce` does not eliminate quantifiers
Reduce[expr, vars]
Reduce[expr, vars, dom]
Reduce[x^2 == 4, x]
→ x == -2 || x == 2- Backsubstitution — default False
- Cubics — default False
- GeneratedParameters — default C
- Modulus — default 0
- Quartics — default False