diff options
| author | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2015-04-03 22:50:01 +0200 |
|---|---|---|
| committer | Andreas Stöckel <astoecke@techfak.uni-bielefeld.de> | 2016-04-25 22:19:31 +0200 |
| commit | 144e00bedf72f261062ffd0759b9f1f98d6db352 (patch) | |
| tree | 3ca08d1a6756c2f863a4480a9a1faca0b3311259 /testdata/integration | |
| parent | 71063dc7d32f94d7243d52d865a4a07712920ea2 (diff) | |
Add another test for the test math environment, remove old tests
Diffstat (limited to 'testdata/integration')
| -rw-r--r-- | testdata/integration/user_defined_syntax/math_various.in.osml | 7 | ||||
| -rw-r--r-- | testdata/integration/user_defined_syntax/math_various.out.osxml | 109 |
2 files changed, 116 insertions, 0 deletions
diff --git a/testdata/integration/user_defined_syntax/math_various.in.osml b/testdata/integration/user_defined_syntax/math_various.in.osml new file mode 100644 index 0000000..c003688 --- /dev/null +++ b/testdata/integration/user_defined_syntax/math_various.in.osml @@ -0,0 +1,7 @@ +\import[ontology]{./math} +\begin{math} + \sum_{i=5}^{10} \\ + \int_{\var{x} -> -1}^{\var{x} -> 1} \sqrt{x^{2} - 1} dx &= \frac{π}{2}\\ + \fun{f}{x, y} |-> \frac{x^{2}}{2} + y^{2}\\ + \var{a}^{2} + \var{b}^{2} &= \var{c}^{2} +\end{math} diff --git a/testdata/integration/user_defined_syntax/math_various.out.osxml b/testdata/integration/user_defined_syntax/math_various.out.osxml new file mode 100644 index 0000000..37b8ef8 --- /dev/null +++ b/testdata/integration/user_defined_syntax/math_various.out.osxml @@ -0,0 +1,109 @@ +<?xml version="1.0" encoding="UTF-8" standalone="yes"?> +<document xmlns:math="math"> + <math:math> + <math:equation> + <math:field> + <math:sum> + <math:limits> + <math:lowerLimit> + <math:text>i</math:text> + <math:equals/> + <math:number>5</math:number> + </math:lowerLimit> + <math:upperLimit> + <math:number>10</math:number> + </math:upperLimit> + </math:limits> + </math:sum> + </math:field> + </math:equation> + <math:equation> + <math:field> + <math:int> + <math:limits> + <math:lowerLimit> + <math:var>x</math:var> + <math:to/> + <math:minus/> + <math:number>1</math:number> + </math:lowerLimit> + <math:upperLimit> + <math:var>x</math:var> + <math:to/> + <math:number>1</math:number> + </math:upperLimit> + </math:limits> + </math:int> + <math:sqrt base="2"> + <math:text>x</math:text> + <math:power> + <math:number>2</math:number> + </math:power> + <math:minus/> + <math:number>1</math:number> + </math:sqrt> + <math:text>dx</math:text> + </math:field> + <math:field> + <math:equals/> + <math:frac> + <denominator> + <math:text>π</math:text> + </denominator> + <nominator> + <math:number>2</math:number> + </nominator> + </math:frac> + </math:field> + </math:equation> + <math:equation> + <math:field> + <math:fun> + <name>f</name> + <arguments> + <math:text>x</math:text> + <math:comma/> + <math:text>y</math:text> + </arguments> + </math:fun> + <math:mapsto/> + <math:frac> + <denominator> + <math:text>x</math:text> + <math:power> + <math:number>2</math:number> + </math:power> + </denominator> + <nominator> + <math:number>2</math:number> + </nominator> + </math:frac> + <math:plus/> + <math:text>y</math:text> + <math:power> + <math:number>2</math:number> + </math:power> + </math:field> + </math:equation> + <math:equation> + <math:field> + <math:var>a</math:var> + <math:power> + <math:number>2</math:number> + </math:power> + <math:plus/> + <math:var>b</math:var> + <math:power> + <math:number>2</math:number> + </math:power> + </math:field> + <math:field> + <math:equals/> + <math:var>c</math:var> + <math:power> + <math:number>2</math:number> + </math:power> + </math:field> + </math:equation> + </math:math> +</document> |