A Maple expression is syntactically valid as a compound unit if it is a product of rational powers of syntactically valid unit names, possibly further multiplied by a constant.

The type(expr, syntactically_valid_compound_unit) function returns true if expr has the form of a syntactically valid compound unit. Otherwise, false is returned.

This type exists mostly for use by the Units package internally; if you are considering using this in your program to test something related to user functionality, then it is almost certainly not what you want. Consider instead using the type with_unit to find expressions with units attached, or specfunc(Units:-Unit) to find Unit function calls.

$\mathrm{type}\left({\mathrm{meter}}^2\,\mathrm{syntactically\_valid\_compound\_unit}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{L}{100\mathrm{km}}\,\mathrm{syntactically\_valid\_compound\_unit}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\frac{\mathrm{kg}{m}^2}{s^3}\,\mathrm{syntactically\_valid\_compound\_unit}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{newton}\mathrm{meter}\left(\mathrm{radius}\right)\,\mathrm{syntactically\_valid\_compound\_unit}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{not\_an\_actual\_unit}\,\mathrm{syntactically\_valid\_compound\_unit}\right)$

$\mathrm{true}$

$\mathrm{distance}≔2\mathrm{Unit}\left(m\right)+3\mathrm{Unit}\left(\mathrm{ft}\right)$

$\mathrm{distance}≔2⟦m⟧+3⟦\mathrm{ft}⟧$

$\mathrm{type}\left(\mathrm{distance}\,\mathrm{syntactically\_valid\_compound\_unit}\right)$

$\mathrm{false}$