Declaration
linearOne of Maxima's operator properties. For univariate f so
declared, "expansion" f(x + y) yields f(x) + f(y),
f(a*x) yields a*f(x) takes
place where a is a "constant". For functions of two or more arguments,
"linearity" is defined to be as in the case of sum or integrate,
i.e., f (a*x + b, x) yields a*f(x,x) + b*f(1,x)
for a and b free of x.