-- Declaration: outative
declare (f, outative) tells the Maxima simplifier that constant factors in the argument of
f can be pulled out.
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 is a constant. Non-atomic constant factors will not be pulled out.
f is a function of 2 or more arguments, outativity is defined as in the case of
f (a*g(x), x) will simplify to
a * f(g(x), x) for
a free of
limit are all
(%o1) true (%i2)