The name and behavior of the numeric functions used in CML (represented by ;SPMlt;math function;SPMgt; in the grammar) are based on those provided by Common Lisp. A formal axiomatization of numbers and their associated functions, also based on Common Lisp, is being developed for KIF [6] and will be adopted in CML. See [6, 11] for the complete list and description of these functions. The possible function constant substitutions for ;SPMlt;math function;SPMgt; include:
+, -, *, /, abs, acos, acosh, asin, asinh, atan, atanh, cos, cosh, exp, expt, log, max, min, mod, sin, sinh, sqrt, tan, tanh
As mentioned (See section 
, page ), these functions are extended to
apply to non-constant quantities.
Derivatives are defined using operators from Mathematica.
(D ) partial derivative
(Dt ) total derivative
[1ex] a shorthand for the common case of derivative with respect to time is also defined [1ex] (d/dt f) total time derivative
((D f t)(d/dt f)).