MakeBinaryCompiledFunction(S, D1, D2, I)

mkfunc.spad line 302 [edit on github]

• S : ConvertibleTo(InputForm)
• D1 : Type
• D2 : Type
• I : Type

transforms top-level objects into compiled functions.

binaryFunction : Symbol -> Mapping(I, D1, D2)

binaryFunction(s) is a local function

compiledFunction : (S, Symbol, Symbol) -> Mapping(I, D1, D2)

compiledFunction(expr, x, y) returns a function f: (D1, D2) -> I defined by f(x, y) == expr. Function f is compiled and directly applicable to objects of type (D1, D2)