mml 2.3.0 → 2.3.2

data/reference-docs/mathml-source/readme.txt

@@ -0,0 +1,40 @@
+
+The sources for the MathML specification
+the file  run in this directory is a bash shell script
+which details the commands required to generate the MathML
+specificaton. It does not use any advanced bash features and
+could be easily modified to other environments such as the
+windows command line.
+
+It requires:
+
+An XML validator
+rxp is used in the script
+this is not used for production but just to check the input
+and generated output is valid.
+
+An SGML Parser
+nsgmls is used in the script.
+Again this is not used for production, but just to check that all
+generated HTML is valid.
+
+
+The unicode.xml and its dtd, charlist.dtd, available from
+http://www.w3.org/Math/characters
+These are used as the source for the character tables in chapter 6.
+In addition, to generate the diff-marked version of byalpha.html
+showing differences from the MathML 2.0 rec, you will need the version
+of unicode.xml distributed in the XML source zip file linked from that
+recommendation.
+
+
+An XSLT system.
+The free java implementation saxon is used in the script.
+
+pdflatex to generate the PDF versions of the specification.
+The documents use the rapport3 LaTeX class file which should be part
+of most TeX distributions but is available from TeX archives as part of
+the ntgclass distribution. It also uses several commonly available
+package files, hyperref, url,ae,pslatex.
+
+

data/reference-docs/mathml-source/run

