Declaration
outative
declare (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
.