Maxima Function
remlet (prod, name)
remlet()
remlet(all)
remlet(all,name)
Deletes the substitution rule, prod --> repl, most
recently defined by the let function. If name is supplied the rule is
deleted from the rule package name.
remlet() and remlet(all) delete all substitution rules from the current rule package.
If the name of a rule package is supplied,
e.g. remlet (all, name), the rule package name is also deleted.
If a substitution is to be changed using the same
product, remlet need not be called, just redefine the substitution
using the same product (literally) with the let function and the new
replacement and/or predicate name. Should remlet (prod) now be
called the original substitution rule is revived.