asciimath 1.0.9 → 2.0.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (57) hide show
  1. checksums.yaml +5 -5
  2. data/AST.adoc +457 -0
  3. data/CHANGELOG.adoc +12 -0
  4. data/Gemfile.lock +39 -0
  5. data/README.adoc +27 -3
  6. data/asciimath.gemspec +9 -5
  7. data/lib/asciimath.rb +5 -4
  8. data/lib/asciimath/ast.rb +456 -0
  9. data/lib/asciimath/cli.rb +4 -1
  10. data/lib/asciimath/color_table.rb +21 -0
  11. data/lib/asciimath/html.rb +126 -111
  12. data/lib/asciimath/latex.rb +386 -0
  13. data/lib/asciimath/markup.rb +478 -0
  14. data/lib/asciimath/mathml.rb +189 -87
  15. data/lib/asciimath/parser.rb +498 -343
  16. data/lib/asciimath/symbol_table.rb +25 -0
  17. data/lib/asciimath/version.rb +1 -1
  18. data/spec/ast.rb +144 -0
  19. data/spec/parser_spec.rb +592 -165
  20. data/spec/schema/mathml2/common/common-attribs.xsd +41 -0
  21. data/spec/schema/mathml2/common/math.xsd +126 -0
  22. data/spec/schema/mathml2/common/xlink-href.xsd +20 -0
  23. data/spec/schema/mathml2/content/arith.xsd +90 -0
  24. data/spec/schema/mathml2/content/calculus.xsd +146 -0
  25. data/spec/schema/mathml2/content/common-attrib.xsd +30 -0
  26. data/spec/schema/mathml2/content/constants.xsd +83 -0
  27. data/spec/schema/mathml2/content/constructs.xsd +260 -0
  28. data/spec/schema/mathml2/content/elementary-functions.xsd +117 -0
  29. data/spec/schema/mathml2/content/functions.xsd +73 -0
  30. data/spec/schema/mathml2/content/linear-algebra.xsd +173 -0
  31. data/spec/schema/mathml2/content/logic.xsd +53 -0
  32. data/spec/schema/mathml2/content/relations.xsd +55 -0
  33. data/spec/schema/mathml2/content/semantics.xsd +85 -0
  34. data/spec/schema/mathml2/content/sets.xsd +236 -0
  35. data/spec/schema/mathml2/content/statistics.xsd +136 -0
  36. data/spec/schema/mathml2/content/tokens.xsd +120 -0
  37. data/spec/schema/mathml2/content/vector-calculus.xsd +88 -0
  38. data/spec/schema/mathml2/mathml2.xsd +59 -0
  39. data/spec/schema/mathml2/presentation/action.xsd +44 -0
  40. data/spec/schema/mathml2/presentation/characters.xsd +37 -0
  41. data/spec/schema/mathml2/presentation/common-attribs.xsd +113 -0
  42. data/spec/schema/mathml2/presentation/common-types.xsd +103 -0
  43. data/spec/schema/mathml2/presentation/error.xsd +40 -0
  44. data/spec/schema/mathml2/presentation/layout.xsd +195 -0
  45. data/spec/schema/mathml2/presentation/scripts.xsd +186 -0
  46. data/spec/schema/mathml2/presentation/space.xsd +52 -0
  47. data/spec/schema/mathml2/presentation/style.xsd +69 -0
  48. data/spec/schema/mathml2/presentation/table.xsd +216 -0
  49. data/spec/schema/mathml2/presentation/tokens.xsd +124 -0
  50. data/spec/schema/mathml3/mathml3-common.xsd +99 -0
  51. data/spec/schema/mathml3/mathml3-content.xsd +684 -0
  52. data/spec/schema/mathml3/mathml3-presentation.xsd +2151 -0
  53. data/spec/schema/mathml3/mathml3-strict-content.xsd +186 -0
  54. data/spec/schema/mathml3/mathml3.xsd +9 -0
  55. metadata +102 -10
  56. data/.gitignore +0 -16
  57. data/.travis.yml +0 -18
