Maxima Function
numerval (x_1, expr_1, ..., var_n, expr_n)
Declares the variables x_1, ..., x_n to have
numeric values equal to expr_1, ..., expr_n.
The numeric value is evaluated and substituted for the variable
in any expressions in which the variable occurs if the numer flag is
true. See also .
The expressions expr_1, ..., expr_n can be any expressions,
not necessarily numeric.