これらのプロシージャは、上位レベルの max および min 関数に優先します。引数が単位を有していた場合、すべての単位は第 1 番目の引数の単位へと変換され、次に引数を無単位とした上で、同じ名前のグロ－バル・プロシージャによる処理を行います。

with(Units[Standard]);

Warning, the assigned name polar now has a global binding
Warning, these protected names have been redefined and
unprotected: *, +, -, /, <, <=, <>, =, Im, Re, ^, abs,
arccos, arccosh, arccot, arccoth, arccsc, arccsch, arcsec,
arcsech, arcsin, arcsinh, arctan, arctanh, argument, ceil,
collect, combine, conjugate, convert, cos, cosh, cot, coth,
csc, csch, csgn, diff, eval, evalc, evalr, exp, expand,
factor, floor, frac, int, ln, log, log10, max, min, normal,
root, round, sec, sech, shake, signum, simplify, sin, sinh,
sqrt, surd, tan, tanh, trunc, type, verify

min(3/2*Unit(m), 1.49*Unit(ft));

dis := max(x*Unit(furlong), 3/2*Unit(ft), 120*Unit(cm), 17*Unit(inches));

dis := convert(dis, units, m);

x := 3;

dis;