-- Declaration: multiplicative
declare (f, multiplicative) tells the Maxima simplifier that
f is multiplicative.
f is univariate, whenever the simplifier encounters
f applied to a product,
f distributes over that product. E.g.,
f(x*y) simplifies to
f is a function of 2 or more arguments, multiplicativity is defined as multiplicativity in the first argument to
f (g(x) * h(x), x) simplifies to
f (g(x) ,x) * f (h(x), x).
This simplification does not occur when
f is applied to expressions of the form
product (x[i], i, m, n).
(%o1) true (%i2)