目录
2.1 Reduce equations and inequalities
2.4 Reduce with geometric region constraints:
2.8 Find solutions over specified domains
2.10 Representing solutions may require introduction of new parameters
2.11 List the first 10 solutions
2.12 In this case there is no solution
2.13 Mixed real and complex variables
2.14 Find real values of x and complex values of y for which x^2+ y^2 is real and less than 1
1. 基本结构
基本结构为:Reduce[expr,vars],其中语句 expr 可以是以下任何逻辑组合:
2.基本用法
2.1 Reduce equations and inequalities
①约化等式
Reduce[x^2 - y^3 == 1, {x, y}]
②约化不等式
Reduce[x^2 + y^2 < 1, {x, y}]