data/spec/schema/mathml2/content/statistics.xsd ADDED
@@ -0,0 +1,136 @@
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 an XML Schema module for the statistical operators of content MathML.
13
+ Author: St&#233;phane Dalmas, INRIA.
14
+ </xs:documentation>
15
+ </xs:annotation>
16
+
17
+ <!-- "mean" -->
18
+
19
+ <xs:attributeGroup name="mean.attlist">
20
+ <xs:attributeGroup ref="Definition.attrib"/>
21
+ <xs:attributeGroup ref="Common.attrib"/>
22
+ </xs:attributeGroup>
23
+
24
+ <xs:complexType name="mean.type">
25
+ <xs:attributeGroup ref="mean.attlist"/>
26
+ </xs:complexType>
27
+
28
+ <xs:element name="mean" type="mean.type"/>
29
+
30
+ <!-- "sdev" -->
31
+
32
+ <xs:attributeGroup name="sdev.attlist">
33
+ <xs:attributeGroup ref="Definition.attrib"/>
34
+ <xs:attributeGroup ref="Common.attrib"/>
35
+ </xs:attributeGroup>
36
+
37
+ <xs:complexType name="sdev.type">
38
+ <xs:attributeGroup ref="sdev.attlist"/>
39
+ </xs:complexType>
40
+
41
+ <xs:element name="sdev" type="sdev.type"/>
42
+
43
+ <!-- "variance" -->
44
+
45
+ <xs:attributeGroup name="variance.attlist">
46
+ <xs:attributeGroup ref="Definition.attrib"/>
47
+ <xs:attributeGroup ref="Common.attrib"/>
48
+ </xs:attributeGroup>
49
+
50
+ <xs:complexType name="variance.type">
51
+ <xs:attributeGroup ref="variance.attlist"/>
52
+ </xs:complexType>
53
+
54
+ <xs:element name="variance" type="variance.type"/>
55
+
56
+ <!-- "median" -->
57
+
58
+ <xs:attributeGroup name="median.attlist">
59
+ <xs:attributeGroup ref="Definition.attrib"/>
60
+ <xs:attributeGroup ref="Common.attrib"/>
61
+ </xs:attributeGroup>
62
+
63
+ <xs:complexType name="median.type">
64
+ <xs:attributeGroup ref="median.attlist"/>
65
+ </xs:complexType>
66
+
67
+ <xs:element name="median" type="median.type"/>
68
+
69
+ <!-- "mode" -->
70
+
71
+ <xs:attributeGroup name="mode.attlist">
72
+ <xs:attributeGroup ref="Definition.attrib"/>
73
+ <xs:attributeGroup ref="Common.attrib"/>
74
+ </xs:attributeGroup>
75
+
76
+ <xs:complexType name="mode.type">
77
+ <xs:attributeGroup ref="mode.attlist"/>
78
+ </xs:complexType>
79
+
80
+ <xs:element name="mode" type="mode.type"/>
81
+
82
+ <!-- "moment" -->
83
+
84
+ <xs:attributeGroup name="moment.attlist">
85
+ <xs:attributeGroup ref="Definition.attrib"/>
86
+ <xs:attributeGroup ref="Common.attrib"/>
87
+ </xs:attributeGroup>
88
+
89
+ <xs:complexType name="moment.type">
90
+ <xs:attributeGroup ref="moment.attlist"/>
91
+ </xs:complexType>
92
+
93
+ <xs:element name="moment" type="moment.type"/>
94
+
95
+ <!-- "momentabout" -->
96
+
97
+ <xs:attributeGroup name="momentabout.attlist">
98
+ <xs:attributeGroup ref="Definition.attrib"/>
99
+ <xs:attributeGroup ref="Common.attrib"/>
100
+ </xs:attributeGroup>
101
+
102
+ <xs:group name="momentabout.content">
103
+ <xs:sequence>
104
+ <xs:group ref="Content-expr.class"/>
105
+ </xs:sequence>
106
+ </xs:group>
107
+
108
+ <xs:complexType name="momentabout.type">
109
+ <xs:group ref="momentabout.content" minOccurs="1" maxOccurs="unbounded"/>
110
+ <xs:attributeGroup ref="momentabout.attlist"/>
111
+ </xs:complexType>
112
+
113
+ <xs:element name="momentabout" type="momentabout.type"/>
114
+
115
+ <!-- And the group of everything -->
116
+
117
+ <xs:group name="Content-statistics.class">
118
+ <xs:choice>
119
+ <xs:element ref="mean"/>
120
+ <xs:element ref="sdev"/>
121
+ <xs:element ref="variance"/>
122
+ <xs:element ref="median"/>
123
+ <xs:element ref="mode"/>
124
+ <xs:element ref="moment"/>
125
+ <xs:element ref="momentabout"/>
126
+ </xs:choice>
127
+ </xs:group>
128
+
129
+
130
+ </xs:schema>
131
+ <!--
132
+ Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
133
+ of Technology, Institut National de Recherche en Informatique et en
134
+ Automatique, Keio University). All Rights Reserved. See
135
+ http://www.w3.org/Consortium/Legal/.
136
+ -->
data/spec/schema/mathml2/content/tokens.xsd ADDED
@@ -0,0 +1,120 @@
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
+ content part of MathML.
14
+ Author: St&#233;phane Dalmas, INRIA.
15
+ </xs:documentation>
16
+ </xs:annotation>
17
+
18
+ <!-- common content for the token elements -->
19
+
20
+ <xs:group name="Content-token.content">
21
+ <xs:sequence>
22
+ <xs:group ref="Presentation-expr.class"/>
23
+ </xs:sequence>
24
+ </xs:group>
25
+
26
+ <!-- "cn" -->
27
+
28
+ <xs:attributeGroup name="cn.attlist">
29
+ <xs:attribute name="base">
30
+ <xs:simpleType>
31
+ <xs:restriction base="xs:positiveInteger">
32
+ <xs:minInclusive value="2"/>
33
+ <xs:maxInclusive value="36"/>
34
+ </xs:restriction>
35
+ </xs:simpleType>
36
+ </xs:attribute>
37
+ <xs:attribute name="type">
38
+ <xs:simpleType>
39
+ <xs:restriction base="xs:NMTOKEN">
40
+ <xs:enumeration value="e-notation"/>
41
+ <xs:enumeration value="integer"/>
42
+ <xs:enumeration value="rational"/>
43
+ <xs:enumeration value="real"/>
44
+ <xs:enumeration value="complex-cartesian"/>
45
+ <xs:enumeration value="complex-polar"/>
46
+ <xs:enumeration value="constant"/>
47
+ </xs:restriction>
48
+ </xs:simpleType>
49
+ </xs:attribute>
50
+ <xs:attributeGroup ref="Definition.attrib"/>
51
+ <xs:attributeGroup ref="Common.attrib"/>
52
+ </xs:attributeGroup>
53
+
54
+ <!-- the content of "cn" may have <sep> elements in it -->
55
+
56
+ <xs:complexType name="sep.type">
57
+ </xs:complexType>
58
+
59
+ <xs:element name="sep" type="sep.type"/>
60
+
61
+ <xs:group name="cn.content">
62
+ <xs:choice>
63
+ <xs:group ref="Presentation-expr.class"/>
64
+ <xs:element ref="sep"/>
65
+ </xs:choice>
66
+ </xs:group>
67
+
68
+ <xs:complexType name="cn.type" mixed="true">
69
+ <xs:group ref="cn.content" minOccurs="0" maxOccurs="unbounded"/>
70
+ <xs:attributeGroup ref="cn.attlist"/>
71
+ </xs:complexType>
72
+
73
+ <xs:element name="cn" type="cn.type"/>
74
+
75
+ <!-- "ci" -->
76
+
77
+ <xs:attributeGroup name="ci.attlist">
78
+ <xs:attribute name="type" type="xs:string"/>
79
+ <xs:attributeGroup ref="Definition.attrib"/>
80
+ <xs:attributeGroup ref="Common.attrib"/>
81
+ </xs:attributeGroup>
82
+
83
+ <xs:complexType name="ci.type" mixed="true">
84
+ <xs:group ref="Content-token.content" minOccurs="0"/>
85
+ <xs:attributeGroup ref="ci.attlist"/>
86
+ </xs:complexType>
87
+
88
+ <xs:element name="ci" type="ci.type"/>
89
+
90
+ <!-- "csymbol" -->
91
+
92
+ <xs:attributeGroup name="csymbol.attlist">
93
+ <xs:attributeGroup ref="Definition.attrib"/>
94
+ <xs:attributeGroup ref="Common.attrib"/>
95
+ </xs:attributeGroup>
96
+
97
+ <xs:complexType name="csymbol.type" mixed="true">
98
+ <xs:group ref="Content-token.content" minOccurs="0"/>
99
+ <xs:attributeGroup ref="csymbol.attlist"/>
100
+ </xs:complexType>
101
+
102
+ <xs:element name="csymbol" type="csymbol.type"/>
103
+
104
+ <!-- And the group of everything -->
105
+
106
+ <xs:group name="Content-tokens.class">
107
+ <xs:choice>
108
+ <xs:element ref="cn"/>
109
+ <xs:element ref="ci"/>
110
+ <xs:element ref="csymbol"/>
111
+ </xs:choice>
112
+ </xs:group>
113
+
114
+ </xs:schema>
115
+ <!--
116
+ Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
117
+ of Technology, Institut National de Recherche en Informatique et en
118
+ Automatique, Keio University). All Rights Reserved. See
119
+ http://www.w3.org/Consortium/Legal/.
120
+ -->
data/spec/schema/mathml2/content/vector-calculus.xsd ADDED
@@ -0,0 +1,88 @@
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 an XML Schema module for the vector calculs operators of content
13
+ MathML.
14
+ Author: St&#233;phane Dalmas, INRIA.
15
+ </xs:documentation>
16
+ </xs:annotation>
17
+
18
+ <!-- "divergence" -->
19
+
20
+ <xs:attributeGroup name="divergence.attlist">
21
+ <xs:attributeGroup ref="Definition.attrib"/>
22
+ <xs:attributeGroup ref="Common.attrib"/>
23
+ </xs:attributeGroup>
24
+
25
+ <xs:complexType name="divergence.type">
26
+ <xs:attributeGroup ref="divergence.attlist"/>
27
+ </xs:complexType>
28
+
29
+ <xs:element name="divergence" type="divergence.type"/>
30
+
31
+ <!-- "grad" -->
32
+
33
+ <xs:attributeGroup name="grad.attlist">
34
+ <xs:attributeGroup ref="Definition.attrib"/>
35
+ <xs:attributeGroup ref="Common.attrib"/>
36
+ </xs:attributeGroup>
37
+
38
+ <xs:complexType name="grad.type">
39
+ <xs:attributeGroup ref="grad.attlist"/>
40
+ </xs:complexType>
41
+
42
+ <xs:element name="grad" type="grad.type"/>
43
+
44
+ <!-- "curl" -->
45
+
46
+ <xs:attributeGroup name="curl.attlist">
47
+ <xs:attributeGroup ref="Definition.attrib"/>
48
+ <xs:attributeGroup ref="Common.attrib"/>
49
+ </xs:attributeGroup>
50
+
51
+ <xs:complexType name="curl.type">
52
+ <xs:attributeGroup ref="curl.attlist"/>
53
+ </xs:complexType>
54
+
55
+ <xs:element name="curl" type="curl.type"/>
56
+
57
+ <!-- "laplacian" -->
58
+
59
+ <xs:attributeGroup name="laplacian.attlist">
60
+ <xs:attributeGroup ref="Definition.attrib"/>
61
+ <xs:attributeGroup ref="Common.attrib"/>
62
+ </xs:attributeGroup>
63
+
64
+ <xs:complexType name="laplacian.type">
65
+ <xs:attributeGroup ref="laplacian.attlist"/>
66
+ </xs:complexType>
67
+
68
+ <xs:element name="laplacian" type="laplacian.type"/>
69
+
70
+ <!-- And the group of everything -->
71
+
72
+ <xs:group name="Content-vector-calculus.class">
73
+ <xs:choice>
74
+ <xs:element ref="divergence"/>
75
+ <xs:element ref="grad"/>
76
+ <xs:element ref="curl"/>
77
+ <xs:element ref="laplacian"/>
78
+ </xs:choice>
79
+ </xs:group>
80
+
81
+
82
+ </xs:schema>
83
+ <!--
84
+ Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
85
+ of Technology, Institut National de Recherche en Informatique et en
86
+ Automatique, Keio University). All Rights Reserved. See
87
+ http://www.w3.org/Consortium/Legal/.
88
+ -->
data/spec/schema/mathml2/mathml2.xsd ADDED
@@ -0,0 +1,59 @@
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
+ <xs:annotation>
10
+ <xs:documentation>
11
+ This is an XML Schema for MathML.
12
+ Author: St&#233;phane Dalmas, INRIA.
13
+ </xs:documentation>
14
+ </xs:annotation>
15
+
16
+ <!-- common stuff -->
17
+
18
+ <xs:include schemaLocation="common/math.xsd"/>
19
+ <xs:include schemaLocation="common/common-attribs.xsd"/>
20
+
21
+ <!-- Presentation -->
22
+ <xs:include schemaLocation="presentation/common-types.xsd"/>
23
+ <xs:include schemaLocation="presentation/common-attribs.xsd"/>
24
+ <xs:include schemaLocation="presentation/characters.xsd"/>
25
+ <xs:include schemaLocation="presentation/tokens.xsd"/>
26
+ <xs:include schemaLocation="presentation/scripts.xsd"/>
27
+ <xs:include schemaLocation="presentation/space.xsd"/>
28
+ <xs:include schemaLocation="presentation/layout.xsd"/>
29
+ <xs:include schemaLocation="presentation/table.xsd"/>
30
+ <xs:include schemaLocation="presentation/style.xsd"/>
31
+ <xs:include schemaLocation="presentation/error.xsd"/>
32
+ <xs:include schemaLocation="presentation/action.xsd"/>
33
+
34
+ <!-- Content -->
35
+
36
+ <xs:include schemaLocation="content/common-attrib.xsd"/>
37
+ <xs:include schemaLocation="content/tokens.xsd"/>
38
+ <xs:include schemaLocation="content/arith.xsd"/>
39
+ <xs:include schemaLocation="content/functions.xsd"/>
40
+ <xs:include schemaLocation="content/logic.xsd"/>
41
+ <xs:include schemaLocation="content/constructs.xsd"/>
42
+ <xs:include schemaLocation="content/constants.xsd"/>
43
+ <xs:include schemaLocation="content/elementary-functions.xsd"/>
44
+ <xs:include schemaLocation="content/relations.xsd"/>
45
+ <xs:include schemaLocation="content/semantics.xsd"/>
46
+ <xs:include schemaLocation="content/sets.xsd"/>
47
+ <xs:include schemaLocation="content/linear-algebra.xsd"/>
48
+ <xs:include schemaLocation="content/calculus.xsd"/>
49
+ <xs:include schemaLocation="content/vector-calculus.xsd"/>
50
+ <xs:include schemaLocation="content/statistics.xsd"/>
51
+
52
+
53
+ </xs:schema>
54
+ <!--
55
+ Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
56
+ of Technology, Institut National de Recherche en Informatique et en
57
+ Automatique, Keio University). All Rights Reserved. See
58
+ http://www.w3.org/Consortium/Legal/.
59
+ -->
data/spec/schema/mathml2/presentation/action.xsd ADDED
@@ -0,0 +1,44 @@
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 MathML "maction" element.
13
+ Author: St&#233;phane Dalmas, INRIA.
14
+ </xs:documentation>
15
+ </xs:annotation>
16
+
17
+ <xs:attributeGroup name="maction.attlist">
18
+ <xs:attribute name="actiontype" type="xs:string" use="required"/>
19
+ <xs:attribute name="selection" type="xs:positiveInteger" default="1"/>
20
+ <xs:attributeGroup ref="Common.attrib"/>
21
+ </xs:attributeGroup>
22
+
23
+ <xs:group name="maction.content">
24
+ <xs:sequence>
25
+ <xs:group ref="Presentation-expr.class"/>
26
+ </xs:sequence>
27
+ </xs:group>
28
+
29
+ <xs:complexType name="maction.type">
30
+ <xs:group ref="maction.content" minOccurs="1" maxOccurs="unbounded"/>
31
+ <xs:attributeGroup ref="maction.attlist"/>
32
+ </xs:complexType>
33
+
34
+ <xs:element name="maction" type="maction.type"/>
35
+
36
+ </xs:schema>
37
+
38
+
39
+ <!--
40
+ Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
41
+ of Technology, Institut National de Recherche en Informatique et en
42
+ Automatique, Keio University). All Rights Reserved. See
43
+ http://www.w3.org/Consortium/Legal/.
44
+ -->