ExecFunction - immediately execute a pure function with named argument
{proc} literal_1 ... literal_n ExecFunction -> val
string literal_1 ... literal_n ExecFunction -> val
2 {x 1 x add mul} /x ExecFunction --> 6
2 3 {x 1 x add mul} /x /y ExecFunction --> 6
2 3 {x y x add mul} /x /y ExecFunction --> 10
2 3 ( x*(y+x) ) /x /y ExecFunction --> 10
Version: 090304
ExecFunction is equivalent to the sequence
Function exec
Diesmann
/var/www/debian/nest/nest-simulator-2.20.0/lib/sli/mathematica.sli