|
applyrule - applying rules
|
|
Calling Sequence
|
|
applyrule(rule, expr)
applyrule([rule1, rule2, ...], expr)
|
|
|
Parameters
|
|
|
expr
|
-
|
expression the rules are applied to
|
|
rule
|
-
|
rule
|
|
|
|
|
|
Description
|
|
|
•
|
With applyrule a rule or a list of rules can be applied to a given expression. applyrule computes the fix point, it applies the rules until no rule can be applied any more. It is more powerful than the command subs, but does not do mathematical transformations as algsubs does.
|
|
•
|
Rules are given as equations or in the syntax of the pattern matcher with parameters. See patmatch.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
![applyrule([a::even = even, a::prime = prime], [1, 2, 4, 3, 5, 6, 4, 8, 15, 21])](/support/helpjp/helpview.aspx?si=4199/file00175/math102.png)
|
|
![[1, even, even, prime, prime, even, even, even, 15, 21]](/support/helpjp/helpview.aspx?si=4199/file00175/math105.png)
| (5) |
|
>
|
|
|
| (6) |
|
|
Download Help Document
Was this information helpful?
