asciimath 1.0.9 → 2.0.0
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 +5 -5
- data/AST.adoc +457 -0
- data/CHANGELOG.adoc +12 -0
- data/Gemfile.lock +39 -0
- data/README.adoc +27 -3
- data/asciimath.gemspec +9 -5
- data/lib/asciimath.rb +5 -4
- data/lib/asciimath/ast.rb +456 -0
- data/lib/asciimath/cli.rb +4 -1
- data/lib/asciimath/color_table.rb +21 -0
- data/lib/asciimath/html.rb +126 -111
- data/lib/asciimath/latex.rb +386 -0
- data/lib/asciimath/markup.rb +478 -0
- data/lib/asciimath/mathml.rb +189 -87
- data/lib/asciimath/parser.rb +498 -343
- data/lib/asciimath/symbol_table.rb +25 -0
- data/lib/asciimath/version.rb +1 -1
- data/spec/ast.rb +144 -0
- data/spec/parser_spec.rb +592 -165
- data/spec/schema/mathml2/common/common-attribs.xsd +41 -0
- data/spec/schema/mathml2/common/math.xsd +126 -0
- data/spec/schema/mathml2/common/xlink-href.xsd +20 -0
- data/spec/schema/mathml2/content/arith.xsd +90 -0
- data/spec/schema/mathml2/content/calculus.xsd +146 -0
- data/spec/schema/mathml2/content/common-attrib.xsd +30 -0
- data/spec/schema/mathml2/content/constants.xsd +83 -0
- data/spec/schema/mathml2/content/constructs.xsd +260 -0
- data/spec/schema/mathml2/content/elementary-functions.xsd +117 -0
- data/spec/schema/mathml2/content/functions.xsd +73 -0
- data/spec/schema/mathml2/content/linear-algebra.xsd +173 -0
- data/spec/schema/mathml2/content/logic.xsd +53 -0
- data/spec/schema/mathml2/content/relations.xsd +55 -0
- data/spec/schema/mathml2/content/semantics.xsd +85 -0
- data/spec/schema/mathml2/content/sets.xsd +236 -0
- data/spec/schema/mathml2/content/statistics.xsd +136 -0
- data/spec/schema/mathml2/content/tokens.xsd +120 -0
- data/spec/schema/mathml2/content/vector-calculus.xsd +88 -0
- data/spec/schema/mathml2/mathml2.xsd +59 -0
- data/spec/schema/mathml2/presentation/action.xsd +44 -0
- data/spec/schema/mathml2/presentation/characters.xsd +37 -0
- data/spec/schema/mathml2/presentation/common-attribs.xsd +113 -0
- data/spec/schema/mathml2/presentation/common-types.xsd +103 -0
- data/spec/schema/mathml2/presentation/error.xsd +40 -0
- data/spec/schema/mathml2/presentation/layout.xsd +195 -0
- data/spec/schema/mathml2/presentation/scripts.xsd +186 -0
- data/spec/schema/mathml2/presentation/space.xsd +52 -0
- data/spec/schema/mathml2/presentation/style.xsd +69 -0
- data/spec/schema/mathml2/presentation/table.xsd +216 -0
- data/spec/schema/mathml2/presentation/tokens.xsd +124 -0
- data/spec/schema/mathml3/mathml3-common.xsd +99 -0
- data/spec/schema/mathml3/mathml3-content.xsd +684 -0
- data/spec/schema/mathml3/mathml3-presentation.xsd +2151 -0
- data/spec/schema/mathml3/mathml3-strict-content.xsd +186 -0
- data/spec/schema/mathml3/mathml3.xsd +9 -0
- metadata +102 -10
- data/.gitignore +0 -16
- data/.travis.yml +0 -18
@@ -0,0 +1,124 @@
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8"?>
|
2
|
+
|
3
|
+
<xs:schema
|
4
|
+
xmlns:xs="http://www.w3.org/2001/XMLSchema"
|
5
|
+
xmlns="http://www.w3.org/1998/Math/MathML"
|
6
|
+
targetNamespace="http://www.w3.org/1998/Math/MathML"
|
7
|
+
elementFormDefault="qualified"
|
8
|
+
>
|
9
|
+
|
10
|
+
<xs:annotation>
|
11
|
+
<xs:documentation>
|
12
|
+
This is the XML schema module for the token elements of the
|
13
|
+
presentation part of MathML.
|
14
|
+
Author: Stéphane Dalmas, INRIA.
|
15
|
+
</xs:documentation>
|
16
|
+
</xs:annotation>
|
17
|
+
|
18
|
+
<!-- The content of presentation token elements is either normal
|
19
|
+
characters, "mglyph" ones or alignment marks -->
|
20
|
+
|
21
|
+
<xs:group name="Glyph-alignmark.class">
|
22
|
+
<xs:choice>
|
23
|
+
<xs:element ref="malignmark"/>
|
24
|
+
<xs:element ref="mglyph"/>
|
25
|
+
</xs:choice>
|
26
|
+
</xs:group>
|
27
|
+
|
28
|
+
<!-- "mi" -->
|
29
|
+
|
30
|
+
<!-- "mi" is supposed to have a default value of its "mathvariant" attribute
|
31
|
+
set to "italic" -->
|
32
|
+
<xs:attributeGroup name="mi.attlist">
|
33
|
+
<xs:attributeGroup ref="Token-style.attrib"/>
|
34
|
+
<xs:attributeGroup ref="Common.attrib"/>
|
35
|
+
</xs:attributeGroup>
|
36
|
+
|
37
|
+
<xs:complexType name="mi.type" mixed="true">
|
38
|
+
<xs:group ref="Glyph-alignmark.class" minOccurs="0" maxOccurs="unbounded"/>
|
39
|
+
<xs:attributeGroup ref="mi.attlist"/>
|
40
|
+
</xs:complexType>
|
41
|
+
|
42
|
+
<xs:element name="mi" type="mi.type"/>
|
43
|
+
|
44
|
+
<!-- "mo" -->
|
45
|
+
|
46
|
+
<xs:attributeGroup name="mo.attlist">
|
47
|
+
<xs:attributeGroup ref="Operator.attrib"/>
|
48
|
+
<xs:attributeGroup ref="Token-style.attrib"/>
|
49
|
+
<xs:attributeGroup ref="Common.attrib"/>
|
50
|
+
</xs:attributeGroup>
|
51
|
+
|
52
|
+
<xs:complexType name="mo.type" mixed="true">
|
53
|
+
<xs:group ref="Glyph-alignmark.class" minOccurs="0" maxOccurs="unbounded"/>
|
54
|
+
<xs:attributeGroup ref="mo.attlist"/>
|
55
|
+
</xs:complexType>
|
56
|
+
|
57
|
+
<xs:element name="mo" type="mo.type"/>
|
58
|
+
|
59
|
+
<!-- "mn" -->
|
60
|
+
|
61
|
+
<xs:attributeGroup name="mn.attlist">
|
62
|
+
<xs:attributeGroup ref="Token-style.attrib"/>
|
63
|
+
<xs:attributeGroup ref="Common.attrib"/>
|
64
|
+
</xs:attributeGroup>
|
65
|
+
|
66
|
+
<xs:complexType name="mn.type" mixed="true">
|
67
|
+
<xs:group ref="Glyph-alignmark.class" minOccurs="0" maxOccurs="unbounded"/>
|
68
|
+
<xs:attributeGroup ref="mi.attlist"/>
|
69
|
+
</xs:complexType>
|
70
|
+
|
71
|
+
<xs:element name="mn" type="mn.type"/>
|
72
|
+
|
73
|
+
<!-- "mtext" -->
|
74
|
+
|
75
|
+
<xs:attributeGroup name="mtext.attlist">
|
76
|
+
<xs:attributeGroup ref="Token-style.attrib"/>
|
77
|
+
<xs:attributeGroup ref="Common.attrib"/>
|
78
|
+
</xs:attributeGroup>
|
79
|
+
|
80
|
+
<xs:complexType name="mtext.type" mixed="true">
|
81
|
+
<xs:group ref="Glyph-alignmark.class" minOccurs="0" maxOccurs="unbounded"/>
|
82
|
+
<xs:attributeGroup ref="mtext.attlist"/>
|
83
|
+
</xs:complexType>
|
84
|
+
|
85
|
+
<xs:element name="mtext" type="mtext.type"/>
|
86
|
+
|
87
|
+
<!-- "ms" -->
|
88
|
+
|
89
|
+
<xs:attributeGroup name="ms.attlist">
|
90
|
+
<!-- the values of "lquote" or "rquote" are not restricted to be
|
91
|
+
one character strings... -->
|
92
|
+
<xs:attribute name="lquote" type="xs:string" default="""/>
|
93
|
+
<xs:attribute name="rquote" type="xs:string" default="""/>
|
94
|
+
<xs:attributeGroup ref="Token-style.attrib"/>
|
95
|
+
<xs:attributeGroup ref="Common.attrib"/>
|
96
|
+
</xs:attributeGroup>
|
97
|
+
|
98
|
+
<xs:complexType name="ms.type" mixed="true">
|
99
|
+
<xs:group ref="Glyph-alignmark.class" minOccurs="0" maxOccurs="unbounded"/>
|
100
|
+
<xs:attributeGroup ref="ms.attlist"/>
|
101
|
+
</xs:complexType>
|
102
|
+
|
103
|
+
<xs:element name="ms" type="ms.type"/>
|
104
|
+
|
105
|
+
<!-- And the group of any token -->
|
106
|
+
|
107
|
+
<xs:group name="Presentation-token.class">
|
108
|
+
<xs:choice>
|
109
|
+
<xs:element ref="mi"/>
|
110
|
+
<xs:element ref="mo"/>
|
111
|
+
<xs:element ref="mn"/>
|
112
|
+
<xs:element ref="mtext"/>
|
113
|
+
<xs:element ref="ms"/>
|
114
|
+
</xs:choice>
|
115
|
+
</xs:group>
|
116
|
+
|
117
|
+
</xs:schema>
|
118
|
+
|
119
|
+
<!--
|
120
|
+
Copyright û 2002 World Wide Web Consortium, (Massachusetts Institute
|
121
|
+
of Technology, Institut National de Recherche en Informatique et en
|
122
|
+
Automatique, Keio University). All Rights Reserved. See
|
123
|
+
http://www.w3.org/Consortium/Legal/.
|
124
|
+
-->
|
@@ -0,0 +1,99 @@
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8"?>
|
2
|
+
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
|
3
|
+
xmlns:m="http://www.w3.org/1998/Math/MathML"
|
4
|
+
elementFormDefault="qualified"
|
5
|
+
targetNamespace="http://www.w3.org/1998/Math/MathML">
|
6
|
+
<xs:element name="math">
|
7
|
+
<xs:complexType>
|
8
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:MathExpression"/>
|
9
|
+
<xs:attributeGroup ref="m:math.attributes"/>
|
10
|
+
</xs:complexType>
|
11
|
+
</xs:element>
|
12
|
+
<xs:attributeGroup name="CommonDeprecatedAtt">
|
13
|
+
<xs:attribute name="other"/>
|
14
|
+
</xs:attributeGroup>
|
15
|
+
<xs:attributeGroup name="CommonAtt">
|
16
|
+
<xs:attribute name="id" type="xs:ID"/>
|
17
|
+
<xs:attribute name="xref"/>
|
18
|
+
<xs:attribute name="class" type="xs:NMTOKENS"/>
|
19
|
+
<xs:attribute name="style" type="xs:string"/>
|
20
|
+
<xs:attribute name="href" type="xs:anyURI"/>
|
21
|
+
<xs:attributeGroup ref="m:CommonDeprecatedAtt"/>
|
22
|
+
<xs:anyAttribute namespace="##other" processContents="skip"/>
|
23
|
+
</xs:attributeGroup>
|
24
|
+
<xs:attributeGroup name="math.deprecatedattributes">
|
25
|
+
<xs:attribute name="mode" type="xs:string"/>
|
26
|
+
<xs:attribute name="macros" type="xs:string"/>
|
27
|
+
</xs:attributeGroup>
|
28
|
+
<xs:attributeGroup name="name">
|
29
|
+
<xs:attribute name="name" use="required" type="xs:NCName"/>
|
30
|
+
</xs:attributeGroup>
|
31
|
+
<xs:attributeGroup name="cd">
|
32
|
+
<xs:attribute name="cd" use="required" type="xs:NCName"/>
|
33
|
+
</xs:attributeGroup>
|
34
|
+
<xs:attributeGroup name="src">
|
35
|
+
<xs:attribute name="src" type="xs:anyURI"/>
|
36
|
+
</xs:attributeGroup>
|
37
|
+
<xs:element name="annotation">
|
38
|
+
<xs:complexType mixed="true">
|
39
|
+
<xs:attributeGroup ref="m:annotation.attributes"/>
|
40
|
+
</xs:complexType>
|
41
|
+
</xs:element>
|
42
|
+
<xs:complexType name="annotation-xml.model"><!--content model altered for libxml (annotation-xml)--><xs:sequence>
|
43
|
+
<xs:any processContents="lax"/>
|
44
|
+
</xs:sequence>
|
45
|
+
</xs:complexType>
|
46
|
+
<xs:group name="anyElement">
|
47
|
+
<xs:choice>
|
48
|
+
<xs:any namespace="##other" processContents="skip"/>
|
49
|
+
<xs:any namespace="##local" processContents="skip"/>
|
50
|
+
</xs:choice>
|
51
|
+
</xs:group>
|
52
|
+
<xs:element name="annotation-xml">
|
53
|
+
<xs:complexType>
|
54
|
+
<xs:complexContent>
|
55
|
+
<xs:extension base="m:annotation-xml.model">
|
56
|
+
<xs:attributeGroup ref="m:annotation.attributes"/>
|
57
|
+
</xs:extension>
|
58
|
+
</xs:complexContent>
|
59
|
+
</xs:complexType>
|
60
|
+
</xs:element>
|
61
|
+
<xs:attributeGroup name="annotation.attributes">
|
62
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
63
|
+
<xs:attribute name="cd" type="xs:NCName"/>
|
64
|
+
<xs:attribute name="name" type="xs:NCName"/>
|
65
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
66
|
+
<xs:attributeGroup ref="m:src"/>
|
67
|
+
</xs:attributeGroup>
|
68
|
+
<xs:attributeGroup name="DefEncAtt">
|
69
|
+
<xs:attribute name="encoding" type="xs:string"/>
|
70
|
+
<xs:attribute name="definitionURL" type="xs:anyURI"/>
|
71
|
+
</xs:attributeGroup>
|
72
|
+
<xs:group name="semantics">
|
73
|
+
<xs:sequence>
|
74
|
+
<xs:element name="semantics">
|
75
|
+
<xs:complexType>
|
76
|
+
<xs:sequence>
|
77
|
+
<xs:group ref="m:MathExpression"/>
|
78
|
+
<xs:choice minOccurs="0" maxOccurs="unbounded">
|
79
|
+
<xs:element ref="m:annotation"/>
|
80
|
+
<xs:element ref="m:annotation-xml"/>
|
81
|
+
</xs:choice>
|
82
|
+
</xs:sequence>
|
83
|
+
<xs:attributeGroup ref="m:semantics.attributes"/>
|
84
|
+
</xs:complexType>
|
85
|
+
</xs:element>
|
86
|
+
</xs:sequence>
|
87
|
+
</xs:group>
|
88
|
+
<xs:attributeGroup name="semantics.attributes">
|
89
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
90
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
91
|
+
<xs:attribute name="cd" type="xs:NCName"/>
|
92
|
+
<xs:attribute name="name" type="xs:NCName"/>
|
93
|
+
</xs:attributeGroup>
|
94
|
+
<xs:simpleType name="length">
|
95
|
+
<xs:restriction base="xs:string">
|
96
|
+
<xs:pattern value="\s*((-?[0-9]*([0-9]\.?|\.[0-9])[0-9]*(e[mx]|in|cm|mm|p[xtc]|%)?)|(negative)?((very){0,2}thi(n|ck)|medium)mathspace)\s*"/>
|
97
|
+
</xs:restriction>
|
98
|
+
</xs:simpleType>
|
99
|
+
</xs:schema>
|
@@ -0,0 +1,684 @@
|
|
1
|
+
<?xml version="1.0" encoding="UTF-8"?>
|
2
|
+
<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema"
|
3
|
+
xmlns:m="http://www.w3.org/1998/Math/MathML"
|
4
|
+
elementFormDefault="qualified"
|
5
|
+
targetNamespace="http://www.w3.org/1998/Math/MathML">
|
6
|
+
<xs:include schemaLocation="mathml3-strict-content.xsd"/>
|
7
|
+
<xs:complexType name="cn.content" mixed="true">
|
8
|
+
<xs:choice minOccurs="0" maxOccurs="unbounded">
|
9
|
+
<xs:element ref="m:mglyph"/>
|
10
|
+
<xs:element ref="m:sep"/>
|
11
|
+
<xs:element ref="m:PresentationExpression"/>
|
12
|
+
</xs:choice>
|
13
|
+
</xs:complexType>
|
14
|
+
<xs:attributeGroup name="cn.attributes">
|
15
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
16
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
17
|
+
<xs:attribute name="type"/>
|
18
|
+
<xs:attribute name="base"/>
|
19
|
+
</xs:attributeGroup>
|
20
|
+
<xs:attributeGroup name="ci.attributes">
|
21
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
22
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
23
|
+
<xs:attribute name="type"/>
|
24
|
+
</xs:attributeGroup>
|
25
|
+
<xs:attributeGroup name="ci.type">
|
26
|
+
<xs:attribute name="type" use="required"/>
|
27
|
+
</xs:attributeGroup>
|
28
|
+
<xs:complexType name="ci.content" mixed="true">
|
29
|
+
<xs:choice minOccurs="0" maxOccurs="unbounded">
|
30
|
+
<xs:element ref="m:mglyph"/>
|
31
|
+
<xs:element ref="m:PresentationExpression"/>
|
32
|
+
</xs:choice>
|
33
|
+
</xs:complexType>
|
34
|
+
<xs:attributeGroup name="csymbol.attributes">
|
35
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
36
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
37
|
+
<xs:attribute name="type"/>
|
38
|
+
<xs:attribute name="cd" type="xs:NCName"/>
|
39
|
+
</xs:attributeGroup>
|
40
|
+
<xs:complexType name="csymbol.content" mixed="true">
|
41
|
+
<xs:choice minOccurs="0" maxOccurs="unbounded">
|
42
|
+
<xs:element ref="m:mglyph"/>
|
43
|
+
<xs:element ref="m:PresentationExpression"/>
|
44
|
+
</xs:choice>
|
45
|
+
</xs:complexType>
|
46
|
+
<xs:element name="bvar">
|
47
|
+
<xs:complexType>
|
48
|
+
<xs:choice minOccurs="0" maxOccurs="unbounded">
|
49
|
+
<xs:choice>
|
50
|
+
<xs:element ref="m:ci"/>
|
51
|
+
<xs:group ref="m:semantics-ci"/>
|
52
|
+
</xs:choice>
|
53
|
+
<xs:element ref="m:degree"/>
|
54
|
+
</xs:choice>
|
55
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
56
|
+
</xs:complexType>
|
57
|
+
</xs:element>
|
58
|
+
<xs:attributeGroup name="cbytes.attributes">
|
59
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
60
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
61
|
+
</xs:attributeGroup>
|
62
|
+
<xs:attributeGroup name="cs.attributes">
|
63
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
64
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
65
|
+
</xs:attributeGroup>
|
66
|
+
<!--Ambiguous content model altered (apply.content)-->
|
67
|
+
<xs:complexType name="apply.content">
|
68
|
+
<xs:sequence>
|
69
|
+
<xs:group ref="m:ContExp"/>
|
70
|
+
<xs:group ref="m:BvarQ"/>
|
71
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:Qualifier"/>
|
72
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:ContExp"/>
|
73
|
+
</xs:sequence>
|
74
|
+
</xs:complexType>
|
75
|
+
<xs:complexType name="bind.content">
|
76
|
+
<xs:complexContent>
|
77
|
+
<xs:extension base="m:apply.content"/>
|
78
|
+
</xs:complexContent>
|
79
|
+
</xs:complexType>
|
80
|
+
<xs:attributeGroup name="base">
|
81
|
+
<xs:attribute name="base" use="required"/>
|
82
|
+
</xs:attributeGroup>
|
83
|
+
<xs:element name="sep">
|
84
|
+
<xs:complexType/>
|
85
|
+
</xs:element>
|
86
|
+
<xs:element name="PresentationExpression" abstract="true"/>
|
87
|
+
<xs:group name="DomainQ">
|
88
|
+
<xs:sequence>
|
89
|
+
<xs:choice minOccurs="0" maxOccurs="unbounded">
|
90
|
+
<xs:element ref="m:domainofapplication"/>
|
91
|
+
<xs:element ref="m:condition"/>
|
92
|
+
<!--Ambiguous content model altered (interval)--><xs:sequence>
|
93
|
+
<xs:element ref="m:lowlimit"/>
|
94
|
+
<xs:element minOccurs="0" ref="m:uplimit"/>
|
95
|
+
</xs:sequence>
|
96
|
+
</xs:choice>
|
97
|
+
</xs:sequence>
|
98
|
+
</xs:group>
|
99
|
+
<xs:element name="domainofapplication">
|
100
|
+
<xs:complexType>
|
101
|
+
<xs:group ref="m:ContExp"/>
|
102
|
+
</xs:complexType>
|
103
|
+
</xs:element>
|
104
|
+
<xs:element name="condition">
|
105
|
+
<xs:complexType>
|
106
|
+
<xs:group ref="m:ContExp"/>
|
107
|
+
</xs:complexType>
|
108
|
+
</xs:element>
|
109
|
+
<xs:element name="uplimit">
|
110
|
+
<xs:complexType>
|
111
|
+
<xs:group ref="m:ContExp"/>
|
112
|
+
</xs:complexType>
|
113
|
+
</xs:element>
|
114
|
+
<xs:element name="lowlimit">
|
115
|
+
<xs:complexType>
|
116
|
+
<xs:group ref="m:ContExp"/>
|
117
|
+
</xs:complexType>
|
118
|
+
</xs:element>
|
119
|
+
<xs:group name="Qualifier">
|
120
|
+
<xs:choice>
|
121
|
+
<xs:group ref="m:DomainQ"/>
|
122
|
+
<xs:element ref="m:degree"/>
|
123
|
+
<xs:element ref="m:momentabout"/>
|
124
|
+
<xs:element ref="m:logbase"/>
|
125
|
+
</xs:choice>
|
126
|
+
</xs:group>
|
127
|
+
<xs:element name="degree">
|
128
|
+
<xs:complexType>
|
129
|
+
<xs:group ref="m:ContExp"/>
|
130
|
+
</xs:complexType>
|
131
|
+
</xs:element>
|
132
|
+
<xs:element name="momentabout">
|
133
|
+
<xs:complexType>
|
134
|
+
<xs:group ref="m:ContExp"/>
|
135
|
+
</xs:complexType>
|
136
|
+
</xs:element>
|
137
|
+
<xs:element name="logbase">
|
138
|
+
<xs:complexType>
|
139
|
+
<xs:group ref="m:ContExp"/>
|
140
|
+
</xs:complexType>
|
141
|
+
</xs:element>
|
142
|
+
<xs:attributeGroup name="type">
|
143
|
+
<xs:attribute name="type" use="required"/>
|
144
|
+
</xs:attributeGroup>
|
145
|
+
<xs:attributeGroup name="order">
|
146
|
+
<xs:attribute name="order" use="required">
|
147
|
+
<xs:simpleType>
|
148
|
+
<xs:restriction base="xs:token">
|
149
|
+
<xs:enumeration value="numeric"/>
|
150
|
+
<xs:enumeration value="lexicographic"/>
|
151
|
+
</xs:restriction>
|
152
|
+
</xs:simpleType>
|
153
|
+
</xs:attribute>
|
154
|
+
</xs:attributeGroup>
|
155
|
+
<xs:attributeGroup name="closure">
|
156
|
+
<xs:attribute name="closure" use="required"/>
|
157
|
+
</xs:attributeGroup>
|
158
|
+
<xs:element name="piecewise">
|
159
|
+
<xs:complexType>
|
160
|
+
<xs:choice minOccurs="0" maxOccurs="unbounded">
|
161
|
+
<xs:element ref="m:piece"/>
|
162
|
+
<xs:element ref="m:otherwise"/>
|
163
|
+
</xs:choice>
|
164
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
165
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
166
|
+
</xs:complexType>
|
167
|
+
</xs:element>
|
168
|
+
<xs:element name="piece">
|
169
|
+
<xs:complexType>
|
170
|
+
<xs:sequence>
|
171
|
+
<xs:group ref="m:ContExp"/>
|
172
|
+
<xs:group ref="m:ContExp"/>
|
173
|
+
</xs:sequence>
|
174
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
175
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
176
|
+
</xs:complexType>
|
177
|
+
</xs:element>
|
178
|
+
<xs:element name="otherwise">
|
179
|
+
<xs:complexType>
|
180
|
+
<xs:group ref="m:ContExp"/>
|
181
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
182
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
183
|
+
</xs:complexType>
|
184
|
+
</xs:element>
|
185
|
+
<xs:element name="DeprecatedContExp" abstract="true"/>
|
186
|
+
<xs:element name="reln" substitutionGroup="m:DeprecatedContExp">
|
187
|
+
<xs:complexType>
|
188
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:ContExp"/>
|
189
|
+
</xs:complexType>
|
190
|
+
</xs:element>
|
191
|
+
<xs:element name="fn" substitutionGroup="m:DeprecatedContExp">
|
192
|
+
<xs:complexType>
|
193
|
+
<xs:group ref="m:ContExp"/>
|
194
|
+
</xs:complexType>
|
195
|
+
</xs:element>
|
196
|
+
<xs:element name="declare" substitutionGroup="m:DeprecatedContExp">
|
197
|
+
<xs:complexType>
|
198
|
+
<xs:group maxOccurs="unbounded" ref="m:ContExp"/>
|
199
|
+
<xs:attribute name="type" type="xs:string"/>
|
200
|
+
<xs:attribute name="scope" type="xs:string"/>
|
201
|
+
<xs:attribute name="nargs" type="xs:nonNegativeInteger"/>
|
202
|
+
<xs:attribute name="occurrence">
|
203
|
+
<xs:simpleType>
|
204
|
+
<xs:restriction base="xs:token">
|
205
|
+
<xs:enumeration value="prefix"/>
|
206
|
+
<xs:enumeration value="infix"/>
|
207
|
+
<xs:enumeration value="function-model"/>
|
208
|
+
</xs:restriction>
|
209
|
+
</xs:simpleType>
|
210
|
+
</xs:attribute>
|
211
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
212
|
+
</xs:complexType>
|
213
|
+
</xs:element>
|
214
|
+
<xs:element name="interval.class" abstract="true">
|
215
|
+
<xs:complexType>
|
216
|
+
<xs:sequence>
|
217
|
+
<xs:group ref="m:ContExp"/>
|
218
|
+
<xs:group ref="m:ContExp"/>
|
219
|
+
</xs:sequence>
|
220
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
221
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
222
|
+
<xs:attribute name="closure"/>
|
223
|
+
</xs:complexType>
|
224
|
+
</xs:element>
|
225
|
+
<xs:element name="interval" substitutionGroup="m:interval.class"/>
|
226
|
+
<xs:element name="unary-functional.class" abstract="true">
|
227
|
+
<xs:complexType>
|
228
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
229
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
230
|
+
</xs:complexType>
|
231
|
+
</xs:element>
|
232
|
+
<xs:element name="inverse" substitutionGroup="m:unary-functional.class"/>
|
233
|
+
<xs:element name="ident" substitutionGroup="m:unary-functional.class"/>
|
234
|
+
<xs:element name="domain" substitutionGroup="m:unary-functional.class"/>
|
235
|
+
<xs:element name="codomain" substitutionGroup="m:unary-functional.class"/>
|
236
|
+
<xs:element name="image" substitutionGroup="m:unary-functional.class"/>
|
237
|
+
<xs:element name="ln" substitutionGroup="m:unary-functional.class"/>
|
238
|
+
<xs:element name="log" substitutionGroup="m:unary-functional.class"/>
|
239
|
+
<xs:element name="moment" substitutionGroup="m:unary-functional.class"/>
|
240
|
+
<xs:element name="lambda.class" abstract="true">
|
241
|
+
<xs:complexType>
|
242
|
+
<xs:sequence>
|
243
|
+
<xs:group ref="m:BvarQ"/>
|
244
|
+
<xs:group ref="m:DomainQ"/>
|
245
|
+
<xs:group ref="m:ContExp"/>
|
246
|
+
</xs:sequence>
|
247
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
248
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
249
|
+
</xs:complexType>
|
250
|
+
</xs:element>
|
251
|
+
<xs:element name="lambda" substitutionGroup="m:lambda.class"/>
|
252
|
+
<xs:element name="nary-functional.class" abstract="true">
|
253
|
+
<xs:complexType>
|
254
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
255
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
256
|
+
</xs:complexType>
|
257
|
+
</xs:element>
|
258
|
+
<xs:element name="compose" substitutionGroup="m:nary-functional.class"/>
|
259
|
+
<xs:group name="binary-arith.class">
|
260
|
+
<xs:choice>
|
261
|
+
<xs:element ref="m:quotient"/>
|
262
|
+
<xs:element ref="m:divide"/>
|
263
|
+
<xs:element ref="m:minus"/>
|
264
|
+
<xs:element ref="m:power"/>
|
265
|
+
<xs:element ref="m:rem"/>
|
266
|
+
<xs:element ref="m:root"/>
|
267
|
+
</xs:choice>
|
268
|
+
</xs:group>
|
269
|
+
<xs:element name="quotient">
|
270
|
+
<xs:complexType>
|
271
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
272
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
273
|
+
</xs:complexType>
|
274
|
+
</xs:element>
|
275
|
+
<xs:element name="divide">
|
276
|
+
<xs:complexType>
|
277
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
278
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
279
|
+
</xs:complexType>
|
280
|
+
</xs:element>
|
281
|
+
<xs:element name="minus">
|
282
|
+
<xs:complexType>
|
283
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
284
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
285
|
+
</xs:complexType>
|
286
|
+
</xs:element>
|
287
|
+
<xs:element name="power">
|
288
|
+
<xs:complexType>
|
289
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
290
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
291
|
+
</xs:complexType>
|
292
|
+
</xs:element>
|
293
|
+
<xs:element name="rem">
|
294
|
+
<xs:complexType>
|
295
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
296
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
297
|
+
</xs:complexType>
|
298
|
+
</xs:element>
|
299
|
+
<xs:element name="root">
|
300
|
+
<xs:complexType>
|
301
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
302
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
303
|
+
</xs:complexType>
|
304
|
+
</xs:element>
|
305
|
+
<xs:group name="unary-arith.class">
|
306
|
+
<xs:choice>
|
307
|
+
<xs:element ref="m:factorial"/>
|
308
|
+
<!--Ambiguous content model altered (minus)--><!--Ambiguous content model altered (root)--><xs:element ref="m:abs"/>
|
309
|
+
<xs:element ref="m:conjugate"/>
|
310
|
+
<xs:element ref="m:arg"/>
|
311
|
+
<xs:element ref="m:real"/>
|
312
|
+
<xs:element ref="m:imaginary"/>
|
313
|
+
<xs:element ref="m:floor"/>
|
314
|
+
<xs:element ref="m:ceiling"/>
|
315
|
+
<xs:element ref="m:exp"/>
|
316
|
+
</xs:choice>
|
317
|
+
</xs:group>
|
318
|
+
<xs:element name="factorial">
|
319
|
+
<xs:complexType>
|
320
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
321
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
322
|
+
</xs:complexType>
|
323
|
+
</xs:element>
|
324
|
+
<xs:element name="abs">
|
325
|
+
<xs:complexType>
|
326
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
327
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
328
|
+
</xs:complexType>
|
329
|
+
</xs:element>
|
330
|
+
<xs:element name="conjugate">
|
331
|
+
<xs:complexType>
|
332
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
333
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
334
|
+
</xs:complexType>
|
335
|
+
</xs:element>
|
336
|
+
<xs:element name="arg">
|
337
|
+
<xs:complexType>
|
338
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
339
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
340
|
+
</xs:complexType>
|
341
|
+
</xs:element>
|
342
|
+
<xs:element name="real">
|
343
|
+
<xs:complexType>
|
344
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
345
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
346
|
+
</xs:complexType>
|
347
|
+
</xs:element>
|
348
|
+
<xs:element name="imaginary">
|
349
|
+
<xs:complexType>
|
350
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
351
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
352
|
+
</xs:complexType>
|
353
|
+
</xs:element>
|
354
|
+
<xs:element name="floor">
|
355
|
+
<xs:complexType>
|
356
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
357
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
358
|
+
</xs:complexType>
|
359
|
+
</xs:element>
|
360
|
+
<xs:element name="ceiling">
|
361
|
+
<xs:complexType>
|
362
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
363
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
364
|
+
</xs:complexType>
|
365
|
+
</xs:element>
|
366
|
+
<xs:element name="exp">
|
367
|
+
<xs:complexType>
|
368
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
369
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
370
|
+
</xs:complexType>
|
371
|
+
</xs:element>
|
372
|
+
<xs:element name="nary-minmax.class" abstract="true">
|
373
|
+
<xs:complexType>
|
374
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
375
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
376
|
+
</xs:complexType>
|
377
|
+
</xs:element>
|
378
|
+
<xs:element name="max" substitutionGroup="m:nary-minmax.class"/>
|
379
|
+
<xs:element name="min" substitutionGroup="m:nary-minmax.class"/>
|
380
|
+
<xs:element name="nary-arith.class" abstract="true">
|
381
|
+
<xs:complexType>
|
382
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
383
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
384
|
+
</xs:complexType>
|
385
|
+
</xs:element>
|
386
|
+
<xs:element name="plus" substitutionGroup="m:nary-arith.class"/>
|
387
|
+
<xs:element name="times" substitutionGroup="m:nary-arith.class"/>
|
388
|
+
<xs:element name="gcd" substitutionGroup="m:nary-arith.class"/>
|
389
|
+
<xs:element name="lcm" substitutionGroup="m:nary-arith.class"/>
|
390
|
+
<xs:element name="nary-logical.class" abstract="true">
|
391
|
+
<xs:complexType>
|
392
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
393
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
394
|
+
</xs:complexType>
|
395
|
+
</xs:element>
|
396
|
+
<xs:element name="and" substitutionGroup="m:nary-logical.class"/>
|
397
|
+
<xs:element name="or" substitutionGroup="m:nary-logical.class"/>
|
398
|
+
<xs:element name="xor" substitutionGroup="m:nary-logical.class"/>
|
399
|
+
<xs:element name="unary-logical.class" abstract="true">
|
400
|
+
<xs:complexType>
|
401
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
402
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
403
|
+
</xs:complexType>
|
404
|
+
</xs:element>
|
405
|
+
<xs:element name="not" substitutionGroup="m:unary-logical.class"/>
|
406
|
+
<xs:element name="binary-logical.class" abstract="true">
|
407
|
+
<xs:complexType>
|
408
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
409
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
410
|
+
</xs:complexType>
|
411
|
+
</xs:element>
|
412
|
+
<xs:element name="implies" substitutionGroup="m:binary-logical.class"/>
|
413
|
+
<xs:element name="equivalent" substitutionGroup="m:binary-logical.class"/>
|
414
|
+
<xs:element name="quantifier.class" abstract="true">
|
415
|
+
<xs:complexType>
|
416
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
417
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
418
|
+
</xs:complexType>
|
419
|
+
</xs:element>
|
420
|
+
<xs:element name="forall" substitutionGroup="m:quantifier.class"/>
|
421
|
+
<xs:element name="exists" substitutionGroup="m:quantifier.class"/>
|
422
|
+
<xs:element name="nary-reln.class" abstract="true">
|
423
|
+
<xs:complexType>
|
424
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
425
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
426
|
+
</xs:complexType>
|
427
|
+
</xs:element>
|
428
|
+
<xs:element name="eq" substitutionGroup="m:nary-reln.class"/>
|
429
|
+
<xs:element name="gt" substitutionGroup="m:nary-reln.class"/>
|
430
|
+
<xs:element name="lt" substitutionGroup="m:nary-reln.class"/>
|
431
|
+
<xs:element name="geq" substitutionGroup="m:nary-reln.class"/>
|
432
|
+
<xs:element name="leq" substitutionGroup="m:nary-reln.class"/>
|
433
|
+
<xs:element name="binary-reln.class" abstract="true"/>
|
434
|
+
<xs:element name="neq" substitutionGroup="m:binary-reln.class">
|
435
|
+
<xs:complexType>
|
436
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
437
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
438
|
+
</xs:complexType>
|
439
|
+
</xs:element>
|
440
|
+
<xs:element name="approx" substitutionGroup="m:binary-reln.class">
|
441
|
+
<xs:complexType>
|
442
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
443
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
444
|
+
</xs:complexType>
|
445
|
+
</xs:element>
|
446
|
+
<xs:element name="factorof" substitutionGroup="m:binary-reln.class">
|
447
|
+
<xs:complexType>
|
448
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
449
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
450
|
+
</xs:complexType>
|
451
|
+
</xs:element>
|
452
|
+
<xs:element name="tendsto" substitutionGroup="m:binary-reln.class">
|
453
|
+
<xs:complexType>
|
454
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
455
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
456
|
+
<xs:attribute name="type"/>
|
457
|
+
</xs:complexType>
|
458
|
+
</xs:element>
|
459
|
+
<xs:element name="int.class" abstract="true">
|
460
|
+
<xs:complexType>
|
461
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
462
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
463
|
+
</xs:complexType>
|
464
|
+
</xs:element>
|
465
|
+
<xs:element name="int" substitutionGroup="m:int.class"/>
|
466
|
+
<xs:element name="Differential-Operator.class" abstract="true">
|
467
|
+
<xs:complexType>
|
468
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
469
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
470
|
+
</xs:complexType>
|
471
|
+
</xs:element>
|
472
|
+
<xs:element name="diff" substitutionGroup="m:Differential-Operator.class"/>
|
473
|
+
<xs:element name="partialdiff.class" abstract="true">
|
474
|
+
<xs:complexType>
|
475
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
476
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
477
|
+
</xs:complexType>
|
478
|
+
</xs:element>
|
479
|
+
<xs:element name="partialdiff" substitutionGroup="m:partialdiff.class"/>
|
480
|
+
<xs:element name="unary-veccalc.class" abstract="true">
|
481
|
+
<xs:complexType>
|
482
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
483
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
484
|
+
</xs:complexType>
|
485
|
+
</xs:element>
|
486
|
+
<xs:element name="divergence" substitutionGroup="m:unary-veccalc.class"/>
|
487
|
+
<xs:element name="grad" substitutionGroup="m:unary-veccalc.class"/>
|
488
|
+
<xs:element name="curl" substitutionGroup="m:unary-veccalc.class"/>
|
489
|
+
<xs:element name="laplacian" substitutionGroup="m:unary-veccalc.class"/>
|
490
|
+
<xs:element name="nary-setlist-constructor.class" abstract="true"/>
|
491
|
+
<xs:element name="set" substitutionGroup="m:nary-setlist-constructor.class">
|
492
|
+
<xs:complexType>
|
493
|
+
<xs:sequence>
|
494
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:BvarQ"/>
|
495
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:DomainQ"/>
|
496
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:ContExp"/>
|
497
|
+
</xs:sequence>
|
498
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
499
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
500
|
+
<xs:attribute name="type"/>
|
501
|
+
</xs:complexType>
|
502
|
+
</xs:element>
|
503
|
+
<xs:element name="list" substitutionGroup="m:nary-setlist-constructor.class">
|
504
|
+
<xs:complexType>
|
505
|
+
<xs:sequence>
|
506
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:BvarQ"/>
|
507
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:DomainQ"/>
|
508
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:ContExp"/>
|
509
|
+
</xs:sequence>
|
510
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
511
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
512
|
+
<xs:attribute name="order">
|
513
|
+
<xs:simpleType>
|
514
|
+
<xs:restriction base="xs:token">
|
515
|
+
<xs:enumeration value="numeric"/>
|
516
|
+
<xs:enumeration value="lexicographic"/>
|
517
|
+
</xs:restriction>
|
518
|
+
</xs:simpleType>
|
519
|
+
</xs:attribute>
|
520
|
+
</xs:complexType>
|
521
|
+
</xs:element>
|
522
|
+
<xs:element name="nary-set.class" abstract="true">
|
523
|
+
<xs:complexType>
|
524
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
525
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
526
|
+
</xs:complexType>
|
527
|
+
</xs:element>
|
528
|
+
<xs:element name="union" substitutionGroup="m:nary-set.class"/>
|
529
|
+
<xs:element name="intersect" substitutionGroup="m:nary-set.class"/>
|
530
|
+
<xs:element name="cartesianproduct" substitutionGroup="m:nary-set.class"/>
|
531
|
+
<xs:element name="binary-set.class" abstract="true">
|
532
|
+
<xs:complexType>
|
533
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
534
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
535
|
+
</xs:complexType>
|
536
|
+
</xs:element>
|
537
|
+
<xs:element name="in" substitutionGroup="m:binary-set.class"/>
|
538
|
+
<xs:element name="notin" substitutionGroup="m:binary-set.class"/>
|
539
|
+
<xs:element name="notsubset" substitutionGroup="m:binary-set.class"/>
|
540
|
+
<xs:element name="notprsubset" substitutionGroup="m:binary-set.class"/>
|
541
|
+
<xs:element name="setdiff" substitutionGroup="m:binary-set.class"/>
|
542
|
+
<xs:element name="nary-set-reln.class" abstract="true">
|
543
|
+
<xs:complexType>
|
544
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
545
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
546
|
+
</xs:complexType>
|
547
|
+
</xs:element>
|
548
|
+
<xs:element name="subset" substitutionGroup="m:nary-set-reln.class"/>
|
549
|
+
<xs:element name="prsubset" substitutionGroup="m:nary-set-reln.class"/>
|
550
|
+
<xs:element name="unary-set.class" abstract="true">
|
551
|
+
<xs:complexType>
|
552
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
553
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
554
|
+
</xs:complexType>
|
555
|
+
</xs:element>
|
556
|
+
<xs:element name="card" substitutionGroup="m:unary-set.class"/>
|
557
|
+
<xs:element name="sum.class" abstract="true">
|
558
|
+
<xs:complexType>
|
559
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
560
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
561
|
+
</xs:complexType>
|
562
|
+
</xs:element>
|
563
|
+
<xs:element name="sum" substitutionGroup="m:sum.class"/>
|
564
|
+
<xs:element name="product.class" abstract="true">
|
565
|
+
<xs:complexType>
|
566
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
567
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
568
|
+
</xs:complexType>
|
569
|
+
</xs:element>
|
570
|
+
<xs:element name="product" substitutionGroup="m:product.class"/>
|
571
|
+
<xs:element name="limit.class" abstract="true">
|
572
|
+
<xs:complexType>
|
573
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
574
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
575
|
+
</xs:complexType>
|
576
|
+
</xs:element>
|
577
|
+
<xs:element name="limit" substitutionGroup="m:limit.class"/>
|
578
|
+
<xs:element name="unary-elementary.class" abstract="true">
|
579
|
+
<xs:complexType>
|
580
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
581
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
582
|
+
</xs:complexType>
|
583
|
+
</xs:element>
|
584
|
+
<xs:element name="sin" substitutionGroup="m:unary-elementary.class"/>
|
585
|
+
<xs:element name="cos" substitutionGroup="m:unary-elementary.class"/>
|
586
|
+
<xs:element name="tan" substitutionGroup="m:unary-elementary.class"/>
|
587
|
+
<xs:element name="sec" substitutionGroup="m:unary-elementary.class"/>
|
588
|
+
<xs:element name="csc" substitutionGroup="m:unary-elementary.class"/>
|
589
|
+
<xs:element name="cot" substitutionGroup="m:unary-elementary.class"/>
|
590
|
+
<xs:element name="sinh" substitutionGroup="m:unary-elementary.class"/>
|
591
|
+
<xs:element name="cosh" substitutionGroup="m:unary-elementary.class"/>
|
592
|
+
<xs:element name="tanh" substitutionGroup="m:unary-elementary.class"/>
|
593
|
+
<xs:element name="sech" substitutionGroup="m:unary-elementary.class"/>
|
594
|
+
<xs:element name="csch" substitutionGroup="m:unary-elementary.class"/>
|
595
|
+
<xs:element name="coth" substitutionGroup="m:unary-elementary.class"/>
|
596
|
+
<xs:element name="arcsin" substitutionGroup="m:unary-elementary.class"/>
|
597
|
+
<xs:element name="arccos" substitutionGroup="m:unary-elementary.class"/>
|
598
|
+
<xs:element name="arctan" substitutionGroup="m:unary-elementary.class"/>
|
599
|
+
<xs:element name="arccosh" substitutionGroup="m:unary-elementary.class"/>
|
600
|
+
<xs:element name="arccot" substitutionGroup="m:unary-elementary.class"/>
|
601
|
+
<xs:element name="arccoth" substitutionGroup="m:unary-elementary.class"/>
|
602
|
+
<xs:element name="arccsc" substitutionGroup="m:unary-elementary.class"/>
|
603
|
+
<xs:element name="arccsch" substitutionGroup="m:unary-elementary.class"/>
|
604
|
+
<xs:element name="arcsec" substitutionGroup="m:unary-elementary.class"/>
|
605
|
+
<xs:element name="arcsech" substitutionGroup="m:unary-elementary.class"/>
|
606
|
+
<xs:element name="arcsinh" substitutionGroup="m:unary-elementary.class"/>
|
607
|
+
<xs:element name="arctanh" substitutionGroup="m:unary-elementary.class"/>
|
608
|
+
<xs:element name="nary-stats.class" abstract="true">
|
609
|
+
<xs:complexType>
|
610
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
611
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
612
|
+
</xs:complexType>
|
613
|
+
</xs:element>
|
614
|
+
<xs:element name="mean" substitutionGroup="m:nary-stats.class"/>
|
615
|
+
<xs:element name="sdev" substitutionGroup="m:nary-stats.class"/>
|
616
|
+
<xs:element name="variance" substitutionGroup="m:nary-stats.class"/>
|
617
|
+
<xs:element name="median" substitutionGroup="m:nary-stats.class"/>
|
618
|
+
<xs:element name="mode" substitutionGroup="m:nary-stats.class"/>
|
619
|
+
<xs:element name="nary-constructor.class" abstract="true">
|
620
|
+
<xs:complexType>
|
621
|
+
<xs:sequence>
|
622
|
+
<xs:group ref="m:BvarQ"/>
|
623
|
+
<xs:group ref="m:DomainQ"/>
|
624
|
+
<xs:group minOccurs="0" maxOccurs="unbounded" ref="m:ContExp"/>
|
625
|
+
</xs:sequence>
|
626
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
627
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
628
|
+
</xs:complexType>
|
629
|
+
</xs:element>
|
630
|
+
<xs:element name="vector" substitutionGroup="m:nary-constructor.class"/>
|
631
|
+
<xs:element name="matrix" substitutionGroup="m:nary-constructor.class"/>
|
632
|
+
<xs:element name="matrixrow" substitutionGroup="m:nary-constructor.class"/>
|
633
|
+
<xs:element name="unary-linalg.class" abstract="true">
|
634
|
+
<xs:complexType>
|
635
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
636
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
637
|
+
</xs:complexType>
|
638
|
+
</xs:element>
|
639
|
+
<xs:element name="determinant" substitutionGroup="m:unary-linalg.class"/>
|
640
|
+
<xs:element name="transpose" substitutionGroup="m:unary-linalg.class"/>
|
641
|
+
<xs:element name="nary-linalg.class" abstract="true">
|
642
|
+
<xs:complexType>
|
643
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
644
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
645
|
+
</xs:complexType>
|
646
|
+
</xs:element>
|
647
|
+
<xs:element name="selector" substitutionGroup="m:nary-linalg.class"/>
|
648
|
+
<xs:element name="binary-linalg.class" abstract="true">
|
649
|
+
<xs:complexType>
|
650
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
651
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
652
|
+
</xs:complexType>
|
653
|
+
</xs:element>
|
654
|
+
<xs:element name="vectorproduct" substitutionGroup="m:binary-linalg.class"/>
|
655
|
+
<xs:element name="scalarproduct" substitutionGroup="m:binary-linalg.class"/>
|
656
|
+
<xs:element name="outerproduct" substitutionGroup="m:binary-linalg.class"/>
|
657
|
+
<xs:element name="constant-set.class" abstract="true">
|
658
|
+
<xs:complexType>
|
659
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
660
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
661
|
+
</xs:complexType>
|
662
|
+
</xs:element>
|
663
|
+
<xs:element name="integers" substitutionGroup="m:constant-set.class"/>
|
664
|
+
<xs:element name="reals" substitutionGroup="m:constant-set.class"/>
|
665
|
+
<xs:element name="rationals" substitutionGroup="m:constant-set.class"/>
|
666
|
+
<xs:element name="naturalnumbers" substitutionGroup="m:constant-set.class"/>
|
667
|
+
<xs:element name="complexes" substitutionGroup="m:constant-set.class"/>
|
668
|
+
<xs:element name="primes" substitutionGroup="m:constant-set.class"/>
|
669
|
+
<xs:element name="emptyset" substitutionGroup="m:constant-set.class"/>
|
670
|
+
<xs:element name="constant-arith.class" abstract="true">
|
671
|
+
<xs:complexType>
|
672
|
+
<xs:attributeGroup ref="m:CommonAtt"/>
|
673
|
+
<xs:attributeGroup ref="m:DefEncAtt"/>
|
674
|
+
</xs:complexType>
|
675
|
+
</xs:element>
|
676
|
+
<xs:element name="exponentiale" substitutionGroup="m:constant-arith.class"/>
|
677
|
+
<xs:element name="imaginaryi" substitutionGroup="m:constant-arith.class"/>
|
678
|
+
<xs:element name="notanumber" substitutionGroup="m:constant-arith.class"/>
|
679
|
+
<xs:element name="true" substitutionGroup="m:constant-arith.class"/>
|
680
|
+
<xs:element name="false" substitutionGroup="m:constant-arith.class"/>
|
681
|
+
<xs:element name="pi" substitutionGroup="m:constant-arith.class"/>
|
682
|
+
<xs:element name="eulergamma" substitutionGroup="m:constant-arith.class"/>
|
683
|
+
<xs:element name="infinity" substitutionGroup="m:constant-arith.class"/>
|
684
|
+
</xs:schema>
|