Global variable
nextlayerfactorDefault value: false
When nextlayerfactor is true, recursive calls of facsum
are applied to the factors of the factored form of the
coefficients of the arguments.
When false, facsum is applied to
each coefficient as a whole whenever recusive calls to facsum occur.
Inclusion of the atom
nextlayerfactor in the argument list of facsum has the effect of
nextlayerfactor: true, but for the next level of the expression only.
Since nextlayerfactor is always bound to either true or false, it
must be presented single-quoted whenever it appears in the argument list of facsum.