ApplyRules(Base, R, F)

rule.spad line 130 [edit on github]

• Base : SetCategory
• R : Join(Ring, PatternMatchable(Base), Comparable, ConvertibleTo(Pattern(Base)))
• F : Join(FunctionSpace(R), PatternMatchable(Base), ConvertibleTo(Pattern(Base)))

This package apply rewrite rules to expressions, calling the pattern matcher.

applyRules : (List(RewriteRule(Base, R, F)), F) -> F

applyRules([r1, ..., rn], expr) applies the rules r1, ..., rn to f an unlimited number of times, i.e. until none of r1, ..., rn is applicable to the expression.

applyRules : (List(RewriteRule(Base, R, F)), F, PositiveInteger) -> F

applyRules([r1, ..., rn], expr, n) applies the rules r1, ..., rn to f a most n times.