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

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.

~= : (%, %) -> Boolean

from BasicType

CoercibleTo(OutputForm)

SetCategory

BasicType

Eltable(F, F)