The call type(x, complexcons) checks if x is a complex constant. A complex constant is either of type infinity, or an expression (with no indeterminates of type name) for which evalf returns a number of the form $a+\mathrm{I}b$ where a and b are floating-point numbers.

$\mathrm{type}\left(4\,\mathrm{complexcons}\right)$

$\mathrm{true}$

$\mathrm{type}\left(2+\mathrm{I}\,\mathrm{complexcons}\right)$

$\mathrm{true}$

$\mathrm{type}\left(3.5\,\mathrm{complexcons}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\ln \left(\mathrm{\pi }+\mathrm{I}\right)\,\mathrm{complexcons}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{\infty }\,\mathrm{complexcons}\right)$

$\mathrm{true}$

$\mathrm{type}\left(g\left(2\right)\,\mathrm{complexcons}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{FAIL}\,\mathrm{complexcons}\right)$

$\mathrm{false}$

$\mathrm{type}\left(x^2\,\mathrm{complexcons}\right)$

$\mathrm{false}$