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. |