Complexes

Complexes
represents the domain of complex numbers, as in

Simplify can be used to try to determine whether an expression corresponds to a complex number.

The domain of real numbers is taken to be a subset of the domain of complex numbers.

is a complex number:

Exponential of a complex number is a complex number:

Find complex numbers that make an inequality well defined and True:

is a complex number:

Out[1]=

Exponential of a complex number is a complex number:

Out[1]=

Find complex numbers that make an inequality well defined and True:

Out[1]=

Specify that all variables should be considered complex, even if they appear in inequalities:

By default, Reduce considers all variables that appear in inequalities to be real:

For every real number y there exists a complex number whose square is real and less than y:

By default, Resolve considers all variables that appear in inequalities to be real:

Infinite quantities are not considered part of the Complexes: