Naming the substitution



[Next] [Up] [Previous]
Next: Additional examples Up: Variable substitution Previous: Substitution threshold values

Naming the substitution

AsTeR chooses identifier names that convey some information about the object being replaced. This has two advantages:

Names for the substituted expressions are chosen using the following information:

Thus, when substituting for the subscript to a summation operator, AsTeR uses the name ``lower constraint''. Since more than one such ``lower constraint'' may be substituted in a general expression, such names are appended with an integer to make them unique. This is how the rendering shown earlier for Faa De Bruno's formula is produced.



TV Raman
Thu Mar 9 20:10:41 EST 1995