In the Simple Units environment, any verifications of valid dimensions ignore so-called Unit annotations.

In the Simple Units environment, the following functions are overloaded with functions that remove units from their primary arguments, call the appropriate global function, and then multiply the result by the unit. The primary argument can be the first argument, as in expand(3*x*(1-x)*Unit('m')) or a subsequent argument, such as abs(1, 3.3213*Unit('m')) where the first argument is used to denote the derivative.

Every command in the Simple Units environment that needs to determine whether an expression is valid or not, does so using the Units:-TestDimensions command.

Note: Prior to Maple 2015, units were displayed surrounded by double brackets.

$\mathrm{with}\left({\mathrm{Units}}_{\mathrm{Simple}}\right)\:$

$3⟦\'W\'⟧x\left(1-x\right)$

$3x\left(1-x\right)⟦W⟧$

$\mathrm{expand}\left(\right)$

$\left(-3x^2+3x\right)⟦W⟧$

$\mathrm{factor}\left(\right)$

$-3x\left(x-1\right)⟦W⟧$

$\mathrm{assume}\left(0<y\&comma;0<z\right)$

$2\ln \left(y\right)⟦\&apos;m\&apos;⟧-\ln \left(z\right)⟦\&apos;\mathrm{ft}\&apos;⟧$

$\left(2\ln \left(\mathrm{y~}\right)-\frac{381\ln \left(\mathrm{z~}\right)}{1250}\right)⟦m⟧$

$\mathrm{combine}\left(\&comma;\ln \right)$

$\ln \left(\frac{{\mathrm{y~}}^2}{{\mathrm{z~}}^{\frac{381}{1250}}}\right)⟦m⟧$