Evalable(R)

equation1.spad line 26 [edit on github]

• R : SetCategory

This category provides eval operations. A domain may belong to this category if it is possible to make ``evaluation'' substitutions.

eval : (%, R, R) -> %

from InnerEvalable(R, R)

eval : (%, Equation(R)) -> %

eval(f, x = v) replaces x by v in f.

eval : (%, List(R), List(R)) -> %

from InnerEvalable(R, R)

eval : (%, List(Equation(R))) -> %

eval(f, [x1 = v1, ..., xn = vn]) replaces xi by vi in f.

InnerEvalable(R, R)