Evalable RΒΆ

equation1.spad line 26

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

eval: (%, Equation R) -> %
eval(f, x = v) replaces x by v in f.
eval: (%, List Equation R) -> %
eval(f, [x1 = v1, ..., xn = vn]) replaces xi by vi in f.
eval: (%, List R, List R) -> %
from InnerEvalable(R, R)
eval: (%, R, R) -> %
from InnerEvalable(R, R)

InnerEvalable(R, R)