-- Keyword: additive If
declare(f,additive) has been executed, then:
f is univariate, whenever the simplifier encounters
f applied to a sum,
f will be distributed over that sum. I.e.
f(y+x) will simplify to
f is a function of 2 or more arguments, additivity is defined as additivity in the first argument to
f, as in the case of
f(h(x)+g(x),x) will simplify to
f(h(x),x)+f(g(x),x). This simplification does not occur when
f is applied to expressions of the form
(%o1) true (%i2)
declare (F2, additive);
syst2:F3_in * l3_in -...