The type(x, embedded_real) function returns true if x is of type complex(extended_numeric) and $\mathrm{\Im }\left(x\right)=0$.

The type(x, embedded_real(d)) function is the same as type(x, embedded_real) and type(Re(x), d).

The type(x, embedded_imaginary) function returns true if x is of type nonreal and $\mathrm{\Re }\left(x\right)=0$.

The type(x, embedded_imaginary(d)) function is the same as type(x, embedded_imaginary) and type(Im(x), d).

The type(x, embedded_axis) function returns true if x is either an embedded_real or an embedded_imaginary.

The type(x, embedded_axis(d)) function is the same as type(x, embedded_real(d)) or type(x, embedded_imaginary(d)).

Each of the structured types (where d is given) returns false if d is not a numeric type.

$\mathrm{type}\left(3\,\mathrm{embedded\_real}\right)$

$\mathrm{true}$

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

$\mathrm{true}$

$\mathrm{type}\left(3.4+0.\mathrm{I}\,\mathrm{embedded\_real}\left(\mathrm{float}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(3.4+0.\mathrm{I}\,\mathrm{embedded\_real}\left(\mathrm{integer}\right)\right)$

$\mathrm{false}$

type(-0.0 + undefined*I, embedded_imaginary);

$\mathrm{true}$

$\mathrm{type}\left(3+\mathrm{\infty }\mathrm{I}\,\mathrm{embedded\_axis}\right)$

$\mathrm{false}$

$\mathrm{type}\left(a+b\mathrm{I}\,\mathrm{embedded\_axis}\left(\mathrm{name}\right)\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{\infty }\mathrm{I}\,\mathrm{embedded\_axis}\right)$

$\mathrm{true}$