Ruleset(Base, R, F)ΒΆ

rule.spad line 247

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.
hash: % -> SingleInteger
from SetCategory
hashUpdate!: (HashState, %) -> HashState
from SetCategory
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}.

BasicType

CoercibleTo OutputForm

Eltable(F, F)

SetCategory