Ruleset(Base, R, F)ΒΆ

rule.spad line 238 [edit on github]

A ruleset is a set of pattern matching rules grouped together.

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

elt: (%, F) -> F

from Eltable(F, F)

elt: (%, F, PositiveInteger) -> F

elt(r, f, n) or r(f, n) applies all the rules of r to f at most n times.

latex: % -> String

from SetCategory

rules: % -> List RewriteRule(Base, R, F)

rules(r) returns the rules contained in r.

ruleset: List RewriteRule(Base, R, F) -> %

ruleset([r1, ..., rn]) creates the rule set {r1, ..., rn}.


CoercibleTo OutputForm

Eltable(F, F)