blob: 23d03cb6472875f02b790c8c8d6cbd6cab7d8ec6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
<?xml version="1.0" encoding="utf-8"?>
<!-- An XSL style sheet for transforming LaTeXML symbols to OMDoc (Open Mathematical Documents).
$Id: symbols.xsl 1858 2011-08-30 16:14:23Z kohlhase $
$HeadURL: https://svn.kwarc.info/repos/stex/branches/stex+xhtml/xsl/symbols.xsl $
send bug-reports, patches, suggestions to users@omdoc.org or developers@omdoc.org
Copyright (c) 2000 - 2002 Michael Kohlhase,
XSLT 2.0 port by Christoph Lange 2006
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
-->
<xsl:stylesheet version="1.0"
xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns="http://omdoc.org/ns"
xmlns:omdoc="http://omdoc.org/ns"
xmlns:ltx="http://dlmf.nist.gov/LaTeXML"
xmlns:om="http://www.openmath.org/OpenMath"
exclude-result-prefixes="xsl omdoc ltx om">
<xsl:output method="xml" indent="yes" cdata-section-elements="data"/>
<xsl:strip-space elements="*"/>
<!-- these parameters set the paths to the special latexml cds. The default is made so that it works for GenCS -->
<xsl:param name="latexmlcds" select="'../../../slides/extcds/stex'"/>
<xsl:param name="omcds" select="'../../../slides/extcds/omstd'"/>
<!-- get rid of the list OMAs LaTeXML uses -->
<xsl:template match="om:OMA[om:OMS[position()=1 and @name='list' and @cd='latexml']]">
<xsl:apply-templates select="*[position() > 1]"/>
</xsl:template>
<!-- special treatment for latexml symbols -->
<!-- we have a set of special CDs that correspond to the ones latexml postulates -->
<!-- they need to be imported whereever necessary -->
<xsl:template match="omdoc:theory">
<theory>
<xsl:copy-of select="@*"/>
<xsl:if test="//om:OMS[@cd='latexml' and @name='multirelation']">
<imports from="{$latexmlcds}/multirel.omdoc#multirel"/>
</xsl:if>
<xsl:if test="//om:OMS[@cd='latexml' and
(@name='times' or
@name='divide' or
@name='plus' or
@name='minus')]">
<imports from="{$omcds}/arith1.omdoc#arith1"/>
</xsl:if>
<xsl:if test="//om:OMS[@cd='latexml' and
(@name='greater-than' or
@name='less-than' or
@name='not-equals' or
@name='greater-than-or-equals' or
@name='less-than-or-equals')]">
<imports from="{$omcds}/relation1.omdoc#relation1"/>
</xsl:if>
<xsl:apply-templates/>
</theory>
</xsl:template>
<!-- and we need to convert the symbols -->
<xsl:template match="om:OMS[@cd='latexml' and @name='multirelation']">
<om:OMS cd="multirel" name="multirelation"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='plus']">
<om:OMS cd="arith1" name="plus"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='minus']">
<om:OMS cd="arith1" name="minus"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='times']">
<om:OMS cd="arith1" name="times"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='divide']">
<om:OMS cd="arith1" name="divide"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='greater-than']">
<om:OMS cd="relation1" name="gt"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='greater-than-or-equals']">
<om:OMS cd="relation1" name="gt"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='less-than']">
<om:OMS cd="relation1" name="lt"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='less-than-or-equals']">
<om:OMS cd="relation1" name="lt"/>
</xsl:template>
<xsl:template match="om:OMS[@cd='latexml' and @name='not-equals']">
<om:OMS cd="relation1" name="neq"/>
</xsl:template>
</xsl:stylesheet>
|