Maxima Function
letrules ()
letrules(package_name)
Displays the rules in a rule package.
letrules () displays the rules in the current rule package.
letrules (package_name) displays the rules in package_name.
The current rule package is named by current_let_rule_package.
If not otherwise specified, current_let_rule_package
defaults to default_let_rule_package.