Declaration
outativedeclare (f, outative) tells the Maxima simplifier that constant factors
in the argument of f can be pulled out.
If f is univariate, whenever the simplifier encounters f applied
to a product, that product will be partitioned into factors that are
constant and factors that are not and the constant factors will be
pulled out. E.g., f(a*x) will simplify to a*f(x) where a is a
constant. Non-atomic constant factors will not be pulled out.
If f is a function of 2 or more arguments, outativity is defined
as in the case of sum or integrate, i.e., f (a*g(x), x) will simplify
to a * f(g(x), x) for a free of x.
sum, integrate, and limit are all outative.