Operation Manual

Mit Symbolen arbeiten 277
.
Produkte und Summen mit undefinierten Variablen werden nach dem
Anfangsbuchstaben des Variablennamens sortiert.
- Undefinierte Variablen von r bis z werden als echte Variablen angenommen und
in alphabetischer Reihenfolge am Anfang einer Summe aufgeführt.
- Undefinierte Variablen von a bis q werden als Repräsentanten von Konstanten
angenommen und in alphabetischer Reihenfolge am Ende einer Summe (aber
vor Zahlen) aufgeführt.
Numerische Teilterme werden
zusammengefaßt.
Produkte und Summen werden sortiert.
Gleichnamige Faktoren und gleichnamige
Terme werden zusammengefaßt.
Identitäten mit Nullen und Einsen werden
ausgewertet.