A Maple expression expr is of type with_unit if:

expr is the function Units[Unit] applied to some arguments;

expr is a rational power of such a function call;

expr is a product of such function calls, potentially raised to rational powers, potentially also with another Maple expression;

a call to the function Units[Unit] is present anywhere in expr (in the sense of the command has) and combine(expr, units) is of one of the three earlier forms described above.

The function call type(expr, with_unit) returns true if expr is of type with_unit. Otherwise, false is returned.

In the remainder of this help page, we will refer to the product of the powers of the Units[Unit] function as the unit of the expression, and the product of the remaining factors (if any) as the multiplier. If there are no other factors, the multiplier is $1$. If expr is not of one of the first three forms above and calling combine(expr, units) is necessary to get it in that form, then the unit and multiplier of expr are those of combine(expr, units).

If an optional type typ is given and expr is of the form described above, it additionally checks that the multiplier is of the type typ. The function returns true if this additional condition is satisfied. Otherwise, false is returned.

If optional arguments coeff and unit are given and type(expr, with_unit(typ)) returns true, then the unit of expr is assigned to unit and the multiplier is assigned to coeff.

To enter a unit in 2-D Math input, select the unit from the appropriate Units palette. If the unit you want is not there, select $\mathrm{unit}$ and then enter the unit.

When you edit a unit, double brackets appear around it.

$\mathrm{with}\left(\mathrm{Units}\left[\mathrm{Standard}\right]\right)\:$

$3\mathrm{Unit}\left(m\right)$

$3⟦m⟧$

$\mathrm{type}\left(3\mathrm{Unit}\left(m\right)\,\mathrm{with\_unit}\right)$

$\mathrm{true}$

$\mathrm{type}\left(3\mathrm{Unit}\left(m\right)\,\mathrm{with\_unit}\left(\mathrm{integer}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(3x^2\mathrm{Unit}\left(m\right)\,\mathrm{with\_unit}\left(\mathrm{integer}\,'a'\,'b'\right)\right)$

$\mathrm{false}$

$a,b$

$a,b$

$\mathrm{type}\left(3x^2\mathrm{Unit}\left(m\right)\,\mathrm{with\_unit}\left(\mathrm{anything}\,'a'\,'b'\right)\right)$

$\mathrm{true}$

$a,b$

$3x^2,⟦m⟧$

$\mathrm{type}\left(2\mathrm{Unit}\left(m\right)\,\mathrm{with\_unit}\left(\mathrm{integer}\,'a'\,'b'\right)\right)$

$\mathrm{true}$

$a,b$

$2,⟦m⟧$

$\mathrm{with}\left(\mathrm{Units}\left[\mathrm{Natural}\right]\right)\:$

$3m$

$3⟦m⟧$

$\mathrm{type}\left(3m\,\mathrm{with\_unit}\right)$

$\mathrm{true}$

$\mathrm{type}\left(3m\,\mathrm{with\_unit}\left(\mathrm{integer}\right)\right)$

$\mathrm{true}$

$\mathrm{type}\left(3x^{2}m\,\mathrm{with\_unit}\left(\mathrm{integer}\,'a'\,'b'\right)\right)$

$\mathrm{false}$

$a,b$

$2,⟦m⟧$

$\mathrm{type}\left(3x^{2}m\,\mathrm{with\_unit}\left(\mathrm{anything}\,'a'\,'b'\right)\right)$

$\mathrm{true}$

$a,b$

$3x^2,⟦m⟧$

$\mathrm{type}\left(2m\,\mathrm{with\_unit}\left(\mathrm{integer}\,'a'\,'b'\right)\right)$

$\mathrm{true}$

$a,b$

$2,⟦m⟧$

$\mathrm{restart}$

$\mathrm{expr}≔x\mathrm{Unit}\left(m\right)+y\mathrm{Unit}\left(\mathrm{ft}\right)$

$\mathrm{expr}≔x⟦m⟧+y⟦\mathrm{ft}⟧$

$\mathrm{type}\left(\mathrm{expr}\,\mathrm{with\_unit}\left(\mathrm{anything}\,'a'\,'b'\right)\right)$

$\mathrm{true}$

$a,b$

$x+\frac{381y}{1250},⟦m⟧$

$\mathrm{expr}≔5\mathrm{Unit}\left(\mathrm{ft}\right)+x\mathrm{Unit}\left(\mathrm{ft}\right)$

$\mathrm{expr}≔5⟦\mathrm{ft}⟧+x⟦\mathrm{ft}⟧$

$\mathrm{combine}\left(\mathrm{expr}\,\mathrm{units}\right)$

$\left(\frac{381}{250}+\frac{381x}{1250}\right)⟦m⟧$

$\mathrm{type}\left(\mathrm{expr}\,\mathrm{with\_unit}\left(\mathrm{anything}\,'a'\,'b'\right)\right)$

$\mathrm{true}$

$a,b$

$\frac{381}{250}+\frac{381x}{1250},⟦m⟧$