InnerEvalable(A, B)

equation1.spad line 1 [edit on github]

• A : SetCategory
• B : Type

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.