@@ -0,0 +1,296 @@
+#!/bin/bash
+
+SOURCE=xml
+HSTYLE=style/html
+PSTYLE=style/pdf
+W3CMATH=../..
+
+# echo validate source
+# rxp -sxV $SOURCE/mathml-spec.xml
+# echo make html version
+#
+# saxon $SOURCE/mathml-spec.xml $HSTYLE/mmldiff.xsl show.diff.markup=0  
+#
+# echo make diff marked html version
+# saxon ../spec/xml/mathml-spec.xml $HSTYLE/mmldiff.xsl 
+# exit
+
+
+echo validate sources
+rxp -sxV $SOURCE/mathml-spec.xml
+
+echo ""
+echo ""
+echo make standard html version
+saxon $SOURCE/mathml-spec.xml $HSTYLE/mmldiff.xsl show.diff.markup=0  
+
+
+echo make diff marked html version
+saxon ../spec/xml/mathml-spec.xml $HSTYLE/mmldiff.xsl 
+
+echo make xhtml stylesheets
+echo "  " mmldiff
+saxon -o $HSTYLE/xmmldiff.xsl $HSTYLE/mmldiff.xsl $HSTYLE/html2xhtml.xsl system-dtd=mathml.dtd stylesheet.pi="/Math/XSL/mathml.xsl"
+echo "  " mmlspec
+saxon -o $HSTYLE/xmmlspec.xsl $HSTYLE/mmlspec.xsl $HSTYLE/html2xhtml.xsl system-dtd=mathml.dtd  stylesheet.pi="/Math/XSL/mathml.xsl"
+echo "  " slices
+saxon -o $HSTYLE/xslices.xsl $HSTYLE/slices.xsl $HSTYLE/html2xhtml.xsl system-dtd=mathml.dtd 
+echo "  " slices-common
+saxon -o $HSTYLE/xslices-common.xsl $HSTYLE/slices-common.xsl $HSTYLE/html2xhtml.xsl system-dtd=mathml.dtd 
+echo "  " xmlspec
+saxon -o $HSTYLE/xxmlspec.xsl $HSTYLE/xmlspec.xsl $HSTYLE/html2xhtml.xsl system-dtd=mathml.dtd 
+
+
+echo make xhtml version
+saxon $SOURCE/mathml-spec.xml $HSTYLE/mathmlx.xsl 
+
+#echo ""
+#echo ""
+#echo Chapter 6 Tables
+#saxon ../../characters/unicode.xml $HSTYLE/mml6.xsl status=REC
+#
+#echo "Chapter 6 diff marked (byalpha) Tables"
+#saxon ../../characters/unicode.xml $HSTYLE/mml6.xsl diff=1 ext="-d.html" status=REC
+#
+#echo xhtml mml6 stylesheet
+#saxon -o $HSTYLE/xmml6.xsl $HSTYLE/mml6.xsl $HSTYLE/html2xhtml.xsl system-dtd=mathml.dtd stylesheet.pi="/Math/XSL/mathml.xsl" status=REC
+#
+#echo Chapter 6 xhtml Tables
+#saxon ../../characters/unicode.xml $HSTYLE/xmml6.xsl ext=.xml 
+
+echo ""
+echo ""
+echo validate generated xhtml+mathml
+for i in *.xml ;do echo -n $i ""; rxp -sxV $i ;done
+
+echo ""
+echo validate html
+for i in *.html
+do
+echo -n $i ""
+
+nsgmls  -s -E4  $i
+done
+
+
+#echo ""
+#mv images.tex images.old
+#saxon  -o images.tex $SOURCE/mathml-spec.xml $HSTYLE/images.xsl
+#if (cmp images.tex images.old)
+#then
+#echo images same
+#else
+#echo images differ
+#latex images.tex
+#echo ""
+#echo ""
+#echo running generated images script
+#bash images.sh
+#fi
+
+
+echo ""
+echo PDF
+echo generate TeX files
+saxon  $SOURCE/mathml-spec.xml $PSTYLE/mathmlspec.xsl
+
+if test ! -f w3c_home.png 
+then
+echo copy W3C logo
+cp $SOURCE/../image/w3c_home.png .
+fi
+
+if test ! -f braids.png 
+then
+echo copy braids
+cp $SOURCE/../image/braids.png .
+fi
+
+if test ! -f intersect.png 
+then
+echo copy intersect
+cp $SOURCE/../image/intersect.png .
+fi
+
+# use nested if rather than while to limit looping
+echo generate mathml-p.pdf
+pdflatex \\batchmode \\input mathml-p.tex
+if (grep -i rerun mathml-p.log)
+  then
+  pdflatex \\batchmode \\input mathml-p.tex
+  if (grep -i rerun mathml-p.log)
+    then 
+    pdflatex \\batchmode \\input mathml-p.tex
+    if (grep -i rerun mathml-p.log)
+      then
+      pdflatex \\batchmode \\input mathml-p.tex
+    fi
+  fi
+fi
+
+echo generate mathml-s.pdf
+pdflatex \\batchmode \\input mathml-s.tex
+if (grep -i rerun mathml-s.log)
+  then
+  pdflatex \\batchmode \\input mathml-s.tex
+  if (grep -i rerun mathml-s.log)
+    then 
+    pdflatex \\batchmode \\input mathml-s.tex
+    if (grep -i rerun mathml-s.log)
+      then
+      pdflatex \\batchmode \\input mathml-s.tex
+    fi
+  fi
+fi
+
+
+
+echo grep latex warnings
+grep "^\!" mathml-?.log
+grep -i warning mathml-?.log | grep -v bookmarks | grep -v "Font Warning"
+grep -i rerun mathml-?.log
+
+
+echo ""
+echo make directories for zip files
+
+
+mkdir mathml-html 2> /dev/null
+
+
+if test ! -d mathml-html/image
+then
+echo cp image
+cp -r image mathml-html
+else
+echo "(not) assuming mathml-html/image up to date"
+cp -r image mathml-html
+fi
+
+
+cp $SOURCE/../image/w3c_home.png mathml-html/image
+cp $HSTYLE/base.css mathml-html
+
+if test ! -d mathml-html/glyphs
+then
+echo cp glyphs
+cp -r glyphs mathml-html
+else
+echo "(not) assuming mathml-html/glyphs up to date"
+cp -r glyphs mathml-html
+fi
+
+echo cp dtd and xsl
+cp $W3CMATH/DTD/mathml2/xhtml-math11-f.dtd mathml-html
+cp $W3CMATH/XSL/*.xsl mathml-html
+
+echo sed xml
+sed  \
+   -e "s@/Math/DTD/mathml2/@@" \
+   mathml.dtd > mathml-html/mathml.dtd
+
+for i in *.xml
+do
+sed \
+  -e "s@/Math/XSL/mathml.xsl@mathml.xsl@" \
+  -e "s@http://www.w3.org/StyleSheets/TR.*css@base.css@" \
+  -e "s@http://www.w3.org/Icons/w3c_home@image/w3c_home.png@" \
+  $i > mathml-html/$i
+done
+
+echo sed html 
+
+for i in *.html
+do
+sed \
+  -e "s@http://www.w3.org/StyleSheets/TR.*css@base.css@" \
+  -e "s@http://www.w3.org/Icons/w3c_home@image/w3c_home.png@" \
+  $i > mathml-html/$i
+done
+
+
+mkdir mathml-source 2> /dev/null
+mkdir mathml-source/xml  2> /dev/null
+mkdir mathml-source/pubtext 2> /dev/null
+mkdir mathml-source/style 2> /dev/null
+mkdir mathml-source/style/html 2> /dev/null
+mkdir mathml-source/style/pdf 2> /dev/null
+
+
+cp $SOURCE/{changes.xml,fundamentals.xml,operator-dict.xml,\
+character-set.xml,glossary.xml,parsing.xml,\
+content-element-def.xml,interface.xml,presentation-markup.xml,\
+content-markup.xml,introduction.xml,references.xml,\
+contributors.xml,mathml-css-sample.xml,\
+mathml-dom.xml,validation-grammar.xml,\
+dom-bindings.xml,mathml-spec.xml,\
+dom-intro.xml,mixing.xml} \
+mathml-source/xml
+
+cp $SOURCE/../pubtext/{mathmlspec.dtd,xmlspec.dtd} mathml-source/pubtext
+
+cp $HSTYLE/{mmldiff.xsl,html2xhtml.xsl,mmlspec.xsl,slices.xsl,slices-common.xsl,xmlspec.xsl,mml6.xsl,images.xsl} mathml-source/style/html
+cp $PSTYLE/mathmlspec.xsl mathml-source/style/pdf
+
+
+echo sed run
+sed \
+  -e "s@=@=@" \
+  -e "s/exit/exit/" \
+  run > mathml-source/run
+
+
+echo readme.txt
+echo "
+The sources for the MathML specification
+the file  "run" in this directory is a bash shell script
+which details the commands required to generate the MathML
+specificaton. It does not use any advanced bash features and
+could be easily modified to other environments such as the
+windows command line.
+
+It requires:
+
+An XML validator
+rxp is used in the script
+this is not used for production but just to check the input
+and generated output is valid.
+
+An SGML Parser
+nsgmls is used in the script.
+Again this is not used for production, but just to check that all
+generated HTML is valid.
+
+
+The unicode.xml and its dtd, charlist.dtd, available from
+http://www.w3.org/Math/characters
+These are used as the source for the character tables in chapter 6.
+In addition, to generate the diff-marked version of byalpha.html
+showing differences from the MathML 2.0 rec, you will need the version
+of unicode.xml distributed in the XML source zip file linked from that
+recommendation.
+
+
+An XSLT system.
+The free java implementation saxon is used in the script.
+
+pdflatex to generate the PDF versions of the specification.
+The documents use the rapport3 LaTeX class file which should be part
+of most TeX distributions but is available from TeX archives as part of
+the ntgclass distribution. It also uses several commonly available
+package files, hyperref, url,ae,pslatex.
+
+" > mathml-source/readme.txt
+
+echo ""
+echo mathml-source.zip
+zip -qr mathml-source.zip mathml-source
+
+echo mathml-html.zip
+zip -qr mathml-html.zip mathml-html
+
+
+
+
+echo ""
+echo run ends here

data/reference-docs/mathml-source/style/html/html2xhtml.xsl

@@ -0,0 +1,216 @@
+<!--
+
+html2xhtml.xsl:  HTML to XHTML  XSL stylesheet converter
+========================================================
+
+$Id: html2xhtml.xsl,v 1.9 2003/01/27 12:55:43 davidc Exp $
+
+ Copyright 1999 David Carlisle NAG Ltd
+
+
+The following stylesheet takes as input an XSL stylesheet that writes
+HTML, and produces a stylesheet that writes XML that hopefully matches the
+XHTML specification. (It does not check that the output matches the DTD.)
+It does the following things:
+
+* Adds a DOCTYPE giving FPI and URL for one of the three flavours
+  of XHTML1. (Transitional unless the original stylesheet asked for
+  Frameset or Strict HTML.)
+  If the system-dtd parameter is set then instead of the canonical
+  XHTML PUBLIC DTD, a SYSTEM declaration is given to the supplied URL.
+
+* Writes all HTML elements and attributes as lowercase, with 
+  elements being written in the XHTML namespace.
+
+* Writes canonically empty elements such as <BR> as
+  <br class="html-compat"/> . 
+  (Appendix C recommends <br /> rather than <br/> but an XSL stylesheet
+  has no control over the concrete syntax of the linearisation, so
+  adding an attribute is probably the best that can be done. (No attribute
+  is added if the element already has attributes.)
+
+* Changes the output method from html to xml in xsl:output
+  (and also in the xt:document extension element).
+
+* Forces a line break after opening tags of non elements which are
+  not canonically empty, to ensure that they are never written with XML
+  empty syntax, so
+  <p>
+  </p>
+  not
+  <p/>
+
+* Copies any elements from XSL or XT namespaces through to the new
+  stylesheet.
+
+
+* Duplicates name attributes to id unless element already has id.
+
+* Adds meta element to head specifying utf-8 encoding.
+
+-->
+
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                xmlns:saxon="http://icl.com/saxon"  
+                xmlns:xt="http://www.jclark.com/xt"
+                xmlns="http://www.w3.org/1999/xhtml"
+xmlns:lxslt="http://xml.apache.org/xslt"
+                xmlns:xalanredirect="org.apache.xalan.xslt.extensions.Redirect"
+                version="1.0"
+                >
+
+<xsl:output method="xml" indent="no"/>
+
+<xsl:param name="system-dtd" />
+<xsl:param name="stylesheet.pi" select="''"/>
+
+<xsl:template match="xsl:*|xt:*|saxon:*|lxslt:*|xalanredirect:*">
+<xsl:copy>
+  <xsl:copy-of select="@*"/>
+  <xsl:apply-templates/>
+</xsl:copy>
+</xsl:template>
+
+<xsl:template match="xsl:attribute[@name='lang']">
+<xsl:copy>
+  <xsl:copy-of select="@*"/>
+  <xsl:attribute name="name">xml:lang</xsl:attribute>
+  <xsl:apply-templates/>
+</xsl:copy>
+</xsl:template>
+ 
+<xsl:template match="xsl:output|xt:document|saxon:output">
+<xsl:copy>
+  <xsl:attribute name="method">xml</xsl:attribute>
+  <xsl:choose>
+  <xsl:when test="$system-dtd">
+    <xsl:attribute name="doctype-system">
+       <xsl:value-of select="$system-dtd"/>
+    </xsl:attribute>
+  </xsl:when>
+  <xsl:when test="contains(@doctype-public,'Frameset')">
+    <xsl:attribute name="doctype-public">
+     <xsl:text>-//W3C//DTD XHTML 1.0 Frameset//EN</xsl:text>
+    </xsl:attribute>
+    <xsl:attribute name="doctype-system">
+       <xsl:text>http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd</xsl:text>
+    </xsl:attribute>
+  </xsl:when>
+  <xsl:when test="contains(@doctype-public,'Strict')">
+    <xsl:attribute name="doctype-public">
+     <xsl:text>-//W3C//DTD XHTML 1.0 Strict//EN</xsl:text>
+    </xsl:attribute>
+    <xsl:attribute name="doctype-system">
+       <xsl:text>http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd</xsl:text>
+    </xsl:attribute>
+  </xsl:when>
+  <xsl:otherwise>
+    <xsl:attribute name="doctype-public">
+     <xsl:text>-//W3C//DTD XHTML 1.0 Transitional//EN</xsl:text>
+    </xsl:attribute>
+    <xsl:attribute name="doctype-system">
+       <xsl:text>http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd</xsl:text>
+    </xsl:attribute>
+  </xsl:otherwise>
+  </xsl:choose>
+  <xsl:attribute name="indent">yes</xsl:attribute>
+  <xsl:copy-of select="@*[not(
+      name(.)='method' or
+      name(.)='doctype-public' or
+      name(.)='doctype-system' or
+      name(.)='indent'
+      )  ]"/>
+  <xsl:apply-templates/>
+</xsl:copy>
+</xsl:template>
+
+<xsl:template match="xsl:import|xsl:include">
+<xsl:copy>
+<xsl:copy-of select="@*"/>
+<xsl:attribute name="href">x<xsl:value-of select="@href"/></xsl:attribute>
+</xsl:copy>
+</xsl:template>
+
+<xsl:template match="xsl:element[contains(@name,'{')]">
+<xsl:copy>
+ <xsl:attribute name="namespace">http://www.w3.org/1999/xhtml</xsl:attribute>
+ <xsl:copy-of select="@*"/>
+ <xsl:apply-templates/>
+</xsl:copy>
+</xsl:template>
+
+<xsl:template match="*|xsl:element">
+<xsl:variable name="n">
+  <xsl:choose>
+  <xsl:when test="self::xsl:element">
+    <xsl:value-of  select="translate(@name,
+                   'ABCDEFGHIJKLMNOPQRSTUVWXYZ', 
+                   'abcdefghijklmnopqrstuvwxyz')"/>
+  </xsl:when>
+  <xsl:otherwise>
+    <xsl:value-of  select="translate(local-name(.),
+                   'ABCDEFGHIJKLMNOPQRSTUVWXYZ', 
+                   'abcdefghijklmnopqrstuvwxyz')"/>
+  </xsl:otherwise>
+  </xsl:choose>
+</xsl:variable>
+<xsl:if test="$n='html' and string($stylesheet.pi)">
+ <xsl:text>&#10;</xsl:text>
+ <xsl:element name="xsl:processing-instruction">
+   <xsl:attribute name="name">xml-stylesheet</xsl:attribute
+     >type="text/xsl" href="<xsl:copy-of 
+       select="$stylesheet.pi"/>"</xsl:element>
+</xsl:if>
+<xsl:element
+  name="{$n}"
+   namespace="http://www.w3.org/1999/xhtml">
+  <xsl:for-each select="self::*[not(self::xsl:element)]/@* |
+                       self::xsl:element/@use-attribute-sets">
+<xsl:variable name="name" select="translate(local-name(.),
+                   'ABCDEFGHIJKLMNOPQRSTUVWXYZ', 
+                   'abcdefghijklmnopqrstuvwxyz')"/>
+    <xsl:if test="($name != 'name') and ($name != 'align') and ($name != 'lang')">
+    <xsl:attribute name="{$name}">
+     <xsl:value-of select="."/>
+    </xsl:attribute>
+    </xsl:if>
+
+  </xsl:for-each>
+  <xsl:if test="@lang">
+    <xsl:attribute name="xml:lang"><xsl:value-of select="@lang"/></xsl:attribute>   
+  </xsl:if>
+  <xsl:if test="@align and not(@style)">
+    <xsl:attribute name="style">vertical-align:<xsl:value-of select="@align"/></xsl:attribute>   
+  </xsl:if>
+  <xsl:if test="@name and not(@id)">
+    <xsl:attribute name="id"><xsl:value-of select="@name"/></xsl:attribute>   
+  </xsl:if>
+  <xsl:if test="@NAME and not(@id)">
+    <xsl:attribute name="id"><xsl:value-of select="@NAME"/></xsl:attribute>   
+  </xsl:if>
+  <xsl:variable name="content">
+   <xsl:apply-templates/>
+  </xsl:variable>
+  <xsl:choose>
+  <xsl:when test="$n='br' or $n='hr'
+         or $n='link' or $n='img' or $n='base' or $n='meta'">
+    <xsl:if test="not(@*) and not(xsl:attribute)">
+      <xsl:attribute name="class">html-compat</xsl:attribute>
+    </xsl:if>
+   <xsl:copy-of select="$content"/>
+  </xsl:when>
+  <xsl:when test="string-length($content)>0">
+   <xsl:copy-of select="$content"/>
+  </xsl:when>
+  <xsl:otherwise>
+   <xsl:element name="xsl:text" xml:space='preserve'>&#xA;</xsl:element>
+   <xsl:copy-of select="$content"/>
+  </xsl:otherwise>
+  </xsl:choose>
+</xsl:element>
+</xsl:template>
+
+
+</xsl:stylesheet>
+
+

data/reference-docs/mathml-source/style/html/images.xsl

@@ -0,0 +1,98 @@
+<?xml version="1.0"?>
+<!--
+$Id: images.xsl,v 1.4 2003/09/15 13:51:26 davidc Exp $
+
+images.xsl David Carlisle
+-->
+<xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+                xmlns:saxon="http://icl.com/saxon"  
+                extension-element-prefixes="saxon"
+                version="1.0">
+
+<xsl:output method="text" />
+
+
+<xsl:template match="/">
+\batchmode
+\documentclass{article}
+\usepackage{amstext,amsfonts,amssymb,color,graphicx}
+\pagestyle{empty}
+\let\normalshape\upshape
+\makeatletter
+\definecolor{background}{rgb}{1.0,1.0,1.0}
+%\pagecolor{background}
+\let\ImageFontsize\large
+\def\ImagePadding{1pt}
+\def\ImageWidth{120mm}
+\newsavebox{\FragmentBox}
+\def\PaddedImage#1{%
+  \bgroup\ImageFontsize \savebox{\FragmentBox}{$#1$}%
+  \@tempdima\ht\FragmentBox \@tempdimb\dp\FragmentBox
+  \ifdim\@tempdima>\@tempdimb
+    \dp\FragmentBox\@tempdima
+  \else
+    \ht\FragmentBox\@tempdimb
+  \fi
+  \color{background}\fboxsep\ImagePadding%
+  \fbox{\color[rgb]{0.0,0.0,0.0}\box\FragmentBox}\egroup
+  \newpage}
+\def\UnpaddedImage#1{%
+  \bgroup\ImageFontsize \savebox{\FragmentBox}{$#1$}%
+  %%%DOES THIS CAUSE PROBLEMS? \dp\FragmentBox\z@
+  \color{background}\fboxsep\ImagePadding%
+  \fbox{\color[rgb]{0.0,0.0,0.0}\box\FragmentBox}\egroup
+  \newpage}
+\def\FDImage#1{%
+  \UnpaddedImage{\displaystyle #1}}
+\makeatother
+\renewcommand{\int}{\intop}
+\newcommand{\Nset}{\mathbb{N}}
+\newcommand{\Zset}{\mathbb{Z}}
+\newcommand{\Qset}{\mathbb{Q}}
+\newcommand{\Rset}{\mathbb{R}}
+\newcommand{\Cset}{\mathbb{C}}
+\newcommand{\xor}{\mathbin{\mathrm{xor}}}
+\newcommand{\mod}{\mathbin{\mathrm{mod}}}
+\newcommand{\diffd}{\mathrm{d}}
+\newcommand{\eulere}{\mathrm{e}}
+\newcommand{\ii}{\mathrm{i}}
+\newdimen\boxwd
+\newcommand{\widearrow}[1]{%
+  \setbox0=\hbox{$\mathsurround0pt \scriptstyle\;\;#1\;\;$}\boxwd=\wd0%
+  \mathrel{\mathop{\hbox to\boxwd{\rightarrowfill}}\limits_{#1}}}
+\newwrite\img
+\immediate\openout\img=images.sh
+\newcount\n
+\n=0
+\begin{document}
+
+\immediate\write\img{^^J%
+dvips -Ppdf -j -E -i -S 1 images}
+
+<xsl:for-each select="//graphic[@diff='add' or @diff='chg']">
+
+\advance\n1
+\immediate\write\img{^^J%
+echo <xsl:value-of select="@source"/>^^J%
+%convert -crop 0x0 -density 110x110  -transparent white eps:images.%
+convert -crop 0x0 -density 110x110  eps:images.%
+\ifnum \n &lt;100 0\fi
+\ifnum \n &lt;10 0\fi
+\the\n\space <xsl:value-of select="@source"/>}
+  <xsl:choose>
+    <xsl:when test="@role='inline' and @align='bottom'">
+  \UnpaddedImage{<xsl:value-of select="@alt"/>}
+    </xsl:when>
+    <xsl:when test="@role='inline'">
+  \PaddedImage{<xsl:value-of select="@alt"/>}
+    </xsl:when>
+    <xsl:otherwise>
+  \FDImage{<xsl:value-of select="@alt"/>}
+    </xsl:otherwise>
+  </xsl:choose>
+</xsl:for-each>
+
+\end{document}
+</xsl:template>
+
+</xsl:stylesheet>