FullyEvalableOver(R)

equation1.spad line 280 [edit on github]

• R : SetCategory

This category provides a selection of evaluation operations depending on what the argument type R provides.

elt : (%, R) -> % if R has Eltable(R, R)

from Eltable(R, %)

eval : (%, R, R) -> % if R has Evalable(R)

from InnerEvalable(R, R)

eval : (%, Equation(R)) -> % if R has Evalable(R)

from Evalable(R)

eval : (%, List(R), List(R)) -> % if R has Evalable(R)

from InnerEvalable(R, R)

eval : (%, List(Equation(R))) -> % if R has Evalable(R)

from Evalable(R)

eval : (%, List(Symbol), List(R)) -> % if R has InnerEvalable(Symbol, R)

from InnerEvalable(Symbol, R)

eval : (%, Symbol, R) -> % if R has InnerEvalable(Symbol, R)

from InnerEvalable(Symbol, R)

map : (Mapping(R, R), %) -> %

map(f, ex) evaluates ex, applying f to values of type R in ex.

Eltable(R, %)

InnerEvalable(Symbol, R)

Evalable(R)

InnerEvalable(R, R)