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: (%, 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)