metanorma-cc 2.8.8 → 2.8.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/.rubocop.yml +22 -1
- data/lib/isodoc/cc/cc.standard.xsl +159 -81
- data/lib/isodoc/cc/html/_coverpage.css +5 -0
- data/lib/isodoc/cc/html/htmlstyle.css +5 -0
- data/lib/metanorma/cc/basicdoc.rng +31 -6
- data/lib/metanorma/cc/isodoc.rng +22 -3
- data/lib/metanorma/cc/mathml4-content.rng +1568 -0
- data/lib/metanorma/cc/mathml4-core.rng +1041 -0
- data/lib/metanorma/cc/mathml4-presentation.rng +1448 -0
- data/lib/metanorma/cc/mathml4-strict-content.rng +289 -0
- data/lib/metanorma/cc/mathml4.rng +30 -0
- data/lib/metanorma/cc/metanorma-mathml.rng +59 -0
- data/lib/metanorma/cc/reqt.rng +10 -2
- data/lib/metanorma/cc/version.rb +1 -1
- data/metanorma-cc.gemspec +1 -1
- metadata +10 -8
- data/.hound.yml +0 -5
|
@@ -0,0 +1,1568 @@
|
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
+
<!--
|
|
3
|
+
MathML 4 (Content)
|
|
4
|
+
##################
|
|
5
|
+
-->
|
|
6
|
+
<!--
|
|
7
|
+
Copyright 1998-2026 W3C (MIT, ERCIM, Keio, Beihang)
|
|
8
|
+
|
|
9
|
+
Use and distribution of this code are permitted under the terms
|
|
10
|
+
W3C Software Notice and License
|
|
11
|
+
http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231
|
|
12
|
+
-->
|
|
13
|
+
<grammar ns="http://www.w3.org/1998/Math/MathML" xmlns="http://relaxng.org/ns/structure/1.0" datatypeLibrary="http://www.w3.org/2001/XMLSchema-datatypes">
|
|
14
|
+
<include href="mathml4-strict-content.rng">
|
|
15
|
+
<define name="cn.content">
|
|
16
|
+
<zeroOrMore>
|
|
17
|
+
<choice>
|
|
18
|
+
<text/>
|
|
19
|
+
<ref name="sep"/>
|
|
20
|
+
<ref name="PresentationExpression"/>
|
|
21
|
+
</choice>
|
|
22
|
+
</zeroOrMore>
|
|
23
|
+
</define>
|
|
24
|
+
<define name="cn.attributes">
|
|
25
|
+
<ref name="CommonAtt"/>
|
|
26
|
+
<ref name="DefEncAtt"/>
|
|
27
|
+
<optional>
|
|
28
|
+
<attribute name="type"/>
|
|
29
|
+
</optional>
|
|
30
|
+
<optional>
|
|
31
|
+
<ref name="base"/>
|
|
32
|
+
</optional>
|
|
33
|
+
</define>
|
|
34
|
+
<define name="ci.attributes">
|
|
35
|
+
<ref name="CommonAtt"/>
|
|
36
|
+
<ref name="DefEncAtt"/>
|
|
37
|
+
<optional>
|
|
38
|
+
<ref name="ci.type"/>
|
|
39
|
+
</optional>
|
|
40
|
+
</define>
|
|
41
|
+
<define name="ci.type">
|
|
42
|
+
<attribute name="type"/>
|
|
43
|
+
</define>
|
|
44
|
+
<define name="ci.content">
|
|
45
|
+
<zeroOrMore>
|
|
46
|
+
<choice>
|
|
47
|
+
<text/>
|
|
48
|
+
<ref name="PresentationExpression"/>
|
|
49
|
+
</choice>
|
|
50
|
+
</zeroOrMore>
|
|
51
|
+
</define>
|
|
52
|
+
<define name="csymbol.attributes">
|
|
53
|
+
<ref name="CommonAtt"/>
|
|
54
|
+
<ref name="DefEncAtt"/>
|
|
55
|
+
<optional>
|
|
56
|
+
<attribute name="type"/>
|
|
57
|
+
</optional>
|
|
58
|
+
<optional>
|
|
59
|
+
<ref name="cd"/>
|
|
60
|
+
</optional>
|
|
61
|
+
</define>
|
|
62
|
+
<define name="csymbol.content">
|
|
63
|
+
<zeroOrMore>
|
|
64
|
+
<choice>
|
|
65
|
+
<text/>
|
|
66
|
+
<ref name="PresentationExpression"/>
|
|
67
|
+
</choice>
|
|
68
|
+
</zeroOrMore>
|
|
69
|
+
</define>
|
|
70
|
+
<define name="annotation-xml.attributes" combine="choice">
|
|
71
|
+
<ref name="CommonAtt"/>
|
|
72
|
+
<optional>
|
|
73
|
+
<ref name="cd"/>
|
|
74
|
+
</optional>
|
|
75
|
+
<optional>
|
|
76
|
+
<ref name="name"/>
|
|
77
|
+
</optional>
|
|
78
|
+
<optional>
|
|
79
|
+
<ref name="encoding"/>
|
|
80
|
+
</optional>
|
|
81
|
+
</define>
|
|
82
|
+
<define name="bvar">
|
|
83
|
+
<element name="bvar">
|
|
84
|
+
<ref name="CommonAtt"/>
|
|
85
|
+
<interleave>
|
|
86
|
+
<choice>
|
|
87
|
+
<ref name="ci"/>
|
|
88
|
+
<ref name="semantics-ci"/>
|
|
89
|
+
</choice>
|
|
90
|
+
<optional>
|
|
91
|
+
<ref name="degree"/>
|
|
92
|
+
</optional>
|
|
93
|
+
</interleave>
|
|
94
|
+
</element>
|
|
95
|
+
</define>
|
|
96
|
+
<define name="cbytes.attributes">
|
|
97
|
+
<ref name="CommonAtt"/>
|
|
98
|
+
<ref name="DefEncAtt"/>
|
|
99
|
+
</define>
|
|
100
|
+
<define name="cs.attributes">
|
|
101
|
+
<ref name="CommonAtt"/>
|
|
102
|
+
<ref name="DefEncAtt"/>
|
|
103
|
+
</define>
|
|
104
|
+
<define name="apply.content">
|
|
105
|
+
<choice>
|
|
106
|
+
<oneOrMore>
|
|
107
|
+
<ref name="ContExp"/>
|
|
108
|
+
</oneOrMore>
|
|
109
|
+
<group>
|
|
110
|
+
<ref name="ContExp"/>
|
|
111
|
+
<ref name="BvarQ"/>
|
|
112
|
+
<zeroOrMore>
|
|
113
|
+
<ref name="Qualifier"/>
|
|
114
|
+
</zeroOrMore>
|
|
115
|
+
<zeroOrMore>
|
|
116
|
+
<ref name="ContExp"/>
|
|
117
|
+
</zeroOrMore>
|
|
118
|
+
</group>
|
|
119
|
+
</choice>
|
|
120
|
+
</define>
|
|
121
|
+
<define name="bind.content">
|
|
122
|
+
<ref name="apply.content"/>
|
|
123
|
+
</define>
|
|
124
|
+
</include>
|
|
125
|
+
<define name="NonMathMLAtt" combine="choice">
|
|
126
|
+
<attribute>
|
|
127
|
+
<anyName>
|
|
128
|
+
<except>
|
|
129
|
+
<nsName ns=""/>
|
|
130
|
+
<nsName/>
|
|
131
|
+
</except>
|
|
132
|
+
</anyName>
|
|
133
|
+
<data type="string"/>
|
|
134
|
+
</attribute>
|
|
135
|
+
</define>
|
|
136
|
+
<!--
|
|
137
|
+
METANORMA MODIFICATION (basicdoc-models#39): upstream re-adds
|
|
138
|
+
`attribute alttext` to math.attributes here, but mathml4-core.rnc already
|
|
139
|
+
defines it on math; RELAX NG's duplicate-attribute restriction rejects the
|
|
140
|
+
composed grammar (jing: 'duplicate attribute "alttext"').
|
|
141
|
+
Upstream text was:
|
|
142
|
+
math.attributes &=
|
|
143
|
+
attribute alttext {text}?
|
|
144
|
+
-->
|
|
145
|
+
<!--
|
|
146
|
+
METANORMA MODIFICATION (basicdoc-models#39): upstream re-adds the
|
|
147
|
+
`data-other` placeholder to MathMLDataAttributes here; dropped for the
|
|
148
|
+
same reason as the core placeholder (see mathml4-core.rnc modification).
|
|
149
|
+
Upstream text was:
|
|
150
|
+
MathMLDataAttributes &=
|
|
151
|
+
attribute data-other {text}?
|
|
152
|
+
-->
|
|
153
|
+
<define name="CommonAtt" combine="interleave">
|
|
154
|
+
<zeroOrMore>
|
|
155
|
+
<ref name="NonMathMLAtt"/>
|
|
156
|
+
</zeroOrMore>
|
|
157
|
+
<ref name="MathMLDataAttributes"/>
|
|
158
|
+
<optional>
|
|
159
|
+
<attribute name="class">
|
|
160
|
+
<data type="NCName"/>
|
|
161
|
+
</attribute>
|
|
162
|
+
</optional>
|
|
163
|
+
<optional>
|
|
164
|
+
<attribute name="style">
|
|
165
|
+
<data type="string"/>
|
|
166
|
+
</attribute>
|
|
167
|
+
</optional>
|
|
168
|
+
<optional>
|
|
169
|
+
<attribute name="href">
|
|
170
|
+
<data type="anyURI"/>
|
|
171
|
+
</attribute>
|
|
172
|
+
</optional>
|
|
173
|
+
<optional>
|
|
174
|
+
<attribute name="intent"/>
|
|
175
|
+
</optional>
|
|
176
|
+
<optional>
|
|
177
|
+
<attribute name="arg">
|
|
178
|
+
<data type="NCName"/>
|
|
179
|
+
</attribute>
|
|
180
|
+
</optional>
|
|
181
|
+
</define>
|
|
182
|
+
<define name="base">
|
|
183
|
+
<attribute name="base"/>
|
|
184
|
+
</define>
|
|
185
|
+
<define name="sep">
|
|
186
|
+
<element name="sep">
|
|
187
|
+
<empty/>
|
|
188
|
+
</element>
|
|
189
|
+
</define>
|
|
190
|
+
<define name="PresentationExpression" combine="choice">
|
|
191
|
+
<notAllowed/>
|
|
192
|
+
</define>
|
|
193
|
+
<define name="DefEncAtt">
|
|
194
|
+
<optional>
|
|
195
|
+
<attribute name="encoding">
|
|
196
|
+
<data type="string"/>
|
|
197
|
+
</attribute>
|
|
198
|
+
</optional>
|
|
199
|
+
<optional>
|
|
200
|
+
<attribute name="definitionURL">
|
|
201
|
+
<data type="anyURI"/>
|
|
202
|
+
</attribute>
|
|
203
|
+
</optional>
|
|
204
|
+
</define>
|
|
205
|
+
<define name="DomainQ">
|
|
206
|
+
<zeroOrMore>
|
|
207
|
+
<choice>
|
|
208
|
+
<ref name="domainofapplication"/>
|
|
209
|
+
<ref name="condition"/>
|
|
210
|
+
<ref name="interval"/>
|
|
211
|
+
<group>
|
|
212
|
+
<ref name="lowlimit"/>
|
|
213
|
+
<optional>
|
|
214
|
+
<ref name="uplimit"/>
|
|
215
|
+
</optional>
|
|
216
|
+
</group>
|
|
217
|
+
</choice>
|
|
218
|
+
</zeroOrMore>
|
|
219
|
+
</define>
|
|
220
|
+
<define name="domainofapplication">
|
|
221
|
+
<element name="domainofapplication">
|
|
222
|
+
<ref name="ContExp"/>
|
|
223
|
+
</element>
|
|
224
|
+
</define>
|
|
225
|
+
<define name="condition">
|
|
226
|
+
<element name="condition">
|
|
227
|
+
<ref name="ContExp"/>
|
|
228
|
+
</element>
|
|
229
|
+
</define>
|
|
230
|
+
<define name="uplimit">
|
|
231
|
+
<element name="uplimit">
|
|
232
|
+
<ref name="ContExp"/>
|
|
233
|
+
</element>
|
|
234
|
+
</define>
|
|
235
|
+
<define name="lowlimit">
|
|
236
|
+
<element name="lowlimit">
|
|
237
|
+
<ref name="ContExp"/>
|
|
238
|
+
</element>
|
|
239
|
+
</define>
|
|
240
|
+
<define name="Qualifier">
|
|
241
|
+
<choice>
|
|
242
|
+
<ref name="DomainQ"/>
|
|
243
|
+
<ref name="degree"/>
|
|
244
|
+
<ref name="momentabout"/>
|
|
245
|
+
<ref name="logbase"/>
|
|
246
|
+
</choice>
|
|
247
|
+
</define>
|
|
248
|
+
<define name="degree">
|
|
249
|
+
<element name="degree">
|
|
250
|
+
<ref name="ContExp"/>
|
|
251
|
+
</element>
|
|
252
|
+
</define>
|
|
253
|
+
<define name="momentabout">
|
|
254
|
+
<element name="momentabout">
|
|
255
|
+
<ref name="ContExp"/>
|
|
256
|
+
</element>
|
|
257
|
+
</define>
|
|
258
|
+
<define name="logbase">
|
|
259
|
+
<element name="logbase">
|
|
260
|
+
<ref name="ContExp"/>
|
|
261
|
+
</element>
|
|
262
|
+
</define>
|
|
263
|
+
<define name="type">
|
|
264
|
+
<attribute name="type"/>
|
|
265
|
+
</define>
|
|
266
|
+
<define name="order">
|
|
267
|
+
<attribute name="order">
|
|
268
|
+
<choice>
|
|
269
|
+
<value>numeric</value>
|
|
270
|
+
<value>lexicographic</value>
|
|
271
|
+
</choice>
|
|
272
|
+
</attribute>
|
|
273
|
+
</define>
|
|
274
|
+
<define name="closure">
|
|
275
|
+
<attribute name="closure"/>
|
|
276
|
+
</define>
|
|
277
|
+
<define name="ContExp" combine="choice">
|
|
278
|
+
<ref name="piecewise"/>
|
|
279
|
+
</define>
|
|
280
|
+
<define name="piecewise">
|
|
281
|
+
<element name="piecewise">
|
|
282
|
+
<ref name="CommonAtt"/>
|
|
283
|
+
<ref name="DefEncAtt"/>
|
|
284
|
+
<interleave>
|
|
285
|
+
<zeroOrMore>
|
|
286
|
+
<ref name="piece"/>
|
|
287
|
+
</zeroOrMore>
|
|
288
|
+
<optional>
|
|
289
|
+
<ref name="otherwise"/>
|
|
290
|
+
</optional>
|
|
291
|
+
</interleave>
|
|
292
|
+
</element>
|
|
293
|
+
</define>
|
|
294
|
+
<define name="piece">
|
|
295
|
+
<element name="piece">
|
|
296
|
+
<ref name="CommonAtt"/>
|
|
297
|
+
<ref name="DefEncAtt"/>
|
|
298
|
+
<ref name="ContExp"/>
|
|
299
|
+
<ref name="ContExp"/>
|
|
300
|
+
</element>
|
|
301
|
+
</define>
|
|
302
|
+
<define name="otherwise">
|
|
303
|
+
<element name="otherwise">
|
|
304
|
+
<ref name="CommonAtt"/>
|
|
305
|
+
<ref name="DefEncAtt"/>
|
|
306
|
+
<ref name="ContExp"/>
|
|
307
|
+
</element>
|
|
308
|
+
</define>
|
|
309
|
+
<define name="interval.class">
|
|
310
|
+
<ref name="interval"/>
|
|
311
|
+
</define>
|
|
312
|
+
<define name="ContExp" combine="choice">
|
|
313
|
+
<ref name="interval.class"/>
|
|
314
|
+
</define>
|
|
315
|
+
<define name="interval">
|
|
316
|
+
<element name="interval">
|
|
317
|
+
<ref name="CommonAtt"/>
|
|
318
|
+
<ref name="DefEncAtt"/>
|
|
319
|
+
<optional>
|
|
320
|
+
<ref name="closure"/>
|
|
321
|
+
</optional>
|
|
322
|
+
<ref name="ContExp"/>
|
|
323
|
+
<ref name="ContExp"/>
|
|
324
|
+
</element>
|
|
325
|
+
</define>
|
|
326
|
+
<define name="unary-functional.class">
|
|
327
|
+
<choice>
|
|
328
|
+
<ref name="inverse"/>
|
|
329
|
+
<ref name="ident"/>
|
|
330
|
+
<ref name="domain"/>
|
|
331
|
+
<ref name="codomain"/>
|
|
332
|
+
<ref name="image"/>
|
|
333
|
+
<ref name="ln"/>
|
|
334
|
+
<ref name="log"/>
|
|
335
|
+
<ref name="moment"/>
|
|
336
|
+
</choice>
|
|
337
|
+
</define>
|
|
338
|
+
<define name="ContExp" combine="choice">
|
|
339
|
+
<ref name="unary-functional.class"/>
|
|
340
|
+
</define>
|
|
341
|
+
<define name="inverse">
|
|
342
|
+
<element name="inverse">
|
|
343
|
+
<ref name="CommonAtt"/>
|
|
344
|
+
<ref name="DefEncAtt"/>
|
|
345
|
+
<empty/>
|
|
346
|
+
</element>
|
|
347
|
+
</define>
|
|
348
|
+
<define name="ident">
|
|
349
|
+
<element name="ident">
|
|
350
|
+
<ref name="CommonAtt"/>
|
|
351
|
+
<ref name="DefEncAtt"/>
|
|
352
|
+
<empty/>
|
|
353
|
+
</element>
|
|
354
|
+
</define>
|
|
355
|
+
<define name="domain">
|
|
356
|
+
<element name="domain">
|
|
357
|
+
<ref name="CommonAtt"/>
|
|
358
|
+
<ref name="DefEncAtt"/>
|
|
359
|
+
<empty/>
|
|
360
|
+
</element>
|
|
361
|
+
</define>
|
|
362
|
+
<define name="codomain">
|
|
363
|
+
<element name="codomain">
|
|
364
|
+
<ref name="CommonAtt"/>
|
|
365
|
+
<ref name="DefEncAtt"/>
|
|
366
|
+
<empty/>
|
|
367
|
+
</element>
|
|
368
|
+
</define>
|
|
369
|
+
<define name="image">
|
|
370
|
+
<element name="image">
|
|
371
|
+
<ref name="CommonAtt"/>
|
|
372
|
+
<ref name="DefEncAtt"/>
|
|
373
|
+
<empty/>
|
|
374
|
+
</element>
|
|
375
|
+
</define>
|
|
376
|
+
<define name="ln">
|
|
377
|
+
<element name="ln">
|
|
378
|
+
<ref name="CommonAtt"/>
|
|
379
|
+
<ref name="DefEncAtt"/>
|
|
380
|
+
<empty/>
|
|
381
|
+
</element>
|
|
382
|
+
</define>
|
|
383
|
+
<define name="log">
|
|
384
|
+
<element name="log">
|
|
385
|
+
<ref name="CommonAtt"/>
|
|
386
|
+
<ref name="DefEncAtt"/>
|
|
387
|
+
<empty/>
|
|
388
|
+
</element>
|
|
389
|
+
</define>
|
|
390
|
+
<define name="moment">
|
|
391
|
+
<element name="moment">
|
|
392
|
+
<ref name="CommonAtt"/>
|
|
393
|
+
<ref name="DefEncAtt"/>
|
|
394
|
+
<empty/>
|
|
395
|
+
</element>
|
|
396
|
+
</define>
|
|
397
|
+
<define name="lambda.class">
|
|
398
|
+
<ref name="lambda"/>
|
|
399
|
+
</define>
|
|
400
|
+
<define name="ContExp" combine="choice">
|
|
401
|
+
<ref name="lambda.class"/>
|
|
402
|
+
</define>
|
|
403
|
+
<define name="lambda">
|
|
404
|
+
<element name="lambda">
|
|
405
|
+
<ref name="CommonAtt"/>
|
|
406
|
+
<ref name="DefEncAtt"/>
|
|
407
|
+
<ref name="BvarQ"/>
|
|
408
|
+
<ref name="DomainQ"/>
|
|
409
|
+
<ref name="ContExp"/>
|
|
410
|
+
</element>
|
|
411
|
+
</define>
|
|
412
|
+
<define name="nary-functional.class">
|
|
413
|
+
<ref name="compose"/>
|
|
414
|
+
</define>
|
|
415
|
+
<define name="ContExp" combine="choice">
|
|
416
|
+
<ref name="nary-functional.class"/>
|
|
417
|
+
</define>
|
|
418
|
+
<define name="compose">
|
|
419
|
+
<element name="compose">
|
|
420
|
+
<ref name="CommonAtt"/>
|
|
421
|
+
<ref name="DefEncAtt"/>
|
|
422
|
+
<empty/>
|
|
423
|
+
</element>
|
|
424
|
+
</define>
|
|
425
|
+
<define name="binary-arith.class">
|
|
426
|
+
<choice>
|
|
427
|
+
<ref name="quotient"/>
|
|
428
|
+
<ref name="divide"/>
|
|
429
|
+
<ref name="minus"/>
|
|
430
|
+
<ref name="power"/>
|
|
431
|
+
<ref name="rem"/>
|
|
432
|
+
<ref name="root"/>
|
|
433
|
+
</choice>
|
|
434
|
+
</define>
|
|
435
|
+
<define name="ContExp" combine="choice">
|
|
436
|
+
<ref name="binary-arith.class"/>
|
|
437
|
+
</define>
|
|
438
|
+
<define name="quotient">
|
|
439
|
+
<element name="quotient">
|
|
440
|
+
<ref name="CommonAtt"/>
|
|
441
|
+
<ref name="DefEncAtt"/>
|
|
442
|
+
<empty/>
|
|
443
|
+
</element>
|
|
444
|
+
</define>
|
|
445
|
+
<define name="divide">
|
|
446
|
+
<element name="divide">
|
|
447
|
+
<ref name="CommonAtt"/>
|
|
448
|
+
<ref name="DefEncAtt"/>
|
|
449
|
+
<empty/>
|
|
450
|
+
</element>
|
|
451
|
+
</define>
|
|
452
|
+
<define name="minus">
|
|
453
|
+
<element name="minus">
|
|
454
|
+
<ref name="CommonAtt"/>
|
|
455
|
+
<ref name="DefEncAtt"/>
|
|
456
|
+
<empty/>
|
|
457
|
+
</element>
|
|
458
|
+
</define>
|
|
459
|
+
<define name="power">
|
|
460
|
+
<element name="power">
|
|
461
|
+
<ref name="CommonAtt"/>
|
|
462
|
+
<ref name="DefEncAtt"/>
|
|
463
|
+
<empty/>
|
|
464
|
+
</element>
|
|
465
|
+
</define>
|
|
466
|
+
<define name="rem">
|
|
467
|
+
<element name="rem">
|
|
468
|
+
<ref name="CommonAtt"/>
|
|
469
|
+
<ref name="DefEncAtt"/>
|
|
470
|
+
<empty/>
|
|
471
|
+
</element>
|
|
472
|
+
</define>
|
|
473
|
+
<define name="root">
|
|
474
|
+
<element name="root">
|
|
475
|
+
<ref name="CommonAtt"/>
|
|
476
|
+
<ref name="DefEncAtt"/>
|
|
477
|
+
<empty/>
|
|
478
|
+
</element>
|
|
479
|
+
</define>
|
|
480
|
+
<define name="unary-arith.class">
|
|
481
|
+
<choice>
|
|
482
|
+
<ref name="factorial"/>
|
|
483
|
+
<ref name="minus"/>
|
|
484
|
+
<ref name="root"/>
|
|
485
|
+
<ref name="abs"/>
|
|
486
|
+
<ref name="conjugate"/>
|
|
487
|
+
<ref name="arg"/>
|
|
488
|
+
<ref name="real"/>
|
|
489
|
+
<ref name="imaginary"/>
|
|
490
|
+
<ref name="floor"/>
|
|
491
|
+
<ref name="ceiling"/>
|
|
492
|
+
<ref name="exp"/>
|
|
493
|
+
</choice>
|
|
494
|
+
</define>
|
|
495
|
+
<define name="ContExp" combine="choice">
|
|
496
|
+
<ref name="unary-arith.class"/>
|
|
497
|
+
</define>
|
|
498
|
+
<define name="factorial">
|
|
499
|
+
<element name="factorial">
|
|
500
|
+
<ref name="CommonAtt"/>
|
|
501
|
+
<ref name="DefEncAtt"/>
|
|
502
|
+
<empty/>
|
|
503
|
+
</element>
|
|
504
|
+
</define>
|
|
505
|
+
<define name="abs">
|
|
506
|
+
<element name="abs">
|
|
507
|
+
<ref name="CommonAtt"/>
|
|
508
|
+
<ref name="DefEncAtt"/>
|
|
509
|
+
<empty/>
|
|
510
|
+
</element>
|
|
511
|
+
</define>
|
|
512
|
+
<define name="conjugate">
|
|
513
|
+
<element name="conjugate">
|
|
514
|
+
<ref name="CommonAtt"/>
|
|
515
|
+
<ref name="DefEncAtt"/>
|
|
516
|
+
<empty/>
|
|
517
|
+
</element>
|
|
518
|
+
</define>
|
|
519
|
+
<define name="arg">
|
|
520
|
+
<element name="arg">
|
|
521
|
+
<ref name="CommonAtt"/>
|
|
522
|
+
<ref name="DefEncAtt"/>
|
|
523
|
+
<empty/>
|
|
524
|
+
</element>
|
|
525
|
+
</define>
|
|
526
|
+
<define name="real">
|
|
527
|
+
<element name="real">
|
|
528
|
+
<ref name="CommonAtt"/>
|
|
529
|
+
<ref name="DefEncAtt"/>
|
|
530
|
+
<empty/>
|
|
531
|
+
</element>
|
|
532
|
+
</define>
|
|
533
|
+
<define name="imaginary">
|
|
534
|
+
<element name="imaginary">
|
|
535
|
+
<ref name="CommonAtt"/>
|
|
536
|
+
<ref name="DefEncAtt"/>
|
|
537
|
+
<empty/>
|
|
538
|
+
</element>
|
|
539
|
+
</define>
|
|
540
|
+
<define name="floor">
|
|
541
|
+
<element name="floor">
|
|
542
|
+
<ref name="CommonAtt"/>
|
|
543
|
+
<ref name="DefEncAtt"/>
|
|
544
|
+
<empty/>
|
|
545
|
+
</element>
|
|
546
|
+
</define>
|
|
547
|
+
<define name="ceiling">
|
|
548
|
+
<element name="ceiling">
|
|
549
|
+
<ref name="CommonAtt"/>
|
|
550
|
+
<ref name="DefEncAtt"/>
|
|
551
|
+
<empty/>
|
|
552
|
+
</element>
|
|
553
|
+
</define>
|
|
554
|
+
<define name="exp">
|
|
555
|
+
<element name="exp">
|
|
556
|
+
<ref name="CommonAtt"/>
|
|
557
|
+
<ref name="DefEncAtt"/>
|
|
558
|
+
<empty/>
|
|
559
|
+
</element>
|
|
560
|
+
</define>
|
|
561
|
+
<define name="nary-minmax.class">
|
|
562
|
+
<choice>
|
|
563
|
+
<ref name="max"/>
|
|
564
|
+
<ref name="min"/>
|
|
565
|
+
</choice>
|
|
566
|
+
</define>
|
|
567
|
+
<define name="ContExp" combine="choice">
|
|
568
|
+
<ref name="nary-minmax.class"/>
|
|
569
|
+
</define>
|
|
570
|
+
<define name="max">
|
|
571
|
+
<element name="max">
|
|
572
|
+
<ref name="CommonAtt"/>
|
|
573
|
+
<ref name="DefEncAtt"/>
|
|
574
|
+
<empty/>
|
|
575
|
+
</element>
|
|
576
|
+
</define>
|
|
577
|
+
<define name="min">
|
|
578
|
+
<element name="min">
|
|
579
|
+
<ref name="CommonAtt"/>
|
|
580
|
+
<ref name="DefEncAtt"/>
|
|
581
|
+
<empty/>
|
|
582
|
+
</element>
|
|
583
|
+
</define>
|
|
584
|
+
<define name="nary-arith.class">
|
|
585
|
+
<choice>
|
|
586
|
+
<ref name="plus"/>
|
|
587
|
+
<ref name="times"/>
|
|
588
|
+
<ref name="gcd"/>
|
|
589
|
+
<ref name="lcm"/>
|
|
590
|
+
</choice>
|
|
591
|
+
</define>
|
|
592
|
+
<define name="ContExp" combine="choice">
|
|
593
|
+
<ref name="nary-arith.class"/>
|
|
594
|
+
</define>
|
|
595
|
+
<define name="plus">
|
|
596
|
+
<element name="plus">
|
|
597
|
+
<ref name="CommonAtt"/>
|
|
598
|
+
<ref name="DefEncAtt"/>
|
|
599
|
+
<empty/>
|
|
600
|
+
</element>
|
|
601
|
+
</define>
|
|
602
|
+
<define name="times">
|
|
603
|
+
<element name="times">
|
|
604
|
+
<ref name="CommonAtt"/>
|
|
605
|
+
<ref name="DefEncAtt"/>
|
|
606
|
+
<empty/>
|
|
607
|
+
</element>
|
|
608
|
+
</define>
|
|
609
|
+
<define name="gcd">
|
|
610
|
+
<element name="gcd">
|
|
611
|
+
<ref name="CommonAtt"/>
|
|
612
|
+
<ref name="DefEncAtt"/>
|
|
613
|
+
<empty/>
|
|
614
|
+
</element>
|
|
615
|
+
</define>
|
|
616
|
+
<define name="lcm">
|
|
617
|
+
<element name="lcm">
|
|
618
|
+
<ref name="CommonAtt"/>
|
|
619
|
+
<ref name="DefEncAtt"/>
|
|
620
|
+
<empty/>
|
|
621
|
+
</element>
|
|
622
|
+
</define>
|
|
623
|
+
<define name="nary-logical.class">
|
|
624
|
+
<choice>
|
|
625
|
+
<ref name="and"/>
|
|
626
|
+
<ref name="or"/>
|
|
627
|
+
<ref name="xor"/>
|
|
628
|
+
</choice>
|
|
629
|
+
</define>
|
|
630
|
+
<define name="ContExp" combine="choice">
|
|
631
|
+
<ref name="nary-logical.class"/>
|
|
632
|
+
</define>
|
|
633
|
+
<define name="and">
|
|
634
|
+
<element name="and">
|
|
635
|
+
<ref name="CommonAtt"/>
|
|
636
|
+
<ref name="DefEncAtt"/>
|
|
637
|
+
<empty/>
|
|
638
|
+
</element>
|
|
639
|
+
</define>
|
|
640
|
+
<define name="or">
|
|
641
|
+
<element name="or">
|
|
642
|
+
<ref name="CommonAtt"/>
|
|
643
|
+
<ref name="DefEncAtt"/>
|
|
644
|
+
<empty/>
|
|
645
|
+
</element>
|
|
646
|
+
</define>
|
|
647
|
+
<define name="xor">
|
|
648
|
+
<element name="xor">
|
|
649
|
+
<ref name="CommonAtt"/>
|
|
650
|
+
<ref name="DefEncAtt"/>
|
|
651
|
+
<empty/>
|
|
652
|
+
</element>
|
|
653
|
+
</define>
|
|
654
|
+
<define name="unary-logical.class">
|
|
655
|
+
<ref name="not"/>
|
|
656
|
+
</define>
|
|
657
|
+
<define name="ContExp" combine="choice">
|
|
658
|
+
<ref name="unary-logical.class"/>
|
|
659
|
+
</define>
|
|
660
|
+
<define name="not">
|
|
661
|
+
<element name="not">
|
|
662
|
+
<ref name="CommonAtt"/>
|
|
663
|
+
<ref name="DefEncAtt"/>
|
|
664
|
+
<empty/>
|
|
665
|
+
</element>
|
|
666
|
+
</define>
|
|
667
|
+
<define name="binary-logical.class">
|
|
668
|
+
<choice>
|
|
669
|
+
<ref name="implies"/>
|
|
670
|
+
<ref name="equivalent"/>
|
|
671
|
+
</choice>
|
|
672
|
+
</define>
|
|
673
|
+
<define name="ContExp" combine="choice">
|
|
674
|
+
<ref name="binary-logical.class"/>
|
|
675
|
+
</define>
|
|
676
|
+
<define name="implies">
|
|
677
|
+
<element name="implies">
|
|
678
|
+
<ref name="CommonAtt"/>
|
|
679
|
+
<ref name="DefEncAtt"/>
|
|
680
|
+
<empty/>
|
|
681
|
+
</element>
|
|
682
|
+
</define>
|
|
683
|
+
<define name="equivalent">
|
|
684
|
+
<element name="equivalent">
|
|
685
|
+
<ref name="CommonAtt"/>
|
|
686
|
+
<ref name="DefEncAtt"/>
|
|
687
|
+
<empty/>
|
|
688
|
+
</element>
|
|
689
|
+
</define>
|
|
690
|
+
<define name="quantifier.class">
|
|
691
|
+
<choice>
|
|
692
|
+
<ref name="forall"/>
|
|
693
|
+
<ref name="exists"/>
|
|
694
|
+
</choice>
|
|
695
|
+
</define>
|
|
696
|
+
<define name="ContExp" combine="choice">
|
|
697
|
+
<ref name="quantifier.class"/>
|
|
698
|
+
</define>
|
|
699
|
+
<define name="forall">
|
|
700
|
+
<element name="forall">
|
|
701
|
+
<ref name="CommonAtt"/>
|
|
702
|
+
<ref name="DefEncAtt"/>
|
|
703
|
+
<empty/>
|
|
704
|
+
</element>
|
|
705
|
+
</define>
|
|
706
|
+
<define name="exists">
|
|
707
|
+
<element name="exists">
|
|
708
|
+
<ref name="CommonAtt"/>
|
|
709
|
+
<ref name="DefEncAtt"/>
|
|
710
|
+
<empty/>
|
|
711
|
+
</element>
|
|
712
|
+
</define>
|
|
713
|
+
<define name="nary-reln.class">
|
|
714
|
+
<choice>
|
|
715
|
+
<ref name="eq"/>
|
|
716
|
+
<ref name="gt"/>
|
|
717
|
+
<ref name="lt"/>
|
|
718
|
+
<ref name="geq"/>
|
|
719
|
+
<ref name="leq"/>
|
|
720
|
+
</choice>
|
|
721
|
+
</define>
|
|
722
|
+
<define name="ContExp" combine="choice">
|
|
723
|
+
<ref name="nary-reln.class"/>
|
|
724
|
+
</define>
|
|
725
|
+
<define name="eq">
|
|
726
|
+
<element name="eq">
|
|
727
|
+
<ref name="CommonAtt"/>
|
|
728
|
+
<ref name="DefEncAtt"/>
|
|
729
|
+
<empty/>
|
|
730
|
+
</element>
|
|
731
|
+
</define>
|
|
732
|
+
<define name="gt">
|
|
733
|
+
<element name="gt">
|
|
734
|
+
<ref name="CommonAtt"/>
|
|
735
|
+
<ref name="DefEncAtt"/>
|
|
736
|
+
<empty/>
|
|
737
|
+
</element>
|
|
738
|
+
</define>
|
|
739
|
+
<define name="lt">
|
|
740
|
+
<element name="lt">
|
|
741
|
+
<ref name="CommonAtt"/>
|
|
742
|
+
<ref name="DefEncAtt"/>
|
|
743
|
+
<empty/>
|
|
744
|
+
</element>
|
|
745
|
+
</define>
|
|
746
|
+
<define name="geq">
|
|
747
|
+
<element name="geq">
|
|
748
|
+
<ref name="CommonAtt"/>
|
|
749
|
+
<ref name="DefEncAtt"/>
|
|
750
|
+
<empty/>
|
|
751
|
+
</element>
|
|
752
|
+
</define>
|
|
753
|
+
<define name="leq">
|
|
754
|
+
<element name="leq">
|
|
755
|
+
<ref name="CommonAtt"/>
|
|
756
|
+
<ref name="DefEncAtt"/>
|
|
757
|
+
<empty/>
|
|
758
|
+
</element>
|
|
759
|
+
</define>
|
|
760
|
+
<define name="binary-reln.class">
|
|
761
|
+
<choice>
|
|
762
|
+
<ref name="neq"/>
|
|
763
|
+
<ref name="approx"/>
|
|
764
|
+
<ref name="factorof"/>
|
|
765
|
+
<ref name="tendsto"/>
|
|
766
|
+
</choice>
|
|
767
|
+
</define>
|
|
768
|
+
<define name="ContExp" combine="choice">
|
|
769
|
+
<ref name="binary-reln.class"/>
|
|
770
|
+
</define>
|
|
771
|
+
<define name="neq">
|
|
772
|
+
<element name="neq">
|
|
773
|
+
<ref name="CommonAtt"/>
|
|
774
|
+
<ref name="DefEncAtt"/>
|
|
775
|
+
<empty/>
|
|
776
|
+
</element>
|
|
777
|
+
</define>
|
|
778
|
+
<define name="approx">
|
|
779
|
+
<element name="approx">
|
|
780
|
+
<ref name="CommonAtt"/>
|
|
781
|
+
<ref name="DefEncAtt"/>
|
|
782
|
+
<empty/>
|
|
783
|
+
</element>
|
|
784
|
+
</define>
|
|
785
|
+
<define name="factorof">
|
|
786
|
+
<element name="factorof">
|
|
787
|
+
<ref name="CommonAtt"/>
|
|
788
|
+
<ref name="DefEncAtt"/>
|
|
789
|
+
<empty/>
|
|
790
|
+
</element>
|
|
791
|
+
</define>
|
|
792
|
+
<define name="tendsto">
|
|
793
|
+
<element name="tendsto">
|
|
794
|
+
<ref name="CommonAtt"/>
|
|
795
|
+
<ref name="DefEncAtt"/>
|
|
796
|
+
<optional>
|
|
797
|
+
<ref name="type"/>
|
|
798
|
+
</optional>
|
|
799
|
+
<empty/>
|
|
800
|
+
</element>
|
|
801
|
+
</define>
|
|
802
|
+
<define name="int.class">
|
|
803
|
+
<ref name="int"/>
|
|
804
|
+
</define>
|
|
805
|
+
<define name="ContExp" combine="choice">
|
|
806
|
+
<ref name="int.class"/>
|
|
807
|
+
</define>
|
|
808
|
+
<define name="int">
|
|
809
|
+
<element name="int">
|
|
810
|
+
<ref name="CommonAtt"/>
|
|
811
|
+
<ref name="DefEncAtt"/>
|
|
812
|
+
<empty/>
|
|
813
|
+
</element>
|
|
814
|
+
</define>
|
|
815
|
+
<define name="Differential-Operator.class">
|
|
816
|
+
<ref name="diff"/>
|
|
817
|
+
</define>
|
|
818
|
+
<define name="ContExp" combine="choice">
|
|
819
|
+
<ref name="Differential-Operator.class"/>
|
|
820
|
+
</define>
|
|
821
|
+
<define name="diff">
|
|
822
|
+
<element name="diff">
|
|
823
|
+
<ref name="CommonAtt"/>
|
|
824
|
+
<ref name="DefEncAtt"/>
|
|
825
|
+
<empty/>
|
|
826
|
+
</element>
|
|
827
|
+
</define>
|
|
828
|
+
<define name="partialdiff.class">
|
|
829
|
+
<ref name="partialdiff"/>
|
|
830
|
+
</define>
|
|
831
|
+
<define name="ContExp" combine="choice">
|
|
832
|
+
<ref name="partialdiff.class"/>
|
|
833
|
+
</define>
|
|
834
|
+
<define name="partialdiff">
|
|
835
|
+
<element name="partialdiff">
|
|
836
|
+
<ref name="CommonAtt"/>
|
|
837
|
+
<ref name="DefEncAtt"/>
|
|
838
|
+
<empty/>
|
|
839
|
+
</element>
|
|
840
|
+
</define>
|
|
841
|
+
<define name="unary-veccalc.class">
|
|
842
|
+
<choice>
|
|
843
|
+
<ref name="divergence"/>
|
|
844
|
+
<ref name="grad"/>
|
|
845
|
+
<ref name="curl"/>
|
|
846
|
+
<ref name="laplacian"/>
|
|
847
|
+
</choice>
|
|
848
|
+
</define>
|
|
849
|
+
<define name="ContExp" combine="choice">
|
|
850
|
+
<ref name="unary-veccalc.class"/>
|
|
851
|
+
</define>
|
|
852
|
+
<define name="divergence">
|
|
853
|
+
<element name="divergence">
|
|
854
|
+
<ref name="CommonAtt"/>
|
|
855
|
+
<ref name="DefEncAtt"/>
|
|
856
|
+
<empty/>
|
|
857
|
+
</element>
|
|
858
|
+
</define>
|
|
859
|
+
<define name="grad">
|
|
860
|
+
<element name="grad">
|
|
861
|
+
<ref name="CommonAtt"/>
|
|
862
|
+
<ref name="DefEncAtt"/>
|
|
863
|
+
<empty/>
|
|
864
|
+
</element>
|
|
865
|
+
</define>
|
|
866
|
+
<define name="curl">
|
|
867
|
+
<element name="curl">
|
|
868
|
+
<ref name="CommonAtt"/>
|
|
869
|
+
<ref name="DefEncAtt"/>
|
|
870
|
+
<empty/>
|
|
871
|
+
</element>
|
|
872
|
+
</define>
|
|
873
|
+
<define name="laplacian">
|
|
874
|
+
<element name="laplacian">
|
|
875
|
+
<ref name="CommonAtt"/>
|
|
876
|
+
<ref name="DefEncAtt"/>
|
|
877
|
+
<empty/>
|
|
878
|
+
</element>
|
|
879
|
+
</define>
|
|
880
|
+
<define name="nary-setlist-constructor.class">
|
|
881
|
+
<choice>
|
|
882
|
+
<ref name="set"/>
|
|
883
|
+
<ref name="list"/>
|
|
884
|
+
</choice>
|
|
885
|
+
</define>
|
|
886
|
+
<define name="ContExp" combine="choice">
|
|
887
|
+
<ref name="nary-setlist-constructor.class"/>
|
|
888
|
+
</define>
|
|
889
|
+
<define name="set">
|
|
890
|
+
<element name="set">
|
|
891
|
+
<ref name="CommonAtt"/>
|
|
892
|
+
<ref name="DefEncAtt"/>
|
|
893
|
+
<optional>
|
|
894
|
+
<ref name="type"/>
|
|
895
|
+
</optional>
|
|
896
|
+
<zeroOrMore>
|
|
897
|
+
<ref name="BvarQ"/>
|
|
898
|
+
</zeroOrMore>
|
|
899
|
+
<zeroOrMore>
|
|
900
|
+
<ref name="DomainQ"/>
|
|
901
|
+
</zeroOrMore>
|
|
902
|
+
<zeroOrMore>
|
|
903
|
+
<ref name="ContExp"/>
|
|
904
|
+
</zeroOrMore>
|
|
905
|
+
</element>
|
|
906
|
+
</define>
|
|
907
|
+
<define name="list">
|
|
908
|
+
<element name="list">
|
|
909
|
+
<ref name="CommonAtt"/>
|
|
910
|
+
<ref name="DefEncAtt"/>
|
|
911
|
+
<optional>
|
|
912
|
+
<ref name="order"/>
|
|
913
|
+
</optional>
|
|
914
|
+
<zeroOrMore>
|
|
915
|
+
<ref name="BvarQ"/>
|
|
916
|
+
</zeroOrMore>
|
|
917
|
+
<zeroOrMore>
|
|
918
|
+
<ref name="DomainQ"/>
|
|
919
|
+
</zeroOrMore>
|
|
920
|
+
<zeroOrMore>
|
|
921
|
+
<ref name="ContExp"/>
|
|
922
|
+
</zeroOrMore>
|
|
923
|
+
</element>
|
|
924
|
+
</define>
|
|
925
|
+
<define name="nary-set.class">
|
|
926
|
+
<choice>
|
|
927
|
+
<ref name="union"/>
|
|
928
|
+
<ref name="intersect"/>
|
|
929
|
+
<ref name="cartesianproduct"/>
|
|
930
|
+
</choice>
|
|
931
|
+
</define>
|
|
932
|
+
<define name="ContExp" combine="choice">
|
|
933
|
+
<ref name="nary-set.class"/>
|
|
934
|
+
</define>
|
|
935
|
+
<define name="union">
|
|
936
|
+
<element name="union">
|
|
937
|
+
<ref name="CommonAtt"/>
|
|
938
|
+
<ref name="DefEncAtt"/>
|
|
939
|
+
<empty/>
|
|
940
|
+
</element>
|
|
941
|
+
</define>
|
|
942
|
+
<define name="intersect">
|
|
943
|
+
<element name="intersect">
|
|
944
|
+
<ref name="CommonAtt"/>
|
|
945
|
+
<ref name="DefEncAtt"/>
|
|
946
|
+
<empty/>
|
|
947
|
+
</element>
|
|
948
|
+
</define>
|
|
949
|
+
<define name="cartesianproduct">
|
|
950
|
+
<element name="cartesianproduct">
|
|
951
|
+
<ref name="CommonAtt"/>
|
|
952
|
+
<ref name="DefEncAtt"/>
|
|
953
|
+
<empty/>
|
|
954
|
+
</element>
|
|
955
|
+
</define>
|
|
956
|
+
<define name="binary-set.class">
|
|
957
|
+
<choice>
|
|
958
|
+
<ref name="in"/>
|
|
959
|
+
<ref name="notin"/>
|
|
960
|
+
<ref name="notsubset"/>
|
|
961
|
+
<ref name="notprsubset"/>
|
|
962
|
+
<ref name="setdiff"/>
|
|
963
|
+
</choice>
|
|
964
|
+
</define>
|
|
965
|
+
<define name="ContExp" combine="choice">
|
|
966
|
+
<ref name="binary-set.class"/>
|
|
967
|
+
</define>
|
|
968
|
+
<define name="in">
|
|
969
|
+
<element name="in">
|
|
970
|
+
<ref name="CommonAtt"/>
|
|
971
|
+
<ref name="DefEncAtt"/>
|
|
972
|
+
<empty/>
|
|
973
|
+
</element>
|
|
974
|
+
</define>
|
|
975
|
+
<define name="notin">
|
|
976
|
+
<element name="notin">
|
|
977
|
+
<ref name="CommonAtt"/>
|
|
978
|
+
<ref name="DefEncAtt"/>
|
|
979
|
+
<empty/>
|
|
980
|
+
</element>
|
|
981
|
+
</define>
|
|
982
|
+
<define name="notsubset">
|
|
983
|
+
<element name="notsubset">
|
|
984
|
+
<ref name="CommonAtt"/>
|
|
985
|
+
<ref name="DefEncAtt"/>
|
|
986
|
+
<empty/>
|
|
987
|
+
</element>
|
|
988
|
+
</define>
|
|
989
|
+
<define name="notprsubset">
|
|
990
|
+
<element name="notprsubset">
|
|
991
|
+
<ref name="CommonAtt"/>
|
|
992
|
+
<ref name="DefEncAtt"/>
|
|
993
|
+
<empty/>
|
|
994
|
+
</element>
|
|
995
|
+
</define>
|
|
996
|
+
<define name="setdiff">
|
|
997
|
+
<element name="setdiff">
|
|
998
|
+
<ref name="CommonAtt"/>
|
|
999
|
+
<ref name="DefEncAtt"/>
|
|
1000
|
+
<empty/>
|
|
1001
|
+
</element>
|
|
1002
|
+
</define>
|
|
1003
|
+
<define name="nary-set-reln.class">
|
|
1004
|
+
<choice>
|
|
1005
|
+
<ref name="subset"/>
|
|
1006
|
+
<ref name="prsubset"/>
|
|
1007
|
+
</choice>
|
|
1008
|
+
</define>
|
|
1009
|
+
<define name="ContExp" combine="choice">
|
|
1010
|
+
<ref name="nary-set-reln.class"/>
|
|
1011
|
+
</define>
|
|
1012
|
+
<define name="subset">
|
|
1013
|
+
<element name="subset">
|
|
1014
|
+
<ref name="CommonAtt"/>
|
|
1015
|
+
<ref name="DefEncAtt"/>
|
|
1016
|
+
<empty/>
|
|
1017
|
+
</element>
|
|
1018
|
+
</define>
|
|
1019
|
+
<define name="prsubset">
|
|
1020
|
+
<element name="prsubset">
|
|
1021
|
+
<ref name="CommonAtt"/>
|
|
1022
|
+
<ref name="DefEncAtt"/>
|
|
1023
|
+
<empty/>
|
|
1024
|
+
</element>
|
|
1025
|
+
</define>
|
|
1026
|
+
<define name="unary-set.class">
|
|
1027
|
+
<ref name="card"/>
|
|
1028
|
+
</define>
|
|
1029
|
+
<define name="ContExp" combine="choice">
|
|
1030
|
+
<ref name="unary-set.class"/>
|
|
1031
|
+
</define>
|
|
1032
|
+
<define name="card">
|
|
1033
|
+
<element name="card">
|
|
1034
|
+
<ref name="CommonAtt"/>
|
|
1035
|
+
<ref name="DefEncAtt"/>
|
|
1036
|
+
<empty/>
|
|
1037
|
+
</element>
|
|
1038
|
+
</define>
|
|
1039
|
+
<define name="sum.class">
|
|
1040
|
+
<ref name="sum"/>
|
|
1041
|
+
</define>
|
|
1042
|
+
<define name="ContExp" combine="choice">
|
|
1043
|
+
<ref name="sum.class"/>
|
|
1044
|
+
</define>
|
|
1045
|
+
<define name="sum">
|
|
1046
|
+
<element name="sum">
|
|
1047
|
+
<ref name="CommonAtt"/>
|
|
1048
|
+
<ref name="DefEncAtt"/>
|
|
1049
|
+
<empty/>
|
|
1050
|
+
</element>
|
|
1051
|
+
</define>
|
|
1052
|
+
<define name="product.class">
|
|
1053
|
+
<ref name="product"/>
|
|
1054
|
+
</define>
|
|
1055
|
+
<define name="ContExp" combine="choice">
|
|
1056
|
+
<ref name="product.class"/>
|
|
1057
|
+
</define>
|
|
1058
|
+
<define name="product">
|
|
1059
|
+
<element name="product">
|
|
1060
|
+
<ref name="CommonAtt"/>
|
|
1061
|
+
<ref name="DefEncAtt"/>
|
|
1062
|
+
<empty/>
|
|
1063
|
+
</element>
|
|
1064
|
+
</define>
|
|
1065
|
+
<define name="limit.class">
|
|
1066
|
+
<ref name="limit"/>
|
|
1067
|
+
</define>
|
|
1068
|
+
<define name="ContExp" combine="choice">
|
|
1069
|
+
<ref name="limit.class"/>
|
|
1070
|
+
</define>
|
|
1071
|
+
<define name="limit">
|
|
1072
|
+
<element name="limit">
|
|
1073
|
+
<ref name="CommonAtt"/>
|
|
1074
|
+
<ref name="DefEncAtt"/>
|
|
1075
|
+
<empty/>
|
|
1076
|
+
</element>
|
|
1077
|
+
</define>
|
|
1078
|
+
<define name="unary-elementary.class">
|
|
1079
|
+
<choice>
|
|
1080
|
+
<ref name="sin"/>
|
|
1081
|
+
<ref name="cos"/>
|
|
1082
|
+
<ref name="tan"/>
|
|
1083
|
+
<ref name="sec"/>
|
|
1084
|
+
<ref name="csc"/>
|
|
1085
|
+
<ref name="cot"/>
|
|
1086
|
+
<ref name="sinh"/>
|
|
1087
|
+
<ref name="cosh"/>
|
|
1088
|
+
<ref name="tanh"/>
|
|
1089
|
+
<ref name="sech"/>
|
|
1090
|
+
<ref name="csch"/>
|
|
1091
|
+
<ref name="coth"/>
|
|
1092
|
+
<ref name="arcsin"/>
|
|
1093
|
+
<ref name="arccos"/>
|
|
1094
|
+
<ref name="arctan"/>
|
|
1095
|
+
<ref name="arccosh"/>
|
|
1096
|
+
<ref name="arccot"/>
|
|
1097
|
+
<ref name="arccoth"/>
|
|
1098
|
+
<ref name="arccsc"/>
|
|
1099
|
+
<ref name="arccsch"/>
|
|
1100
|
+
<ref name="arcsec"/>
|
|
1101
|
+
<ref name="arcsech"/>
|
|
1102
|
+
<ref name="arcsinh"/>
|
|
1103
|
+
<ref name="arctanh"/>
|
|
1104
|
+
</choice>
|
|
1105
|
+
</define>
|
|
1106
|
+
<define name="ContExp" combine="choice">
|
|
1107
|
+
<ref name="unary-elementary.class"/>
|
|
1108
|
+
</define>
|
|
1109
|
+
<define name="sin">
|
|
1110
|
+
<element name="sin">
|
|
1111
|
+
<ref name="CommonAtt"/>
|
|
1112
|
+
<ref name="DefEncAtt"/>
|
|
1113
|
+
<empty/>
|
|
1114
|
+
</element>
|
|
1115
|
+
</define>
|
|
1116
|
+
<define name="cos">
|
|
1117
|
+
<element name="cos">
|
|
1118
|
+
<ref name="CommonAtt"/>
|
|
1119
|
+
<ref name="DefEncAtt"/>
|
|
1120
|
+
<empty/>
|
|
1121
|
+
</element>
|
|
1122
|
+
</define>
|
|
1123
|
+
<define name="tan">
|
|
1124
|
+
<element name="tan">
|
|
1125
|
+
<ref name="CommonAtt"/>
|
|
1126
|
+
<ref name="DefEncAtt"/>
|
|
1127
|
+
<empty/>
|
|
1128
|
+
</element>
|
|
1129
|
+
</define>
|
|
1130
|
+
<define name="sec">
|
|
1131
|
+
<element name="sec">
|
|
1132
|
+
<ref name="CommonAtt"/>
|
|
1133
|
+
<ref name="DefEncAtt"/>
|
|
1134
|
+
<empty/>
|
|
1135
|
+
</element>
|
|
1136
|
+
</define>
|
|
1137
|
+
<define name="csc">
|
|
1138
|
+
<element name="csc">
|
|
1139
|
+
<ref name="CommonAtt"/>
|
|
1140
|
+
<ref name="DefEncAtt"/>
|
|
1141
|
+
<empty/>
|
|
1142
|
+
</element>
|
|
1143
|
+
</define>
|
|
1144
|
+
<define name="cot">
|
|
1145
|
+
<element name="cot">
|
|
1146
|
+
<ref name="CommonAtt"/>
|
|
1147
|
+
<ref name="DefEncAtt"/>
|
|
1148
|
+
<empty/>
|
|
1149
|
+
</element>
|
|
1150
|
+
</define>
|
|
1151
|
+
<define name="sinh">
|
|
1152
|
+
<element name="sinh">
|
|
1153
|
+
<ref name="CommonAtt"/>
|
|
1154
|
+
<ref name="DefEncAtt"/>
|
|
1155
|
+
<empty/>
|
|
1156
|
+
</element>
|
|
1157
|
+
</define>
|
|
1158
|
+
<define name="cosh">
|
|
1159
|
+
<element name="cosh">
|
|
1160
|
+
<ref name="CommonAtt"/>
|
|
1161
|
+
<ref name="DefEncAtt"/>
|
|
1162
|
+
<empty/>
|
|
1163
|
+
</element>
|
|
1164
|
+
</define>
|
|
1165
|
+
<define name="tanh">
|
|
1166
|
+
<element name="tanh">
|
|
1167
|
+
<ref name="CommonAtt"/>
|
|
1168
|
+
<ref name="DefEncAtt"/>
|
|
1169
|
+
<empty/>
|
|
1170
|
+
</element>
|
|
1171
|
+
</define>
|
|
1172
|
+
<define name="sech">
|
|
1173
|
+
<element name="sech">
|
|
1174
|
+
<ref name="CommonAtt"/>
|
|
1175
|
+
<ref name="DefEncAtt"/>
|
|
1176
|
+
<empty/>
|
|
1177
|
+
</element>
|
|
1178
|
+
</define>
|
|
1179
|
+
<define name="csch">
|
|
1180
|
+
<element name="csch">
|
|
1181
|
+
<ref name="CommonAtt"/>
|
|
1182
|
+
<ref name="DefEncAtt"/>
|
|
1183
|
+
<empty/>
|
|
1184
|
+
</element>
|
|
1185
|
+
</define>
|
|
1186
|
+
<define name="coth">
|
|
1187
|
+
<element name="coth">
|
|
1188
|
+
<ref name="CommonAtt"/>
|
|
1189
|
+
<ref name="DefEncAtt"/>
|
|
1190
|
+
<empty/>
|
|
1191
|
+
</element>
|
|
1192
|
+
</define>
|
|
1193
|
+
<define name="arcsin">
|
|
1194
|
+
<element name="arcsin">
|
|
1195
|
+
<ref name="CommonAtt"/>
|
|
1196
|
+
<ref name="DefEncAtt"/>
|
|
1197
|
+
<empty/>
|
|
1198
|
+
</element>
|
|
1199
|
+
</define>
|
|
1200
|
+
<define name="arccos">
|
|
1201
|
+
<element name="arccos">
|
|
1202
|
+
<ref name="CommonAtt"/>
|
|
1203
|
+
<ref name="DefEncAtt"/>
|
|
1204
|
+
<empty/>
|
|
1205
|
+
</element>
|
|
1206
|
+
</define>
|
|
1207
|
+
<define name="arctan">
|
|
1208
|
+
<element name="arctan">
|
|
1209
|
+
<ref name="CommonAtt"/>
|
|
1210
|
+
<ref name="DefEncAtt"/>
|
|
1211
|
+
<empty/>
|
|
1212
|
+
</element>
|
|
1213
|
+
</define>
|
|
1214
|
+
<define name="arccosh">
|
|
1215
|
+
<element name="arccosh">
|
|
1216
|
+
<ref name="CommonAtt"/>
|
|
1217
|
+
<ref name="DefEncAtt"/>
|
|
1218
|
+
<empty/>
|
|
1219
|
+
</element>
|
|
1220
|
+
</define>
|
|
1221
|
+
<define name="arccot">
|
|
1222
|
+
<element name="arccot">
|
|
1223
|
+
<ref name="CommonAtt"/>
|
|
1224
|
+
<ref name="DefEncAtt"/>
|
|
1225
|
+
<empty/>
|
|
1226
|
+
</element>
|
|
1227
|
+
</define>
|
|
1228
|
+
<define name="arccoth">
|
|
1229
|
+
<element name="arccoth">
|
|
1230
|
+
<ref name="CommonAtt"/>
|
|
1231
|
+
<ref name="DefEncAtt"/>
|
|
1232
|
+
<empty/>
|
|
1233
|
+
</element>
|
|
1234
|
+
</define>
|
|
1235
|
+
<define name="arccsc">
|
|
1236
|
+
<element name="arccsc">
|
|
1237
|
+
<ref name="CommonAtt"/>
|
|
1238
|
+
<ref name="DefEncAtt"/>
|
|
1239
|
+
<empty/>
|
|
1240
|
+
</element>
|
|
1241
|
+
</define>
|
|
1242
|
+
<define name="arccsch">
|
|
1243
|
+
<element name="arccsch">
|
|
1244
|
+
<ref name="CommonAtt"/>
|
|
1245
|
+
<ref name="DefEncAtt"/>
|
|
1246
|
+
<empty/>
|
|
1247
|
+
</element>
|
|
1248
|
+
</define>
|
|
1249
|
+
<define name="arcsec">
|
|
1250
|
+
<element name="arcsec">
|
|
1251
|
+
<ref name="CommonAtt"/>
|
|
1252
|
+
<ref name="DefEncAtt"/>
|
|
1253
|
+
<empty/>
|
|
1254
|
+
</element>
|
|
1255
|
+
</define>
|
|
1256
|
+
<define name="arcsech">
|
|
1257
|
+
<element name="arcsech">
|
|
1258
|
+
<ref name="CommonAtt"/>
|
|
1259
|
+
<ref name="DefEncAtt"/>
|
|
1260
|
+
<empty/>
|
|
1261
|
+
</element>
|
|
1262
|
+
</define>
|
|
1263
|
+
<define name="arcsinh">
|
|
1264
|
+
<element name="arcsinh">
|
|
1265
|
+
<ref name="CommonAtt"/>
|
|
1266
|
+
<ref name="DefEncAtt"/>
|
|
1267
|
+
<empty/>
|
|
1268
|
+
</element>
|
|
1269
|
+
</define>
|
|
1270
|
+
<define name="arctanh">
|
|
1271
|
+
<element name="arctanh">
|
|
1272
|
+
<ref name="CommonAtt"/>
|
|
1273
|
+
<ref name="DefEncAtt"/>
|
|
1274
|
+
<empty/>
|
|
1275
|
+
</element>
|
|
1276
|
+
</define>
|
|
1277
|
+
<define name="nary-stats.class">
|
|
1278
|
+
<choice>
|
|
1279
|
+
<ref name="mean"/>
|
|
1280
|
+
<ref name="median"/>
|
|
1281
|
+
<ref name="mode"/>
|
|
1282
|
+
<ref name="sdev"/>
|
|
1283
|
+
<ref name="variance"/>
|
|
1284
|
+
</choice>
|
|
1285
|
+
</define>
|
|
1286
|
+
<define name="ContExp" combine="choice">
|
|
1287
|
+
<ref name="nary-stats.class"/>
|
|
1288
|
+
</define>
|
|
1289
|
+
<define name="mean">
|
|
1290
|
+
<element name="mean">
|
|
1291
|
+
<ref name="CommonAtt"/>
|
|
1292
|
+
<ref name="DefEncAtt"/>
|
|
1293
|
+
<empty/>
|
|
1294
|
+
</element>
|
|
1295
|
+
</define>
|
|
1296
|
+
<define name="median">
|
|
1297
|
+
<element name="median">
|
|
1298
|
+
<ref name="CommonAtt"/>
|
|
1299
|
+
<ref name="DefEncAtt"/>
|
|
1300
|
+
<empty/>
|
|
1301
|
+
</element>
|
|
1302
|
+
</define>
|
|
1303
|
+
<define name="mode">
|
|
1304
|
+
<element name="mode">
|
|
1305
|
+
<ref name="CommonAtt"/>
|
|
1306
|
+
<ref name="DefEncAtt"/>
|
|
1307
|
+
<empty/>
|
|
1308
|
+
</element>
|
|
1309
|
+
</define>
|
|
1310
|
+
<define name="sdev">
|
|
1311
|
+
<element name="sdev">
|
|
1312
|
+
<ref name="CommonAtt"/>
|
|
1313
|
+
<ref name="DefEncAtt"/>
|
|
1314
|
+
<empty/>
|
|
1315
|
+
</element>
|
|
1316
|
+
</define>
|
|
1317
|
+
<define name="variance">
|
|
1318
|
+
<element name="variance">
|
|
1319
|
+
<ref name="CommonAtt"/>
|
|
1320
|
+
<ref name="DefEncAtt"/>
|
|
1321
|
+
<empty/>
|
|
1322
|
+
</element>
|
|
1323
|
+
</define>
|
|
1324
|
+
<define name="nary-constructor.class">
|
|
1325
|
+
<choice>
|
|
1326
|
+
<ref name="vector"/>
|
|
1327
|
+
<ref name="matrix"/>
|
|
1328
|
+
<ref name="matrixrow"/>
|
|
1329
|
+
</choice>
|
|
1330
|
+
</define>
|
|
1331
|
+
<define name="ContExp" combine="choice">
|
|
1332
|
+
<ref name="nary-constructor.class"/>
|
|
1333
|
+
</define>
|
|
1334
|
+
<define name="vector">
|
|
1335
|
+
<element name="vector">
|
|
1336
|
+
<ref name="CommonAtt"/>
|
|
1337
|
+
<ref name="DefEncAtt"/>
|
|
1338
|
+
<ref name="BvarQ"/>
|
|
1339
|
+
<ref name="DomainQ"/>
|
|
1340
|
+
<zeroOrMore>
|
|
1341
|
+
<ref name="ContExp"/>
|
|
1342
|
+
</zeroOrMore>
|
|
1343
|
+
</element>
|
|
1344
|
+
</define>
|
|
1345
|
+
<define name="matrix">
|
|
1346
|
+
<element name="matrix">
|
|
1347
|
+
<ref name="CommonAtt"/>
|
|
1348
|
+
<ref name="DefEncAtt"/>
|
|
1349
|
+
<ref name="BvarQ"/>
|
|
1350
|
+
<ref name="DomainQ"/>
|
|
1351
|
+
<zeroOrMore>
|
|
1352
|
+
<ref name="ContExp"/>
|
|
1353
|
+
</zeroOrMore>
|
|
1354
|
+
</element>
|
|
1355
|
+
</define>
|
|
1356
|
+
<define name="matrixrow">
|
|
1357
|
+
<element name="matrixrow">
|
|
1358
|
+
<ref name="CommonAtt"/>
|
|
1359
|
+
<ref name="DefEncAtt"/>
|
|
1360
|
+
<ref name="BvarQ"/>
|
|
1361
|
+
<ref name="DomainQ"/>
|
|
1362
|
+
<zeroOrMore>
|
|
1363
|
+
<ref name="ContExp"/>
|
|
1364
|
+
</zeroOrMore>
|
|
1365
|
+
</element>
|
|
1366
|
+
</define>
|
|
1367
|
+
<define name="unary-linalg.class">
|
|
1368
|
+
<choice>
|
|
1369
|
+
<ref name="determinant"/>
|
|
1370
|
+
<ref name="transpose"/>
|
|
1371
|
+
</choice>
|
|
1372
|
+
</define>
|
|
1373
|
+
<define name="ContExp" combine="choice">
|
|
1374
|
+
<ref name="unary-linalg.class"/>
|
|
1375
|
+
</define>
|
|
1376
|
+
<define name="determinant">
|
|
1377
|
+
<element name="determinant">
|
|
1378
|
+
<ref name="CommonAtt"/>
|
|
1379
|
+
<ref name="DefEncAtt"/>
|
|
1380
|
+
<empty/>
|
|
1381
|
+
</element>
|
|
1382
|
+
</define>
|
|
1383
|
+
<define name="transpose">
|
|
1384
|
+
<element name="transpose">
|
|
1385
|
+
<ref name="CommonAtt"/>
|
|
1386
|
+
<ref name="DefEncAtt"/>
|
|
1387
|
+
<empty/>
|
|
1388
|
+
</element>
|
|
1389
|
+
</define>
|
|
1390
|
+
<define name="nary-linalg.class">
|
|
1391
|
+
<ref name="selector"/>
|
|
1392
|
+
</define>
|
|
1393
|
+
<define name="ContExp" combine="choice">
|
|
1394
|
+
<ref name="nary-linalg.class"/>
|
|
1395
|
+
</define>
|
|
1396
|
+
<define name="selector">
|
|
1397
|
+
<element name="selector">
|
|
1398
|
+
<ref name="CommonAtt"/>
|
|
1399
|
+
<ref name="DefEncAtt"/>
|
|
1400
|
+
<empty/>
|
|
1401
|
+
</element>
|
|
1402
|
+
</define>
|
|
1403
|
+
<define name="binary-linalg.class">
|
|
1404
|
+
<choice>
|
|
1405
|
+
<ref name="vectorproduct"/>
|
|
1406
|
+
<ref name="scalarproduct"/>
|
|
1407
|
+
<ref name="outerproduct"/>
|
|
1408
|
+
</choice>
|
|
1409
|
+
</define>
|
|
1410
|
+
<define name="ContExp" combine="choice">
|
|
1411
|
+
<ref name="binary-linalg.class"/>
|
|
1412
|
+
</define>
|
|
1413
|
+
<define name="vectorproduct">
|
|
1414
|
+
<element name="vectorproduct">
|
|
1415
|
+
<ref name="CommonAtt"/>
|
|
1416
|
+
<ref name="DefEncAtt"/>
|
|
1417
|
+
<empty/>
|
|
1418
|
+
</element>
|
|
1419
|
+
</define>
|
|
1420
|
+
<define name="scalarproduct">
|
|
1421
|
+
<element name="scalarproduct">
|
|
1422
|
+
<ref name="CommonAtt"/>
|
|
1423
|
+
<ref name="DefEncAtt"/>
|
|
1424
|
+
<empty/>
|
|
1425
|
+
</element>
|
|
1426
|
+
</define>
|
|
1427
|
+
<define name="outerproduct">
|
|
1428
|
+
<element name="outerproduct">
|
|
1429
|
+
<ref name="CommonAtt"/>
|
|
1430
|
+
<ref name="DefEncAtt"/>
|
|
1431
|
+
<empty/>
|
|
1432
|
+
</element>
|
|
1433
|
+
</define>
|
|
1434
|
+
<define name="constant-set.class">
|
|
1435
|
+
<choice>
|
|
1436
|
+
<ref name="integers"/>
|
|
1437
|
+
<ref name="reals"/>
|
|
1438
|
+
<ref name="rationals"/>
|
|
1439
|
+
<ref name="naturalnumbers"/>
|
|
1440
|
+
<ref name="complexes"/>
|
|
1441
|
+
<ref name="primes"/>
|
|
1442
|
+
<ref name="emptyset"/>
|
|
1443
|
+
</choice>
|
|
1444
|
+
</define>
|
|
1445
|
+
<define name="ContExp" combine="choice">
|
|
1446
|
+
<ref name="constant-set.class"/>
|
|
1447
|
+
</define>
|
|
1448
|
+
<define name="integers">
|
|
1449
|
+
<element name="integers">
|
|
1450
|
+
<ref name="CommonAtt"/>
|
|
1451
|
+
<ref name="DefEncAtt"/>
|
|
1452
|
+
<empty/>
|
|
1453
|
+
</element>
|
|
1454
|
+
</define>
|
|
1455
|
+
<define name="reals">
|
|
1456
|
+
<element name="reals">
|
|
1457
|
+
<ref name="CommonAtt"/>
|
|
1458
|
+
<ref name="DefEncAtt"/>
|
|
1459
|
+
<empty/>
|
|
1460
|
+
</element>
|
|
1461
|
+
</define>
|
|
1462
|
+
<define name="rationals">
|
|
1463
|
+
<element name="rationals">
|
|
1464
|
+
<ref name="CommonAtt"/>
|
|
1465
|
+
<ref name="DefEncAtt"/>
|
|
1466
|
+
<empty/>
|
|
1467
|
+
</element>
|
|
1468
|
+
</define>
|
|
1469
|
+
<define name="naturalnumbers">
|
|
1470
|
+
<element name="naturalnumbers">
|
|
1471
|
+
<ref name="CommonAtt"/>
|
|
1472
|
+
<ref name="DefEncAtt"/>
|
|
1473
|
+
<empty/>
|
|
1474
|
+
</element>
|
|
1475
|
+
</define>
|
|
1476
|
+
<define name="complexes">
|
|
1477
|
+
<element name="complexes">
|
|
1478
|
+
<ref name="CommonAtt"/>
|
|
1479
|
+
<ref name="DefEncAtt"/>
|
|
1480
|
+
<empty/>
|
|
1481
|
+
</element>
|
|
1482
|
+
</define>
|
|
1483
|
+
<define name="primes">
|
|
1484
|
+
<element name="primes">
|
|
1485
|
+
<ref name="CommonAtt"/>
|
|
1486
|
+
<ref name="DefEncAtt"/>
|
|
1487
|
+
<empty/>
|
|
1488
|
+
</element>
|
|
1489
|
+
</define>
|
|
1490
|
+
<define name="emptyset">
|
|
1491
|
+
<element name="emptyset">
|
|
1492
|
+
<ref name="CommonAtt"/>
|
|
1493
|
+
<ref name="DefEncAtt"/>
|
|
1494
|
+
<empty/>
|
|
1495
|
+
</element>
|
|
1496
|
+
</define>
|
|
1497
|
+
<define name="constant-arith.class">
|
|
1498
|
+
<choice>
|
|
1499
|
+
<ref name="exponentiale"/>
|
|
1500
|
+
<ref name="imaginaryi"/>
|
|
1501
|
+
<ref name="notanumber"/>
|
|
1502
|
+
<ref name="true"/>
|
|
1503
|
+
<ref name="false"/>
|
|
1504
|
+
<ref name="pi"/>
|
|
1505
|
+
<ref name="eulergamma"/>
|
|
1506
|
+
<ref name="infinity"/>
|
|
1507
|
+
</choice>
|
|
1508
|
+
</define>
|
|
1509
|
+
<define name="ContExp" combine="choice">
|
|
1510
|
+
<ref name="constant-arith.class"/>
|
|
1511
|
+
</define>
|
|
1512
|
+
<define name="exponentiale">
|
|
1513
|
+
<element name="exponentiale">
|
|
1514
|
+
<ref name="CommonAtt"/>
|
|
1515
|
+
<ref name="DefEncAtt"/>
|
|
1516
|
+
<empty/>
|
|
1517
|
+
</element>
|
|
1518
|
+
</define>
|
|
1519
|
+
<define name="imaginaryi">
|
|
1520
|
+
<element name="imaginaryi">
|
|
1521
|
+
<ref name="CommonAtt"/>
|
|
1522
|
+
<ref name="DefEncAtt"/>
|
|
1523
|
+
<empty/>
|
|
1524
|
+
</element>
|
|
1525
|
+
</define>
|
|
1526
|
+
<define name="notanumber">
|
|
1527
|
+
<element name="notanumber">
|
|
1528
|
+
<ref name="CommonAtt"/>
|
|
1529
|
+
<ref name="DefEncAtt"/>
|
|
1530
|
+
<empty/>
|
|
1531
|
+
</element>
|
|
1532
|
+
</define>
|
|
1533
|
+
<define name="true">
|
|
1534
|
+
<element name="true">
|
|
1535
|
+
<ref name="CommonAtt"/>
|
|
1536
|
+
<ref name="DefEncAtt"/>
|
|
1537
|
+
<empty/>
|
|
1538
|
+
</element>
|
|
1539
|
+
</define>
|
|
1540
|
+
<define name="false">
|
|
1541
|
+
<element name="false">
|
|
1542
|
+
<ref name="CommonAtt"/>
|
|
1543
|
+
<ref name="DefEncAtt"/>
|
|
1544
|
+
<empty/>
|
|
1545
|
+
</element>
|
|
1546
|
+
</define>
|
|
1547
|
+
<define name="pi">
|
|
1548
|
+
<element name="pi">
|
|
1549
|
+
<ref name="CommonAtt"/>
|
|
1550
|
+
<ref name="DefEncAtt"/>
|
|
1551
|
+
<empty/>
|
|
1552
|
+
</element>
|
|
1553
|
+
</define>
|
|
1554
|
+
<define name="eulergamma">
|
|
1555
|
+
<element name="eulergamma">
|
|
1556
|
+
<ref name="CommonAtt"/>
|
|
1557
|
+
<ref name="DefEncAtt"/>
|
|
1558
|
+
<empty/>
|
|
1559
|
+
</element>
|
|
1560
|
+
</define>
|
|
1561
|
+
<define name="infinity">
|
|
1562
|
+
<element name="infinity">
|
|
1563
|
+
<ref name="CommonAtt"/>
|
|
1564
|
+
<ref name="DefEncAtt"/>
|
|
1565
|
+
<empty/>
|
|
1566
|
+
</element>
|
|
1567
|
+
</define>
|
|
1568
|
+
</grammar>
|