PDF-format

Int(exp(-x^2),x=-infinity..infinity);
> value(%);
∞
e (−x2 ) dx
−∞
√ π
10 Tildelinger - bundne og ubundne navne
Som det fremgår af ovenstående to afsnit kan Maple regne symbolsk med ukendte størrelser som x, f, og g. Man kan
imidlertid tildele en værdi til et navn, eller binde et navn til en værdi. Et ubundet navn står blot for sig selv og indgår
i beregninger som en ukendt størrelse. Oven for regnede vi med ubundne navne og Maple lavede derfor algebraiske
manipulationer på selve navnene. Hvis vi derimod binder et navn til en værdi vil Maple erstatte navnet med dets værdi
hvor det indgår i senere udtryk. For eksempel:
> x:=3;
Dette tildeler værdien 3 til x (eller binder x til 3).
> x;
> 3*(x+1)-x;
x := 3
3
9
Vi kan binde et navn ikke bare til en simpel (tal)værdi men til et udtryk (3 er jo også et udtryk). Vi kan for eksempel
lave en ny binding for x:
> x:=y+2;
> 3*(x+1)-x;
x := y + 2
2 y + 7
Hvis vi nu tildeler y en værdi ændres værdien af x også:
> y:=5*z;
> x;
y := 5 z
5 z + 2
Det vil sige, egentlig er værdien af x ikke ændret, den er fortsat y + 2, men når x optræder i et udtryk erstattes det
med y + 2 og y erstattes derefter med sin værdi. Man kan verificere dette ved at tildele en ny værdi til y:
> y:=7;
> x;
y := 7
9
For at ophæve bindingen for x og gøre navnet ubundet igen kan man skrive følgende “tildeling”:
> x:=’x’;
x := x
Man tildeler her navnet x sig selv som værdi. Man skriver ’x’ på højresiden for at angive at der er tale om selve
navnet x og ikke dets aktuelle værdi (tildelingen x:=x ville blot tildele x den aktuelle værdi af x dvs. værdien af y + 2
og x ville dermed med den nuværende binding af y så få værdien 9). Når man omslutter et udtryk med apostroffer,
altså skriver ’udtryk’, beder man Maple om at lade være med at evaluere udtrykket (det eneste Maple gør er at fjerne
apostrofferne og eventuelt forsimple udtrykket).
Vi kan verificere at x igen er ubundet:
> x;
x
I stedet for at skrive den noget kryptiske tildeling x:=’x’ kan man bruge kommandoen unassign:
9