ue
cientístas aplicam em tentativas de fazer expressões extremamente simples.  <code>gcfac</code> está limitada
a factorizações monomiais.  Para um somatório, <code>gcfac</code> faz o seguinte:
</p>
<ol>
<li>
Factores sobre os inteiros.
</li><li>
Coloca em evidência o maior expoente de termos ocorrendo como
coeficientes, independentemente da complexidade dos termos.
</li><li>
Usa (1) e (2) em factorizações de pares de termos adjascentes.
</li><li>
Repetidamente e recursivamente aplica essas técnic