Maxima Function
applyb1 (expr, rule_1, ..., rule_n)
Repeatedly applies rule_1 to the deepest subexpression of expr until it fails, then repeatedly applies the same rule one level higher (i.e., larger subexpressions), until rule_1 has failed on the top-level expression. Then rule_2 is applied in the same fashion to the result of rule_1. After rule_n has been applied to the top-level expression, the result is returned.
applyb1
is similar to apply1
but works from
the bottom up instead of from the top down.
maxapplyheight
is the maximum height which applyb1
reaches
before giving up.