1

1. := (body)
2. define (body)

1.1
-->

kill(all)$
F1(x):=diff(x^n,x);
define(F2(x),diff(x^n,x));

1.2

-->

kill(all)$
expr : cos(x)-sin(y)$
F1(x,y) := expr;
define(F2(x,y),expr);

-->

F1(a,b);

-->

F2(a,b);

e1,e2,...,en 2
1. F(e1,e2,...,en)
2. fummake(F,[e1,e2,...,en]) F(e1,e2,...,en) e1,e2,...,en

-->

kill(all)$
exp: a^2+1$
F (x, y) := y^2 - x^2;

'F(expr,b+1);/*' expr */
funmake (F, [exp, b + 1]); /*expr */
''%;
F(exp,b+1);
Maxima

wxMaxima

2
2.1

::=

1.
2.

-->

kill(all)$
e: x+y;
y:10$
g(x)::=y^3-x;
y:5$
g(e);
e;

funmake

-->

x:3;
k:x^2;
exp:k+b;
funmake(g,[exp]);
''%;

-->

f(x1,..,xn) := body
define(f(x1,..,xn),body)
f(x1,..,xn)
lambda([x1,...,xn],expr1,...,expr3)
lambda([x1,...,xn],expr1,...,expr3)(y1,..,yn)
f = lambda([x1,...,xn],expr1,...,expr3)
g(x1,..,xn)::= body
g(x1,..,xn)
f(x1,..,xn)
funmake(f,[x1,..,xn])

, body
body
, , body
lambda
lambda
f(x1,..,xn) := body
, body
, , body

kill(all)$
g(x):= diff(x*y^3,y);
g(2);
f:lambda([x], diff(x*y^3,y));
f(2);
dispfun(f);

Maxima

wxMaxima

-->

h:lambda([x], ''diff(x*y^3,y));
dispfun(f);
h(2);

-->

h(x):=diff(x^5,x);

-->

h(2);

Maxima

wxMaxima