1 <?xml version="1.0" encoding="UTF-8"?>
4 ||M|| This file is part of HELM, an Hypertextual, Electronic
5 ||A|| Library of Mathematics, developed at the Computer Science
6 ||T|| Department, University of Bologna, Italy.
8 ||T|| HELM is free software; you can redistribute it and/or
9 ||A|| modify it under the terms of the GNU General Public License
10 \ / version 2 or (at your option) any later version.
11 \ / This software is distributed as is, NO WARRANTY.
12 V_______________________________________________________________ -->
14 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
15 xmlns:ld="http://lambdadelta.info/"
16 xmlns="http://www.w3.org/1999/xhtml"
19 <xsl:template name="sp">
20 <xsl:text> </xsl:text>
23 <xsl:template name="cm">
24 <xsl:text>, </xsl:text>
27 <xsl:template name="sl">
28 <xsl:text>/</xsl:text>
31 <xsl:template name="plus">
32 <xsl:text>+</xsl:text>
35 <xsl:template name="fs">
36 <xsl:text>.​</xsl:text>
39 <xsl:template name="op">
40 <xsl:text>(</xsl:text>
43 <xsl:template name="cp">
44 <xsl:text>)</xsl:text>
47 <xsl:template name="ob">
48 <xsl:text>[</xsl:text>
51 <xsl:template name="cb">
52 <xsl:text>]</xsl:text>
55 <xsl:template name="oa">
56 <xsl:text><</xsl:text>
59 <xsl:template name="ca">
60 <xsl:text>></xsl:text>
63 <xsl:template name="cn">
64 <xsl:text>:</xsl:text>
67 <xsl:template name="eq">
68 <xsl:text>=</xsl:text>
71 <xsl:template name="qt">
72 <xsl:text>"</xsl:text>
75 <xsl:template name="idescr">
76 <xsl:text>Informal description: </xsl:text>
79 <xsl:template name="vpars">
80 <xsl:text>Validation parameters: </xsl:text>
83 <xsl:template name="shier">
84 <xsl:text>sort hierarchy = </xsl:text>
87 <xsl:template name="kopts">
88 <xsl:text>kernel options = </xsl:text>
91 <xsl:template name="multiple">
92 <span class="separator">
93 <xsl:call-template name="cm"/>
97 <xsl:template name="lambda">
100 <xsl:when test="@level=0">
101 <xsl:text disable-output-escaping="yes">&Pi;</xsl:text>
102 <sup><xsl:value-of select="@level"/></sup>
104 <xsl:when test="@level=1">
105 <xsl:text disable-output-escaping="yes">&Pi;</xsl:text>
107 <xsl:when test="@level=2">
108 <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
110 <xsl:when test="not(@level)">
111 <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
112 <sup><xsl:text disable-output-escaping="yes">&infin;</xsl:text></sup>
115 <xsl:text disable-output-escaping="yes">&lambda;</xsl:text>
116 <sup><xsl:value-of select="@level"/></sup>
122 <xsl:template name="delta">
124 <xsl:text disable-output-escaping="yes">&delta;</xsl:text>
128 <xsl:template name="chi">
130 <xsl:text disable-output-escaping="yes">&chi;</xsl:text>
134 <xsl:template name="position">
135 <xsl:variable name="index">
136 <xsl:value-of select="@position"/>
137 <xsl:if test="@offset != 0">
138 <xsl:call-template name="plus"/>
139 <xsl:value-of select="@offset"/>
143 <xsl:value-of select="@name"/>
147 <xsl:template name="lddlbaseurl">
148 <xsl:value-of select="$baseurl"/>
149 <xsl:value-of select="'static/lddl'"/>
152 <xsl:template name="uri">
153 <xsl:variable name="url">
154 <xsl:call-template name="lddlbaseurl">
155 <xsl:value-of select="substring-after(@uri,'ld:')"/>
156 <xsl:text>.html</xsl:text>
158 <a href="{$url}" title="{@uri}"><xsl:value-of select="@name"/></a>
161 <xsl:template name="global">
163 <xsl:value-of select="@name"/>
167 <xsl:template name="mk_names">
168 <xsl:param name="names">
169 <xsl:value-of select="normalize-space(@name)"/>
170 <xsl:call-template name="sp"/>
172 <xsl:param name="sep" select="false()"/>
173 <xsl:if test="$names and $sep">
174 <xsl:call-template name="multiple"/>
176 <xsl:if test="$names">
178 <xsl:value-of select="substring-before($names, ' ')"/>
180 <xsl:call-template name="mk_names">
181 <xsl:with-param name="names" select="substring-after($names, ' ')"/>
182 <xsl:with-param name="sep" select="true()"/>
187 <xsl:template name="mk_terms">
188 <xsl:for-each select="*">
189 <xsl:apply-templates select="."/>
190 <xsl:if test="(name()='Sort' or name()='LRef' or name()='GRef') and position()!=last()">
191 <xsl:call-template name="multiple"/>
196 <xsl:template name="mk_binder">
197 <xsl:param name="sep-seq"/>
198 <xsl:call-template name="ob"/>
199 <xsl:call-template name="mk_binder_rec1">
200 <xsl:with-param name="sep-seq" select="$sep-seq"/>
202 <xsl:call-template name="cb"/>
205 <xsl:template name="mk_binder_rec1">
206 <xsl:param name="sep-seq"/>
207 <xsl:param name="names">
208 <xsl:value-of select="normalize-space(@name)"/>
209 <xsl:call-template name="sp"/>
211 <xsl:param name="sep" select="false()"/>
212 <xsl:param name="start" select="true()"/>
213 <xsl:param name="pos" select="1"/>
215 <xsl:when test="$start and $pos <= count(*)">
216 <xsl:if test="$names and $sep">
217 <xsl:call-template name="multiple"/>
220 <xsl:value-of select="substring-before($names, ' ')"/>
222 <xsl:copy-of select="$sep-seq"/>
223 <xsl:call-template name="mk_binder_rec2">
224 <xsl:with-param name="names" select="substring-after($names, ' ')"/>
225 <xsl:with-param name="pos" select="$pos"/>
226 <xsl:with-param name="sep-seq" select="$sep-seq"/>
229 <xsl:when test="not($start) and $pos <= count(*)">
230 <xsl:call-template name="mk_binder_rec2">
231 <xsl:with-param name="names" select="$names"/>
232 <xsl:with-param name="pos" select="$pos"/>
233 <xsl:with-param name="sep-seq" select="$sep-seq"/>
239 <xsl:template name="mk_binder_rec2">
240 <xsl:param name="sep-seq"/>
241 <xsl:param name="names"/>
242 <xsl:param name="pos"/>
243 <xsl:apply-templates select="*[$pos]"/>
244 <xsl:call-template name="mk_binder_rec1">
245 <xsl:with-param name="sep-seq" select="$sep-seq"/>
246 <xsl:with-param name="names" select="$names"/>
247 <xsl:with-param name="sep" select="true()"/>
248 <xsl:with-param name="start" select="name(*[$pos])='Sort' or name(*[$pos])='LRef' or name(*[$pos])='GRef'"/>
249 <xsl:with-param name="pos" select="$pos+1"/>
253 <xsl:template name="mk_segment">
254 <xsl:param name="path"/>
255 <xsl:param name="name"/>
256 <xsl:variable name="url">
257 <xsl:call-template name="lddlbaseurl">
258 <xsl:value-of select="substring-after($path,'ld:')"/>
260 <a href="{$url}"><xsl:value-of select="$name"/></a>
261 <xsl:call-template name="sl"/>
264 <xsl:template name="mk_path">
265 <xsl:param name="rpath" select="@uri"/>
266 <xsl:variable name="newrpath" select="substring-after($rpath,'/')"/>
268 <xsl:when test="$newrpath">
269 <xsl:variable name="segment" select="substring-before($rpath,$newrpath)"/>
270 <xsl:call-template name="mk_segment">
271 <xsl:with-param name="path" select="substring-before(@uri,$newrpath)"/>
272 <xsl:with-param name="name" select="substring-before($segment,'/')"/>
274 <xsl:call-template name="mk_path">
275 <xsl:with-param name="rpath" select="$newrpath"/>
279 <xsl:variable name="path" select="substring-before(@uri,$rpath)"/>
280 <xsl:value-of select="substring-after(@uri,$path)"/>
285 <xsl:template name="lddl">
286 <xsl:text disable-output-escaping="yes">&lambda;&delta; Digital Library (LDDL)</xsl:text>