72.7 Paquete scifac

Función: gcfac (expr) ¶

Es una función de factorización que intenta aplicar la misma heurística que los humanos cuando tratan de hacer las expresiones más simples, limitándose a la factorización de monomios. En caso de sumas, gcfac hace lo siguiente:

1. Factoriza los enteros.
2. Factoriza las potencias mayores de los términos que aparecen como coeficientes, independientemente de su complejidad.
3. Utiliza (1) y (2) en la factorización de pares de términos adyacentes.
4. Aplica estas técnicas repetida y recursivamente hasta que la expresión deje de sufrir cambios.

En general, el apartado (3) no hace una factorización óptima debido a la naturaleza combinatoria y compleja de encontrar cuál de todas las ordenaciones posibles de los pares da lugar a la expresión más compacta.

La instrucción load ("scifac") carga esta función y demo (scifac) hace una demostración sobre su uso.