[Next] [Up] [Previous]

The following enumerates a few of the points to be considered when designing a variable substitution scheme.

- Minimize the number of levels of substitution. Ideally this should not be more than [tex2html_wrap5808].
- Avoid unnecessary substitutions. In eq:integral, substituting a variable for the entire right-hand side is redundant.
- Use a complexity measure that determines when an expression
is sufficiently complex to warrant variable substitution.
This measure should capture the following properties of an expression:
- Complexity of a math object considered by itself.
- Relative complexity of an expression with respect to its parent.

Thu Mar 9 20:10:41 EST 1995