Maxima Function
sublis (list, expr)
Makes multiple parallel substitutions into an expression.
The variable sublis_apply_lambda controls simplification after sublis.
sublis_apply_lambda
sublis
Example:
(%i1) sublis ([a=b, b=a], sin(a) + cos(b)); (%o1) sin(b) + cos(a)