Beachten Sie die
Grenzen der
Ersetzbarkeit
Tipp: Verwenden Sie die
solve-Funktion zur
Unterstützung der
Substitution einer einzelnen
Variablen.
68
Kapitel 3: Symbolisches Rechnen
¦
Substitution tritt nur dann auf,
wenn eine genaue Überein-
stimmung für die Substitution
besteht.
Definieren Sie die Substitution durch "niedrigere"
Terme für eine vollständige Substitution.
¦
Unendliche Rekursion kann auftreten, wenn Sie eine
Substitutionsvariable durch sich selbst ersetzen.
Substituiert sin(x+1), sin(x+1+1), sin(x+1+1+1), etc.
sin(x)|x=x+1
Wenn Sie eine Substitution eingegeben haben, die eine
unendliche Rekursion hervorruft:
− Wird eine Fehlermeldung
ausgegeben.
− Erscheint beim Drücken von
N ein Fehler im Protokoll-
Bereich.
¦
Ein Term wird gemäß der automatischen Vereinfachungsregeln
intern sortiert. Daher können Produkte und Summen eine andere
Reihenfolge haben, als die, in der sie eingegeben wurden.
− Als allgemein gültige Regel
sollten Sie eine einzelne
Variable substituieren.
− Das Substituieren von
allgemeineren Termen
(
mø cñ =e
oder
cñ ø m=e
unter Umständen anders als
erwartet ab.
2
Nur x
wurde ersetzt, nicht x
Keine Übereinstimmung für
die Substitution.
) läuft
4
.