72.6 Paquete rducon

Función: reduce_consts (expr) ¶

Sustituye subexpresiones constantes de expr por átomos, guardando la definición de todos ellos en la lista de ecuaciones const_eqns y devolviendo el expresión expr ya modificada. Se consideran partes constantes de expr aquellas que devuelven true cuando se les aplica la función constantp, por lo que antes de llamar a reduce_consts se debe ejecutar

declare ([objetos a los que se quiera dar la propiedad de ser constantes], constant)$

para crear la base de datos de las cantidades constantes presentes en la expresión.

Si se pretende generar código Fortran después de estos cálculos simbólicos, una de las primeras secciones del código debe ser el cálculo de las constantes. Para generar este segmento de código hacer

map ('fortran, const_eqns)$

Junto a const_eqns, otras variables que afectan a reduce_consts son:

const_prefix (Valor por defecto: xx) es la cadena de caracteres utilizada como prefijo para todos los símbolos generados por reduce_consts para representar subexpresiones constantes.

const_counter (Valor por defecto: 1) es el índice entero utilizado para generar los símbolos que representen a las subexpresiones constantes encontradas por reduce_consts.

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