InnerEvalable(A, B)ΒΆ

equation1.spad line 1

This category provides eval operations. A domain may belong to this category if it is possible to make evaluation\ ``'' substitutions. The difference between this and Evalable is that the operations in this category specify the substitution as a pair of arguments rather than as an equation.

eval: (%, A, B) -> %
eval(f, x, v) replaces x by v in f.
eval: (%, List A, List B) -> %
eval(f, [x1, ..., xn], [v1, ..., vn]) replaces xi by vi in f.