不同域上的方程和不等式 - Wolfram Mathematica Documentation ...

Wolfram 语言通常假定方程中出现的变量可以代表任意复数. 但是当用户使用 Reduce 时，可以明确地告诉Wolfram 语言变量 ...

reference.wolfram.com