Maxima Function
letsimp (expr)
letsimp(expr,package_name)
letsimp(expr,package_name_1,...,package_name_n)
Repeatedly applies the substitution rules defined by let
until no further change is made to expr.
letsimp (expr)
uses the rules from current_let_rule_package
.
letsimp (expr, package_name)
uses the rules from package_name
without changing current_let_rule_package
.
letsimp (expr, package_name_1, ..., package_name_n)
is equivalent to letsimp (expr, package_name_1
,
followed by letsimp (%, package_name_2)
, and so on.