| add.binding | Pattern matching with predicates... |
| allEvaluable | Heuristically test expressions for evaluability... |
| applyRulebase | Repeatedly apply a rulebase to an input object... |
| arithmeticSimplificationRules | Simplifies an expression using a rule based simplification algorithm. |
| as.character.rule | Convert a rule to a character string. |
| basicSimplificationRules | Simplifies an expression using a rule based simplification algorithm. |
| callArgs | Get the name or argument list of a call... |
| callName | Get the name or argument list of a call... |
| combineRulebase | Combine several rules / rulebases into a new rulebase. |
| emptyBindings | Pattern matching with predicates... |
| fail | Pattern matching with predicates... |
| fifth | Functions for Lisp-like list processing... |
| first | Functions for Lisp-like list processing... |
| fourth | Functions for Lisp-like list processing... |
| get.binding | Pattern matching with predicates... |
| has.binding | Pattern matching with predicates... |
| is.atom | Functions for Lisp-like list processing... |
| is.composite | Functions for Lisp-like list processing... |
| is.empty | Functions for Lisp-like list processing... |
| is.emptyBindings | Pattern matching with predicates... |
| is.evaluable | Heuristically test expressions for evaluability... |
| is.fail | Pattern matching with predicates... |
| is.symbolic | Test if an object is a symbolic expression... |
| logarithmSimplificationRules | Simplifies an expression using a rule based simplification algorithm. |
| patmatch | Pattern matching with predicates... |
| print.rule | Print a rule in human readable format. |
| print.rulebase | Rules and Rule Bases... |
| rest | Functions for Lisp-like list processing... |
| rule | Rules and Rule Bases... |
| rulebase | Rules and Rule Bases... |
| rulebasedSimplify | Simplifies an expression using a rule based simplification algorithm. |
| second | Functions for Lisp-like list processing... |
| simplify | Simplify a symbolic expression... |
| simplify.call | Simplify a symbolic expression... |
| simplify.function | Simplify a symbolic expression... |
| substCall | Pattern matching with predicates... |
| third | Functions for Lisp-like list processing... |
| trigonometricSimplificationRules | Simplifies an expression using a rule based simplification algorithm. |