1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
|
<TeXmacs|1.0.4.5>
<style|tmdoc>
<\body>
<tmdoc-title|Formatierte und strukturierte Ausgabe>
Im vorgngigen <hyper-link|Kapitel|interface-pipes.de.tm>, haben wir
beschrieben, dass Ausgabe in Blcke der Form
<\quotation>
<framed-fragment|<verbatim|<render-key|DATA_BEGIN><em|format>:<em|message><render-key|DATA_END>>>
</quotation>
einzukapseln sind. Die Ausgabe <verbatim|<em|message>> kann rekursiv mehrer
Blcke der gleichen Form in einander verschachtelt enthalten. Als Formate
sind z.Z. <verbatim|verbatim>, <verbatim|latex>, <verbatim|html>,
<verbatim|ps>, <verbatim|scheme> implementiert. Das <verbatim|scheme>
Format dient zur bertragung von <TeXmacs>-Bumen codiert als
\ <value|scheme>-Ausdrcke.
<paragraph*|Das <verbatim|formula> plugin>
Das Plugin <verbatim|formula> zeigt, wie das <LaTeX>-Format als
Ausgabe-Format verwendet wird. Es besteht aus den Dateien
<\verbatim>
\ \ \ \ <example-plugin-link|formula/Makefile>
\ \ \ \ <example-plugin-link|formula/progs/init-formula.scm>
\ \ \ \ <example-plugin-link|formula/src/formula.cpp>
</verbatim>
Der Rumpf der Hauptschleife in <verbatim|formula.cpp> besteht aus den
folgenden Zeilen:
<\cpp-fragment>
int i, nr;
cin \<gtr\>\<gtr\> nr;
cout \<less\>\<less\> DATA_BEGIN \<less\>\<less\> "latex:";
cout \<less\>\<less\> "$";
for (i=1; i\<less\>nr; i++)
\ \ cout \<less\>\<less\> "x_{" \<less\>\<less\> i \<less\>\<less\> "}+";
cout \<less\>\<less\> "x_{" \<less\>\<less\> i \<less\>\<less\> "}$";
cout \<less\>\<less\> DATA_END;
fflush (stdout);
</cpp-fragment>
In hnlicher Weise wird mit dem Plugin <verbatim|nested> gezeigt, wie man
mit verschachtelten Ausgabe-Blcken arbeitet. Studieren Sie vor allem die
Quellcode-Datei <example-plugin-link|nested/src/nested.cpp>.
<\remark>
Im Moment haben wir nur <LaTeX> als ein Standard-bertragungsformat fr
mathematische Formeln definiert, denn es ist das am hufigsten benutzte
Format. Fr 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-<LaTeX>haben wir <verbatim|\\*> und <verbatim|\\bignone>
Befehle fr die Multiplikation und zum Abschluss von groen
Operator-Symbolen. Damit kann unterschieden werden, zwischen
<\verbatim>
\ \ \ \ a \\* (b + c)
</verbatim>
(d.h. <with|mode|math|a> multipliziert mit <with|mode|math|b+c>)\
und
<\verbatim>
\ \ \ \ f(x + y).
</verbatim>
(d.h <with|mode|math|f> angewendet auf <with|mode|math|x+y>).\
Ganz hnlich:
<\verbatim>
\ \ \ \ \\sum_{i=1}^m a_i \\bignone + \\sum_{j=1}^n b_j \\bignone
</verbatim>
Hier wird der <verbatim|\\bignone> Befehl benutzt, um das Kontext-Ende
fr den <verbatim|\\sum> Operator zu markieren.
Es zeigt sich, dass der systematische Gebrauch von <verbatim|\\*> und
<verbatim|\\bignone> in Kombination mit sauberer <LaTeX>-Ausgabe fr die
verbleibenden Konstrukte, es <with|font-shape|italic|a priori>
ermglichst, der Ausgabe eine passende Bedeutung zu geben. Insbesondere
knnen zustzliche Routinen zum Kopieren und Einfgen zwischen
verschiedenartigen Systemen formuliert werden.
</remark>
<paragraph*|Das <verbatim|markup> plugin>
Man sollte immer im Gedchtnis behalten, dass eine strukturierte Ausgabe
mit den Strken von <TeXmacs> als strukturierter Editor genutzt werden kann
und sollte. Im folgenden wollen wir mit dem Beispiel-Plugin
<verbatim|markup> zeigen, wie man ein neues Makro <markup|foo> einfhrt,
das als zustzliches Konstrukt in der Ausgabe der Anwendung genutzt wird.
Das Plugins <verbatim|markup> besteht aus den folgenden Zeilen:
<\verbatim>
\ \ \ \ <example-plugin-link|markup/Makefile>
\ \ \ \ <example-plugin-link|markup/packages/session/markup.ts>
\ \ \ \ <example-plugin-link|markup/progs/init-markup.scm>
\ \ \ \ <example-plugin-link|markup/src/markup.cpp>
</verbatim>
Das Stil-Paket <tmpackage|markup.ts> enthlt die folgende Definition von
<markup|foo>:
<\tm-fragment>
<with|preamble|true|<with|mode|math|<inactive|<assign|foo|<macro|x|<frac|1|1+<arg|x>>>>>>>
</tm-fragment>
Das Makro <markup|foo> wird jetzt folgendermaen im Rumpf der Hauptschleife
von <verbatim|markup.cpp> genutzt:
<\cpp-fragment>
char buffer[100];
cin.getline (buffer, 100, '\\n');
cout \<less\>\<less\> DATA_BEGIN \<less\>\<less\> "latex:";
cout \<less\>\<less\> "$\\\\foo{" \<less\>\<less\> buffer
\<less\>\<less\> "}$";
cout \<less\>\<less\> DATA_END;
fflush (stdout);
</cpp-fragment>
Beachten Sie bitte, dass das <tmpackage|markup.ts> Paket auch
<markup|markup-output> definiert:
<\tm-fragment>
<with|preamble|true|<inactive|<assign|markup-output|<macro|body|<generic-output|<with|par-mode|center|<arg|body>>>>>>>
</tm-fragment>
Auf diese Weise wird die Ausgabe zentriert, wenn sie mit
<menu|Insert|Session|Markup> gestartet werden.
<tmdoc-copyright|1998--2002|Joris van der Hoeven>
<tmdoc-license|Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.1
or any later version published by the Free Software Foundation; with no
Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
Texts. A copy of the license is included in the section entitled "GNU Free
Documentation License".>
</body>
<\initial>
<\collection>
<associate|language|german>
<associate|preamble|false>
</collection>
</initial>
|
