The type(x, nonreal) function returns true if x is of the form $a+\mathrm{I}b$, where b <> 0 and a (if present) and b are of type extended_numeric.

The type(x, nonreal(d)) function returns true if d is a numeric type, and x is of the form $a+\mathrm{I}b$, where b <> 0 and a (if present) and b are of type d.

$\mathrm{type}\left(5\mathrm{I}\&comma;\mathrm{nonreal}\right)$

$\mathrm{true}$

$\mathrm{type}\left(3\&comma;\mathrm{nonreal}\right)$

$\mathrm{false}$

$\mathrm{type}\left(4.-0.\mathrm{I}\&comma;\mathrm{nonreal}\right)$

$\mathrm{true}$

$\mathrm{type}\left(x\&comma;\mathrm{nonreal}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\frac{1}{2}+3\mathrm{I}\&comma;\mathrm{nonreal}\left(\mathrm{rational}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(a+\mathrm{I}b\&comma;\mathrm{nonreal}\left(\mathrm{name}\right)\right)$

$\mathrm{false}$

$\mathrm{type}\left(1.+2.\mathrm{I}\&comma;\mathrm{nonreal}\left(\mathrm{float}\right)\right)$

$\mathrm{true}$