Ruleset(Base, R, F)

rule.spad line 238 [edit on github]

• Base: SetCategory

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

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

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

BasicType

CoercibleTo OutputForm

Eltable(F, F)

SetCategory