Verzögerte Vereinfachung bei gewissen eingebanten Funktionen
Funktionen, bei welchen
die Vereinfachung
verzögert wird
Hinweis: Nicht alle
Funktionen, die einen var-
Parameter verwenden,
benutzen die verzögerte
Vereinfachung.
Hinweis: Je nach Situation
kann für var ein numerischer
Wert bestimmt werden oder
nicht.
Hinweis: Im Beispiel rechts
wird die Ableitung von xò in
x=5 ermittelt. Bei einer
etwaigen anfänglichen
Vereinfachung von xò zu 75
würde nun die Ableitung von
75 vorliegen, was nicht das
gewünschte Ergebnis
darstellt.
66
Kapitel 3: Symbolisches Rechnen
Für gewöhnlich werden Variablen automatisch auf ihre
niedrigstmögliche Stufe vereinfacht, bevor sie an eine
Funktion weitergereicht werden. Bei einigen Funktionen wird
eine Gesamtvereinfachung jedoch solange verzögert, bis die
Funktion durchgeführt wurde.
Funktionen, welche die verzögerte Vereinfachung verwenden, haben
einen erforderlichen var-Parameter, der die Funktion unter
Berücksichtigung einer Variablen ausführt. Diese Funktionen
verfügen über mindestens zwei Parameter mit der allgemeinen Form:
Function(Term, var [, ... ])
Zum Beispiel:
solve(x^2
ì
d(x^2
‰
ì
(x^2
x
limit(xñ
Bei Funktionen mit verzögerter Vereinfachung gilt:
1. Die var-Variable wird auf die niedrigste Stufe vereinfacht, auf der
sie noch eine Variable bleibt (auch wenn sie noch weiter bis zu
einer Zahl vereinfacht werden könnte).
2. Die Funktion wird mit der Variablen durchgeführt.
3. Kann var noch weiter vereinfacht werden, wird dieser Wert in das
Ergebnis eingesetzt.
Beispiel:
x kann nicht vereinfacht
werden.
x wird nicht vereinfacht.
Die Funktion verwendet xò
und setzt dann 5 für x ein.
x wird zu t vereinfacht.
Die Funktion verwendet tò.
x wird zu t vereinfacht.
Die Funktion verwendet tò
und setzt dann 5 für t ein.
ì
ì
x
2=0,x)
ì
x
2,x)
ì
2,x)
ì
ì
x
2,x,5)