Operation Manual

Mit Symbolen arbeiten 284
Beachten Sie die Grenzen der Ersetzbarkeit
Beachten Sie die Grenzen der Ersetzbarkeit Beachten Sie die Grenzen der Ersetzbarkeit
Beachten Sie die Grenzen der Ersetzbarkeit
• Unendliche Rekursion kann auftreten, wenn Sie eine Substitutionsvariable durch
sich selbst ersetzen.
Wenn Sie eine Substitution eingegeben haben, die eine unendliche Rekursion
hervorruft:
• Substitution tritt nur dann auf, wenn eine
genaue Übereinstimmung für die
Substitution besteht.
- Wird eine Fehlermeldung
ausgegeben.
- Erscheint beim Drücken von N ein
Fehler im Protokoll-Bereich.
Nur x
2
wurde ersetzt,
nicht x
4
.
Definieren Sie die
Substitution durch
“niedrigere” Terme
für eine vollständige
Substitution.
sin(x)|x=x+1
Substituiert sin(x+1), sin(x+1+1), sin(x+1+1+1), etc.