forem listas, então a forma
retornada é completamente expandida com relação aos argumentos,  e os
coeficientes dos argumentos foram factorizados.  Esses coeficientes são
livres dos argumentos, excepto talvez no sentido não racional.
</p>
<p>Se quaisquer dos argumentos forem listas, então todas as tais listas são combinadas
em uma lista simples,   e em lugar de chamar <code>factor</code>   sobre os
coeficientes  dos  argumentos,  <code>facsum</code>  chama a si mesma sobre esses
coeficientes, usando 