diff options
Diffstat (limited to 'docs-xml/xslt/db2latex-xsl/xsl/mathml/mathml.content.functions.mod.xsl')
| -rw-r--r-- | docs-xml/xslt/db2latex-xsl/xsl/mathml/mathml.content.functions.mod.xsl | 750 |
1 files changed, 0 insertions, 750 deletions
diff --git a/docs-xml/xslt/db2latex-xsl/xsl/mathml/mathml.content.functions.mod.xsl b/docs-xml/xslt/db2latex-xsl/xsl/mathml/mathml.content.functions.mod.xsl deleted file mode 100644 index 2b6258e10a..0000000000 --- a/docs-xml/xslt/db2latex-xsl/xsl/mathml/mathml.content.functions.mod.xsl +++ /dev/null @@ -1,750 +0,0 @@ -<?xml version='1.0'?> -<!DOCTYPE xsl:stylesheet -[ - <!ENTITY % mmlalias PUBLIC "MathML alias" "ent/mmlalias.ent"> %mmlalias; - <!ENTITY % mmlextra PUBLIC "MathML extra" "ent/mmlextra.ent"> %mmlextra; -]> -<!--############################################################################# - | $Id: mathml.content.functions.mod.xsl,v 1.2 2004/01/18 10:45:35 j-devenish Exp $ - |- ############################################################################# - | $Author: j-devenish $ - | - | PURPOSE: MathML content markup. - | Note: these elements are not part of the DocBook DTD. I have extended - | the docbook DTD in order to support this tags, so that's why I have these - | templates here. - | - | MathML namespace used -> mml - + ############################################################################## --> - -<xsl:stylesheet version='1.0' - xmlns:xsl="http://www.w3.org/1999/XSL/Transform" - xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns="http://www.w3.org/1998/Math/MathML"> - -<xsl:template match="mml:fn"> -</xsl:template> - -<!-- -<xsl:template match="mml:apply/lowlimit"> -<xsl:variable name="first" select="../child::*[1]"/> -</xsl:template> - -<xsl:template match="mml:apply/uplimit"> -<xsl:variable name="first" select="../child::*[1]"/> -</xsl:template> - -<xsl:template match="mml:apply/degree"> -<xsl:variable name="first" select="../child::*[1]"/> -</xsl:template> ---> - - -<!-- conditions --> -<!-- no support for deprecated reln--> -<xsl:template match="mml:condition"> - <xsl:text>{</xsl:text><xsl:apply-templates/><xsl:text>}</xsl:text> -</xsl:template> - - - - - - -<!--UNARY - unary arithmetic exp, factorial, minus, abs, conjugate, arg, real, imaginary - unary logical not - unary functional inverse, ident - unary elementary classical - functions sin, cos, tan, sec, csc, cot, sinh, cosh, tanh, sech, csch, coth, arcsin, - arccos, arctan, arccosh, arccot, arccoth, arccsc, arccsch, arcsec, arcsech, arcsinh, - arctanh, exp, ln, log - unary linear algebra determinant, transpose - unary calculus and vector calculus - divergence, grad, curl, laplacian - unary set-theoretic card ---> - -<!-- BINARY - binary arithmetic quotient, divide, minus, power, rem - binary logical implies, equivalent, approx - binary set operators setdiff - binary linear algebra vectorproduct, scalarproduct, outerproduct ---> - -<!-- N-ARY and OTHER - n-ary statistical mean, sdev, variance, median, mode - n-ary logical and, or, xor - n-ary linear algebra selector - n-ary set operator union, intersect - n-ary functional fn, compose - integral, sum, product operators int, sum, product - differential operator diff, partialdiff - quantifier forall, exists ---> -<!-- Get the first child (operator), and check if its name is a fn , or operator--> -<!-- Is the operator taking qualifiers? --> -<!-- Operators : int, sum, product, root, diff, partialdiff, limit, log, moment, min, max, forall, exists --> -<!-- Qualifiers : lowlimit, uplimit, bvar, degree, logbase, interval, condition --> - - -<!-- apply/apply --> -<xsl:template match="mml:apply[mml:apply]"> <!-- when the function itself is defined by other functions: (F+G)(x) --> - <xsl:choose> - <xsl:when test="count(child::*)>=2"> - <xsl:text>{</xsl:text><xsl:apply-templates select="child::*[position()=1]"/><xsl:text>}</xsl:text> - <xsl:text>{</xsl:text><xsl:apply-templates select="child::*[position()!=1]"/><xsl:text>}</xsl:text> - </xsl:when> - <xsl:otherwise> <!-- apply only contains apply, no operand--> - <xsl:text>{</xsl:text><xsl:apply-templates select="child::*"/><xsl:text>}</xsl:text> - </xsl:otherwise> - </xsl:choose> -</xsl:template> - - -<!-- force function or operator MathML 1.0 deprecated--> -<!-- partial support for func/operators defined using presentation markup--> -<xsl:template match="mml:apply[mml:fn]"> -<mrow> -<xsl:choose> -<xsl:when test="*[position()=1 and self::mml:fn]/mml:mo/mml:mchar/@name='PlusMinus'"> - <!--if operator is infix (we assume this to be the default when we have mchars(for instance PlusMinus); perhaps we should test further the name attribute)--> - <xsl:choose> - <xsl:when test="count(child::*)>=3"> - <mrow> - <xsl:for-each select="child::*[position()!=last() and position()!=1]"> - <xsl:apply-templates select="."/><xsl:copy-of select="preceding-sibling::mml:fn/*"/> - </xsl:for-each> - <xsl:apply-templates select="child::*[position()!=1 and position()=last()]"/> - </mrow> - </xsl:when> - <xsl:when test="count(child::*)=2"> - <mrow><xsl:copy-of select="child::mml:fn[position()=1]/*"/><xsl:apply-templates select="child::*[position()=2]"/></mrow> - </xsl:when> - <xsl:otherwise> <!-- apply only contains fn, no operand--> - <mrow><xsl:apply-templates select="child::mml:fn/*"/></mrow> - </xsl:otherwise> - </xsl:choose> -</xsl:when> -<xsl:otherwise> <!-- if operator is prefix (common case)--> - <xsl:choose> - <xsl:when test="name(mml:fn/*[position()=1])='apply'"> <!-- fn definition is complex, surround with brackets, but only one child--> - <mfenced separators=""><mrow><xsl:apply-templates select="mml:fn/*"/></mrow></mfenced> - </xsl:when> - <xsl:otherwise> - <mi><xsl:apply-templates select="mml:fn/*"/></mi> - </xsl:otherwise> - </xsl:choose> - <xsl:if test="count(*)>1"> <!-- if no operands, don't put empty parentheses--> - <mo><mchar name="ApplyFunction"/></mo> - <mfenced> - <xsl:apply-templates select="*[position()!=1]"/> - </mfenced> - </xsl:if> -</xsl:otherwise> -</xsl:choose> -</mrow> -</xsl:template> - - - - -<!-- quotient --> -<xsl:template match="mml:apply[mml:quotient]"> - <mrow> <!-- the third notation uses UNICODE chars x0230A and x0230B --> - <mo>integer part of</mo> - <mrow> - <xsl:choose> <!-- surround with brackets if operands are composed--> - <xsl:when test="child::*[position()=2] and name()='mml:apply'"> - <mfenced separators=""><xsl:apply-templates select="*[position()=2]"/></mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=2]"/> - </xsl:otherwise> - </xsl:choose> - <mo>/</mo> - <xsl:choose> - <xsl:when test="child::*[position()=3] and name()='mml:apply'"> - <mfenced separators=""><xsl:apply-templates select="*[position()=3]"/></mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=3]"/> - </xsl:otherwise> - </xsl:choose> - </mrow> - </mrow> -</xsl:template> - - -<!-- factorial --> -<xsl:template match="mml:apply[mml:factorial]"> - <xsl:text>{</xsl:text> - <xsl:choose> - <xsl:when test="name(*[position()=2])='mml:apply'"> - <xsl:text>{</xsl:text><xsl:apply-templates select="*[position()=2]"/><xsl:text>}</xsl:text> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=2]"/> - </xsl:otherwise> - </xsl:choose> - <xsl:text>!(fact)</xsl:text> - <xsl:text>}</xsl:text> -</xsl:template> - - -<!-- divide --> -<xsl:template match="mml:apply[mml:divide]"> - <xsl:text>{ \frac</xsl:text> - <xsl:text>{ </xsl:text> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>}</xsl:text> - <xsl:text>{ </xsl:text> - <xsl:apply-templates select="child::*[position()=3]"/> - <xsl:text>}</xsl:text> - <xsl:text>}</xsl:text> -</xsl:template> - - -<!-- APPLY CONTAINING MAX --> -<xsl:template match="mml:apply/mml:max"/> -<xsl:template match="mml:apply[mml:max]"> - <xsl:text>{</xsl:text> - <xsl:choose> - <xsl:when test="mml:bvar"> <!-- if there are bvars--> - <xsl:text>\max_{</xsl:text> - <!-- Select every bvar except the last one (position() only counts bvars, not the other siblings)--> - <xsl:for-each select="mml:bvar[position()!=last()]"> - <xsl:apply-templates select="."/><xsl:text>,</xsl:text> - </xsl:for-each> - <xsl:apply-templates select="mml:bvar[position()=last()]"/> - <xsl:text>}</xsl:text> - </xsl:when> - <xsl:otherwise> <!-- No bvars, no underscore... --> - <xsl:text>\max</xsl:text> - </xsl:otherwise> - </xsl:choose> - <xsl:text>\left\{</xsl:text> - <xsl:for-each select="child::*[name()!='mml:condition' and name()!='mml:bvar' and name()!='mml:max' and position()!=last()]"> - <xsl:apply-templates select="."/><xsl:text>,</xsl:text> - <xsl:message>RCAS: MathML mml:apply[mml:min] Applying templates to <xsl:copy-of select="name(.)"/></xsl:message> - </xsl:for-each> - <xsl:apply-templates select="child::*[name()!='mml:condition' and name()!='mml:bvar' and name()!='mml:max' and position()=last()]"/> - <!-- If there is a condition, do not close... --> - <xsl:if test="mml:condition"> - <xsl:text>|</xsl:text><xsl:apply-templates select="mml:condition"/> - </xsl:if> - <xsl:text>\right\}</xsl:text> - <xsl:text>}</xsl:text> -</xsl:template> - - -<!-- APPLY CONTAINING MIN --> -<xsl:template match="mml:apply/mml:min"/> -<xsl:template match="mml:apply[mml:min]"> - <xsl:text>{</xsl:text> - <xsl:choose> - <xsl:when test="mml:bvar"> <!-- if there are bvars--> - <xsl:text>\min_{</xsl:text> - <!-- Select every bvar except the last one (position() only counts bvars, not the other siblings)--> - <xsl:for-each select="mml:bvar[position()!=last()]"> - <xsl:apply-templates select="."/><xsl:text>,</xsl:text> - </xsl:for-each> - <xsl:apply-templates select="mml:bvar[position()=last()]"/> - <xsl:text>}</xsl:text> - </xsl:when> - <xsl:otherwise> <!-- No bvars, no underscore... --> - <xsl:text>\min</xsl:text> - </xsl:otherwise> - </xsl:choose> - <xsl:text>\left\{</xsl:text> - <xsl:for-each select="child::*[name()!='mml:condition' and name()!='mml:bvar' and name()!='mml:min' and position()!=last()]"> - <xsl:message>RCAS: MathML mml:apply[mml:min] Applying templates to <xsl:copy-of select="name(.)"/></xsl:message> - <xsl:apply-templates select="."/> - <xsl:text>,</xsl:text> - </xsl:for-each> - <xsl:apply-templates select="child::*[name()!='mml:condition' and name()!='mml:bvar' and name()!='mml:min' and position()=last()]"/> - <!-- If there is a condition, do not close... --> - <xsl:if test="mml:condition"> - <xsl:text>|</xsl:text><xsl:apply-templates select="mml:condition"/> - </xsl:if> - <xsl:text>\right\}</xsl:text> - <xsl:text>}</xsl:text> -</xsl:template> - - - - - - - - -<!-- APPLY CONTAINING substraction(minus) --> -<!-- unary or binary operator --> -<xsl:template match="mml:apply[mml:minus]"> -<xsl:text>{</xsl:text> -<xsl:choose> <!-- binary --> - <xsl:when test="count(child::*)=3"> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>-</xsl:text> - <xsl:choose> - <xsl:when test="((name(*[position()=3])='mml:ci' or name(*[position()=3])='mml:cn') and contains(*[position()=3]/text(),'-')) or (name(*[position()=3])='mml:apply')"> - <xsl:text>\left(</xsl:text> <xsl:apply-templates select="*[position()=3]"/><xsl:text>\right)</xsl:text> - <!-- surround negative or complex things with brackets --> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=3]"/> - </xsl:otherwise> - </xsl:choose> - </xsl:when> - <xsl:otherwise> <!-- unary --> - <xsl:text>-</xsl:text> - <xsl:choose> - <xsl:when test= - "((name(*[position()=2])='mml:ci' or name(*[position()=2])='mml:cn') and contains(*[position()=2]/text(),'-')) or (name(*[position()=2])='mml:apply')"> - <xsl:text>\left(</xsl:text> - <xsl:apply-templates select="child::*[position()=last()]"/> - <xsl:text>\right)</xsl:text> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="child::*[position()=last()]"/> - </xsl:otherwise> - </xsl:choose> - </xsl:otherwise> -</xsl:choose> -<xsl:text>}</xsl:text> -</xsl:template> - - -<!-- addition --> -<xsl:template match="mml:apply[mml:plus]"> - <xsl:choose> - <xsl:when test="count(child::*)>=3"> - <mrow> - <xsl:choose> - <xsl:when test="((name(*[position()=2])='mml:ci' or name(*[position()=2])='mml:cn') and contains(*[position()=2]/text(),'-')) or (*[position()=2 and self::mml:apply and child::mml:minus])"> - <mfenced separators=""><xsl:apply-templates select="*[position()=2]"/></mfenced> <!-- surround negative things with brackets --> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=2]"/> - </xsl:otherwise> - </xsl:choose> - <xsl:for-each select="child::*[position()!=1 and position()!=2]"> - <xsl:choose> - <xsl:when test="((name(.)='mml:ci' or name(.)='mml:cn') and contains(./text(),'-')) or (self::mml:apply and child::mml:minus)"> <!-- surround negative things with brackets --> - <mo>+</mo><mfenced separators=""><xsl:apply-templates select="."/></mfenced> - </xsl:when> - <xsl:otherwise> - <mo>+</mo><xsl:apply-templates select="."/> - </xsl:otherwise> - </xsl:choose> - </xsl:for-each> - </mrow> - </xsl:when> - <xsl:when test="count(child::*)=2"> - <mrow> - <mo>+</mo><xsl:apply-templates select="child::*[position()=2]"/> - </mrow> - </xsl:when> - <xsl:otherwise> - <mo>+</mo> - </xsl:otherwise> - </xsl:choose> -</xsl:template> - -<!-- power --> -<xsl:template match="mml:apply[mml:power]"> - <xsl:text> {</xsl:text> - <xsl:choose> - <xsl:when test="name(*[position()=2])='mml:apply'"> - <xsl:text>\left(</xsl:text> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>\rigth)</xsl:text> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="child::*[position()=2]"/> - </xsl:otherwise> - </xsl:choose> - <xsl:text>}^{</xsl:text> - <xsl:apply-templates select="child::*[position()=3]"/> - <xsl:text>} </xsl:text> -</xsl:template> - -<!-- remainder --> -<xsl:template match="mml:apply[mml:rem]"> - <mrow> - <xsl:choose> <!-- surround with brackets if operands are composed--> - <xsl:when test="name(*[position()=2])='mml:apply'"> - <mfenced separators=""><xsl:apply-templates select="*[position()=2]"/></mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=2]"/> - </xsl:otherwise> - </xsl:choose> - <mo>mod</mo> - <xsl:choose> - <xsl:when test="name(*[position()=3])='mml:apply'"> - <mfenced separators=""><xsl:apply-templates select="*[position()=3]"/></mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=3]"/> - </xsl:otherwise> - </xsl:choose> - </mrow> -</xsl:template> - -<!-- multiplication --> -<xsl:template match="mml:apply[mml:times]"> -<xsl:choose> -<xsl:when test="count(child::*)>=3"> - <mrow> - <xsl:for-each select="child::*[position()!=last() and position()!=1]"> - <xsl:choose> - <xsl:when test="mml:plus"> <!--add brackets around + children for priority purpose--> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced><mo><mchar name="InvisibleTimes"/></mo> - </xsl:when> - <xsl:when test="mml:minus"> <!--add brackets around - children for priority purpose--> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced><mo><mchar name="InvisibleTimes"/></mo> - </xsl:when> - <xsl:when test="(name(.)='mml:ci' or name(.)='mml:cn') and contains(text(),'-')"> <!-- have to do it using contains because starts-with doesn't seem to work well in XT--> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced><mo><mchar name="InvisibleTimes"/></mo> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="."/><mo><mchar name="InvisibleTimes"/></mo> - </xsl:otherwise> - </xsl:choose> - </xsl:for-each> - <xsl:for-each select="child::*[position()=last()]"> - <xsl:choose> - <xsl:when test="mml:plus"> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced> - </xsl:when> - <xsl:when test="mml:minus"> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced> - </xsl:when> - <xsl:when test="(name(.)='mml:ci' or name(.)='mml:cn') and contains(text(),'-')"> <!-- have to do it using contains because starts-with doesn't seem to work well in XT--> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="."/> - </xsl:otherwise> - </xsl:choose> - </xsl:for-each> - </mrow> -</xsl:when> -<xsl:when test="count(child::*)=2"> <!-- unary --> - <mrow> - <mo><mchar name="InvisibleTimes"/></mo> - <xsl:choose> - <xsl:when test="mml:plus"> - <mfenced separators=""><xsl:apply-templates select="*[position()=2]"/></mfenced> - </xsl:when> - <xsl:when test="mml:minus"> - <mfenced separators=""><xsl:apply-templates select="*[position()=2]"/></mfenced> - </xsl:when> - <xsl:when test="(*[position()=2 and self::mml:ci] or *[position()=2 and self::mml:cn]) and contains(*[position()=2]/text(),'-')"> - <mfenced separators=""><xsl:apply-templates select="*[position()=2]"/></mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="*[position()=2]"/> - </xsl:otherwise> - </xsl:choose> - </mrow> -</xsl:when> -<xsl:otherwise> <!-- no operand --> - <mo><mchar name="InvisibleTimes"/></mo> -</xsl:otherwise> -</xsl:choose> -</xsl:template> - -<!-- root --> -<xsl:template match="mml:apply[mml:root]"> - <xsl:choose> - <xsl:when test="mml:degree"> - <xsl:choose> - <xsl:when test="mml:degree/mml:cn/text()='2'"> <!--if degree=2 display a standard square root--> - <msqrt> - <xsl:apply-templates select="child::*[position()=3]"/> - </msqrt> - </xsl:when> - <xsl:otherwise> - <mroot> - <xsl:apply-templates select="child::*[position()=3]"/> - <mrow><xsl:apply-templates select="mml:degree/*"/></mrow> - </mroot> - </xsl:otherwise> - </xsl:choose> - </xsl:when> - <xsl:otherwise> <!-- no degree specified--> - <msqrt> - <xsl:apply-templates select="child::*[position()=2]"/> - </msqrt> - </xsl:otherwise> - </xsl:choose> -</xsl:template> - -<!-- greatest common divisor --> -<xsl:template match="mml:apply[mml:gcd]"> - <mrow> - <mi>gcd</mi><mo><mchar name="ApplyFunction"/></mo> - <mfenced> - <xsl:apply-templates select="child::*[position()!=1]"/> - </mfenced> - </mrow> -</xsl:template> - -<!-- AND --> -<xsl:template match="mml:apply[mml:and]"> -<mrow> - <xsl:choose> - <xsl:when test="count(*)>=3"> <!-- at least two operands (common case)--> - <xsl:for-each select="child::*[position()!=last() and position()!=1]"> - <xsl:choose> - <xsl:when test="mml:or"> <!--add brackets around OR children for priority purpose--> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced><mo><mchar name="And"/></mo> - </xsl:when> - <xsl:when test="mml:xor"> <!--add brackets around XOR children for priority purpose--> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced><mo><mchar name="And"/></mo> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="."/><mo><mchar name="And"/></mo> - </xsl:otherwise> - </xsl:choose> - </xsl:for-each> - <xsl:for-each select="child::*[position()=last()]"> - <xsl:choose> - <xsl:when test="mml:or"> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced> - </xsl:when> - <xsl:when test="mml:xor"> - <mfenced separators=""><xsl:apply-templates select="."/></mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="."/> - </xsl:otherwise> - </xsl:choose> - </xsl:for-each> - </xsl:when> - <xsl:when test="count(*)=2"> - <mo><mchar name="And"/></mo><xsl:apply-templates select="*[position()=last()]"/> - </xsl:when> - <xsl:otherwise> - <mo><mchar name="And"/></mo> - </xsl:otherwise> - </xsl:choose> -</mrow> -</xsl:template> - -<!-- OR --> -<xsl:template match="mml:apply[mml:or]"> -<mrow> - <xsl:choose> - <xsl:when test="count(*)>=3"> - <xsl:for-each select="child::*[position()!=last() and position()!=1]"> - <xsl:apply-templates select="."/><mo><mchar name="Or"/></mo> - </xsl:for-each> - <xsl:apply-templates select="child::*[position()=last()]"/> - </xsl:when> - <xsl:when test="count(*)=2"> - <mo><mchar name="Or"/></mo><xsl:apply-templates select="*[position()=last()]"/> - </xsl:when> - <xsl:otherwise> - <mo><mchar name="Or"/></mo> - </xsl:otherwise> - </xsl:choose> -</mrow> -</xsl:template> - -<!-- XOR --> -<xsl:template match="mml:apply[mml:xor]"> -<mrow> - <xsl:choose> - <xsl:when test="count(*)>=3"> - <xsl:for-each select="child::*[position()!=last() and position()!=1]"> - <xsl:apply-templates select="."/><mo>xor</mo> - </xsl:for-each> - <xsl:apply-templates select="child::*[position()=last()]"/> - </xsl:when> - <xsl:when test="count(*)=2"> - <mo>xor</mo><xsl:apply-templates select="*[position()=last()]"/> - </xsl:when> - <xsl:otherwise> - <mo>xor</mo> - </xsl:otherwise> - </xsl:choose> -</mrow> -</xsl:template> - -<!-- NOT --> -<xsl:template match="mml:apply[mml:not]"> - <mrow> - <mo><mchar name="Not"/></mo> - <xsl:choose> - <xsl:when test="child::mml:apply"><!--add brackets around OR,AND,XOR children for priority purpose--> - <mfenced separators=""> - <xsl:apply-templates select="child::*[position()=2]"/> - </mfenced> - </xsl:when> - <xsl:otherwise> - <xsl:apply-templates select="child::*[position()=2]"/> - </xsl:otherwise> - </xsl:choose> - </mrow> -</xsl:template> - -<!-- implies --> -<xsl:template match="mml:apply[mml:implies]"> - <mrow> - <xsl:apply-templates select="child::*[position()=2]"/> - <mo><mchar name="DoubleRightArrow"/></mo> - <xsl:apply-templates select="child::*[position()=3]"/> - </mrow> -</xsl:template> - -<xsl:template match="mml:reln[mml:implies]"> - <mrow> - <xsl:apply-templates select="child::*[position()=2]"/> - <mo><mchar name="DoubleRightArrow"/></mo> - <xsl:apply-templates select="child::*[position()=3]"/> - </mrow> -</xsl:template> - -<!-- for all--> -<xsl:template match="mml:apply[mml:forall]"> - <mrow> - <mo><mchar name="ForAll"/></mo> - <mrow> - <xsl:for-each select="mml:bvar[position()!=last()]"> - <xsl:apply-templates select="."/><mo>,</mo> - </xsl:for-each> - <xsl:apply-templates select="mml:bvar[position()=last()]"/> - </mrow> - <xsl:if test="mml:condition"> - <mrow><mo>,</mo><xsl:apply-templates select="mml:condition"/></mrow> - </xsl:if> - <xsl:choose> - <xsl:when test="mml:apply"> - <mo>:</mo><xsl:apply-templates select="mml:apply"/> - </xsl:when> - <xsl:when test="mml:reln"> - <mo>:</mo><xsl:apply-templates select="mml:reln"/> - </xsl:when> - </xsl:choose> - </mrow> -</xsl:template> - -<!-- in --> -<xsl:template match="mml:apply[mml:in]"> - <xsl:text>{</xsl:text> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>\in</xsl:text> - <xsl:apply-templates select="child::*[position()=3]"/> - <xsl:text>}</xsl:text> -</xsl:template> - -<!-- leq --> -<xsl:template match="mml:apply[mml:leq]"> - <xsl:text>{</xsl:text> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>\leq</xsl:text> - <xsl:apply-templates select="child::*[position()=3]"/> - <xsl:text>}</xsl:text> -</xsl:template> - -<!-- geq --> -<xsl:template match="mml:apply[mml:geq]"> - <xsl:text>{</xsl:text> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>\geq</xsl:text> - <xsl:apply-templates select="child::*[position()=3]"/> - <xsl:text>}</xsl:text> -</xsl:template> - -<!-- domain --> -<xsl:template match="mml:apply[mml:domain]"> - <xsl:text>\mbox{dom}(</xsl:text> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>)</xsl:text> -</xsl:template> - -<!-- notin --> -<xsl:template match="mml:apply[mml:notin]"> - <xsl:text>{</xsl:text> - <xsl:apply-templates select="child::*[position()=2]"/> - <xsl:text>\notin</xsl:text> - <xsl:apply-templates select="child::*[position()=3]"/> - <xsl:text>}</xsl:text> -</xsl:template> - -<!-- exist--> -<xsl:template match="mml:apply[mml:exists]"> - <mrow> - <mo><mchar name="Exists"/></mo> - <mrow> - <xsl:for-each select="mml:bvar[position()!=last()]"> - <xsl:apply-templates select="."/><mo>,</mo> - </xsl:for-each> - <xsl:apply-templates select="mml:bvar[position()=last()]"/> - </mrow> - <xsl:if test="mml:condition"> - <mrow><mo>,</mo><xsl:apply-templates select="mml:condition"/></mrow> - </xsl:if> - <xsl:choose> - <xsl:when test="mml:apply"> - <mo>:</mo><xsl:apply-templates select="mml:apply"/> - </xsl:when> - <xsl:when test="mml:reln"> - <mo>:</mo><xsl:apply-templates select="mml:reln"/> - </xsl:when> - </xsl:choose> - </mrow> -</xsl:template> - -<!-- absolute value --> -<xsl:template match="mml:apply[mml:abs]"> - <mrow><mo>|</mo><xsl:apply-templates select="child::*[position()=last()]"/><mo>|</mo></mrow> -</xsl:template> - -<!-- conjugate --> -<xsl:template match="mml:apply[mml:conjugate]"> - <mover> - <xsl:apply-templates select="child::*[position()=2]"/> - <mo><mchar name="ovbar"/></mo> <!-- does not work, UNICODE x0233D or perhaps OverBar--> - </mover> -</xsl:template> - -<!-- argument of complex number --> -<xsl:template match="mml:apply[mml:arg]"> - <mrow> - <mi>arg</mi><mo><mchar name="ApplyFunction"/></mo><mfenced separators=""><xsl:apply-templates select="child::*[position()=2]"/></mfenced> - </mrow> -</xsl:template> - -<!-- real part of complex number --> -<xsl:template match="mml:apply[mml:real]"> - <mrow> - <mi><xsl:text disable-output-escaping='yes'>&#x0211C;</xsl:text><!-- mchar Re or realpart should work--></mi> - <mo><mchar name="ApplyFunction"/></mo> - <mfenced separators=""><xsl:apply-templates select="child::*[position()=2]"/></mfenced> - </mrow> -</xsl:template> - -<!-- imaginary part of complex number --> -<xsl:template match="mml:apply[mml:imaginary]"> - <mrow> - <mi><xsl:text disable-output-escaping='yes'>&#x02111;</xsl:text><!-- mchar Im or impart should work--></mi> - <mo><mchar name="ApplyFunction"/></mo> - <mfenced separators=""><xsl:apply-templates select="child::*[position()=2]"/></mfenced> - </mrow> -</xsl:template> - -<!-- lowest common multiple --> -<xsl:template match="mml:apply[mml:lcm]"> - <mrow> - <mi>lcm</mi><mo><mchar name="ApplyFunction"/></mo> - <mfenced> - <xsl:apply-templates select="child::*[position()!=1]"/> - </mfenced> - </mrow> -</xsl:template> - - -</xsl:stylesheet> |