The type(x, extended_rational) function returns true if x is a rational, infinity, -infinity, or undefined. Equivalently, x is of type extended_rational if it is of type extended_numeric and not of type float.

type/rational

type/extended_numeric

$\mathrm{type}\left(1\,\mathrm{extended\_rational}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{1}{2}\,\mathrm{extended\_rational}\right)$

$\mathrm{true}$

$\mathrm{type}\left(0.5\,\mathrm{extended\_rational}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\mathrm{Name}\,\mathrm{extended\_rational}\right)$

$\mathrm{false}$

$\mathrm{type}\left(\frac{a}{b}\,\mathrm{extended\_rational}\right)$

$\mathrm{false}$

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

$\mathrm{true}$