[Next] [Up] [Previous]
Next: Motivation for above Up: Variable substitution Previous:
Examples
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 righthand 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.
TV Raman
Thu Mar 9 20:10:41 EST 1995