Maxima Function
local (v_1, ..., v_n)
Declares the variables v_1, ..., v_n to be local with respect to all the properties in the statement in which this function is used.
local quotes its arguments.
local returns done.
local may only be used in block, in the body of function
definitions or lambda expressions, or in the ev function, and only one
occurrence is permitted in each.
local is independent of context.