So schreiben Sie Ihre erste Schnittstelle zu TeXmacs

Beachten Sie bitte, dass Sie den Quellcode des Anwenderprogramms haben müssen, denn die Schnittstelle erzeugen Sie in diesem Programm.

Wenn Sie eine Schnittstelle in TeXmacs schreiben wollen, empfehlen wir Ihnen die folgenden Schritte:

1. Erzeugen Sie eine –texmacs Option für das Anwenderprogramm, die benutzt wird, wenn das Programm von TeXmacs aus aufgerufen wird.
2. Modifizieren Sie die Ausgaberoutinen so, dass für TeXmacs verständliche Ausgaben erzeugt werden, wenn das Programm mit der Option –texmacs gestartet wurde.
3. Erzeugen Sie ein mycas Skript, in einem Verzeichnis Ihres Suchpfades, das Ihr Anwenderprogramm mit der Option –texmacs aufruft.

danach wird Ihr Programm unter dem Namen Mycas in dem Menü Einfügen→Sitzung zur Verfügung stehen. Wir werden später erklären, wie Sie dafür sorgen können, dass das Programm unter seinem eigenen Namen erscheint, wie man es anpassen kann und wie man die Schnittstelle in die eigentliche TeXmacs-Distribution inkorporiert.

Normalerweise ist es der zweite Schritt, der die meisten Schwierigkeiten macht und die meiste Zeit kostet. Wenn saubere Ausgabe-Routinen existieren, einschließlich derjenigen für die Fehlermeldungen, dann reicht es im allgemeinen aus, diese, dem mycas-Beispiel folgend, zu modifizieren und die existierenden LaTeX-Ausgabe-Routinen zu benutzen, die die meisten Systeme haben.

Zur Zeit haben wir nur LaTeX-als Standard-Format implementiert, da dieses Format das meist benutzte für mathematische Formeln ist. Für die Zukunft planen wir die Implementierung weiterer, semantisch sichererer Formate. Wir empfehlen, daran zu denken, dass das Baum-Format benutzt werden kann, um die Ausgabe zu übertragen.

Zum Standard-LaTeXhaben wir \* und \bignone Befehle für die Multiplikation und zum Abschluss von großen Operator-Symbolen. Damit kann unterschieden werden, zwischen

    a \* (b + c)

(d.h. a multipliziert mit b + c)

und

    f(x + y).

(d.h f angewendet auf x + y).

Ganz ähnlich:

    \sum_{i=1}^m a_i \bignone + \sum_{j=1}^n b_j \bignone

Hier wird der \bignone Befehl benutzt, um das Kontext-Ende für den \sum Operator zu markieren.

Es zeigt sich, dass der systematische Gebrauch von \* und \bignone in Kombination mit sauberer LaTeX-Ausgabe für die verbleibenden Konstrukte, es a priori ermöglichst, der Ausgabe eine passende Bedeutung zu geben. Insbesondere können zusätzliche Routinen zum Kopieren und Einfügen zwischen verschiedenartigen Systemen formuliert werden.