Einleitung

Formeln auf Webseiten werden in der Regel in einer speziellen Syntax geschrieben, die dann vom Server oder Browser interpretiert und in Grafik umgewandelt wird. Als Standard hat sich in der Wissenschaft die TeX-Syntax etabliert. Die Wikipedia und diese Website verwenden zum Beispiel diese Art der Formel-Codierung.

Auf meiner Website wird die TeX-Syntax vom frei erhältlichen JavaScript-Paket jsmath interpretiert und über Styles in schöne Formeln umgewandelt. Das folgende Beispiel zeigt, wie die TeX-Eingabe in einer Formel resultiert:

Nachteile der TeX-Syntax

Dieses einfache Beispiel zeigt bereits einen Nachteil der TeX-Syntax: Es braucht sehr viele Geschweifte Klammern zur Strukturierung der Formel. Daher ist die Eingabe in einem Text-Editor mühsam und fehleranfällig.

Ein weiteres Problem ist, dass man das Resultat der Eingabe erst dann sehen kann, wenn man die Seite rendern läst. Vom JavaScript gefundene Fehler werden anstelle der Formel ausgegeben. Den bemängelten Fehler im TeX-Code zu finden ist oft nicht einfach. Formeln werden schnell unübersichtlich.

TeX-Syntax kennt viele Konstrukte, die man sich aber kaum alle merken kann. Selbst einfache Konstrukte wie Bruchstriche müssen mühsam eingegeben werden: { oben \over unten } oder \frac{ oben }{ unten }

In Formeln kommen häufig grössere Terme mehrfach vor. Diese müssen in einem Text-Editor mühsam kopiert und an anderer Stelle eingefügt werden. Den Originalterm im TeX-Code zu finden ist nicht immer einfach.

Beispiel eines grösseren Terms

Im UPN TeX Editor können mehrfach benötigte Terme einfach in einem Zwischenspeicher abgelegt und von dort an den gewünschten Stellen in den Code kopiert werden.

Die Formatierung von Schriften (kursiv, aufrecht, fett), Zahlen und Einheiten ist mühsam. So muss man zum Beispiel bei Zahlen Leerzeichen zur Strukturierung selbst einfügen und 10ner-Exponenten sind umständlich zu codieren.

Im UPN TeX Editor gibt es Operatoren und Spezialzeichen, welche diese Formatierungen vornehmen.

Eingabe in Umgekehrter Polnischer Notation

Für das Problem der Klammerung gibt es seit langem ein in HP-Taschenrechnern angewandtes Verfahren: Die Eingabe in Umgekehrter Polnischer Notation UPN. UPN bedeutet, dass Operatoren nicht zwischen Termen eingegeben werden, sondern nach den Termen stehen, auf die sie angewandt werden.

Die UPN Methode arbeitet dazu mit einem sogenannten Stack. Ein Stack ist ein spezieller Zwischenspeicher. Zu speichernde Elemente (z.B. Zahlen) werden immer oben auf den Stack gelegt und von oben vom Stack wieder entfernt. Das funktioniert nach folgendem Prinzip:

1. Argumente von Funktionen (z.B. Zahlen) werden auf den Stack gesetzt
2. Eine Funktion wird ausgeführt, indem sie eine Anzahl von Argumenten vom Stack nimmt, diese verarbeitet und das Resultat wiederum als Argument für weitere Funktionen auf den Stack setzt.
3. Das oberste Stack-Element zeigt jeweils die letzte Eingabe oder das letzte Resultat einer Funktion an.
4. Die Anzahl Argumente, die eine Funktion benötigt, kann beliebig gross sein. Es muss nur dafür gesorgt werden, dass mindestens so viele Elemente auf dem Stack sind, wie die Funktion benötigt. Eine Wurzel-Funktion benötigt zum Beispiel nur ein Argument, eine Multiplikation braucht zwei Argumente.

Die folgenden Beispiele verdeutlichen die Arbeitsweise des Stacks anhand eines HP-Taschenrechners. Es zeigt, wie Formeln eingegeben werden und wie man komplett auf Klammern verzichten kann. Die Gruppierung der Terme erfolgt alleine durch die Reihenfolge der Eingabe:

Erklärung Beispiel 1

Zwei Dinge sind zu beachten:

• Die Eingabezeile zeigt entweder die aktuelle Eingabe an oder nach der Ausführung einer Operation das oberste Stack-Element, also das Resultat der Operation
• Um die Eingabe einer Zahl abzuschliessen, muss Enter gedrückt werden. Enter muss nicht gedrückt werden, wenn nach der Eingabe einer Zahl eine Funktions-Taste gedrückt wird. Enter muss somit nur zwischen der Eingabe zweier Zahlen gedrückt werden.

Die UPN hat den grossen Vorteil, dass alle Zwischenergebnisse der Berechungen angezeigt werden. Bei Taschenrechnern mit Klammereingabe wird oft erst bei der letzten schliessenden Klammer die Berechnung gestartet und nur das Endresultat angezeigt. Da bei der UPN Eingabe überhaupt keine Klammern gebraucht werden, müssen meist weniger Tasten gedrückt werden, als bei der sequenziellen Eingabe.

Anwendung von UPN für einen TeX-Editor

Mir kam die Idee, dass man das UPN-Prinzip auch bei TeX-Formeln anwenden könnte. Dies würde wiefolgt aussehen:

1. Symbole oder Terme in einer Eingabezeile eingeben.
2. Die Eingabe wird mit Enter auf den Stack gesetzt.
3. Operation auf die Elemente auf dem Stack anwenden und das Resultat auf den Stack setzen
4. Bei jedem Schritt den Stack in TeX-Syntax und als Formel darstellen

Im Unterschied zu einem Taschenrechner würden Operatoren nicht Berechnungen anstellen, sondern Teile von TeX-Code auf vielfältige Weise miteinander verbinden.

Die TeX-Klammerung wird dabei vollständig vom Editor übernommen.

Der Editor zeigt den ganzen Stack in TeX-Syntax und die obersten vier Stack-Elemente als Formel an. Man sieht sofort das Resultat jedes Schrittes.

Wenn ein Schritt nicht das gewünschte Resultat ergibt, kann man per undo-Operator jeden Schritt rückgängig machen und eine andere Variante probieren.

Weitere Möglicheiten und Infos

Der UPN TeX Editor unterstützt die Formeleingabe noch mit vielen weiteren Möglichkeiten:

• Eingabe in TeX-Syntax möglich und kann mit UPN gemischt werden (Vorteile beider Welten nutzen).
• Unbeschränkt grosser Stack
• Beliebig grosser Speicher zum Abspeichern von Resultaten, Abkürzungen und selbstdefinierten Operatoren
• Stack und Speicher können direkt editiert werden
• Viele Operatoren eingebaut.
• Zahlen und Einheiten lassen sich eingeben wie bei einem Taschenrechner.
• Schriftarten wie Roman (mathrm) und Boldface (mathbf) lassen sich durch Voranstellen von $ bzw. @ vor einen Symbolnamen wählen.
• Input-History zum Abruf alter Eingaben
• Unbeschränkte Undo/Redo-Funktion
• Zustand und Speicher des UPN Editors werden fortlaufend in einem Cookie ein Jahr lang gespeichert. So gehen keine Eingaben durch Fehlbedienung verloren und bei jedem Aufruf der Seite wird der letzte Zustand wieder hergestellt.