diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/schema/rnc/omdoc')
52 files changed, 0 insertions, 4515 deletions
diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/MARCRelators.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/MARCRelators.rnc deleted file mode 100644 index e3d7c72dbd8..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/MARCRelators.rnc +++ /dev/null @@ -1,23 +0,0 @@ -# the MARC relator set; see http://www.loc.gov/marc/relators -MARCRelators = - "act" | "adp" | "aft" | "ann" | "ant" | "app" | "aqt" | - "arc" | "arr" | "art" | "asg" | "asn" | "att" | "auc" | "aud" | "aui" | - "aus" | "aut" | "bdd" | "bjd" | "bkd" | "bkp" | "bnd" | "bpd" | "bsl" | - "ccp" | "chr" | "clb" | "cli" | "cll" | "clt" | "cmm" | "cmp" | "cmt" | - "cnd" | "cns" | "coe" | "col" | "com" | "cos" | "cot" | "cov" | "cpc" | - "cpe" | "cph" | "cpl" | "cpt" | "cre" | "crp" | "crr" | "csl" | "csp" | - "cst" | "ctb" | "cte" | "ctg" | "ctr" | "cts" | "ctt" | "cur" | "cwt" | - "dfd" | "dfe" | "dft" | "dgg" | "dis" | "dln" | "dnc" | "dnr" | "dpc" | - "dpt" | "drm" | "drt" | "dsr" | "dst" | "dte" | "dto" | "dub" | "edt" | - "egr" | "elt" | "eng" | "etr" | "exp" | "fac" | "flm" | "fmo" | "fnd" | - "fpy" | "frg" | "hnr" | "hst" | "ill" | "ilu" | "ins" | "inv" | "itr" | - "ive" | "ivr" | "lbt" | "lee" | "lel" | "len" | "let" | "lie" | "lil" | - "lit" | "lsa" | "lse" | "lso" | "ltg" | "lyr" | "mdc" | "mod" | "mon" | - "mrk" | "mte" | "mus" | "nrt" | "opn" | "org" | "orm" | "oth" | "own" | - "pat" | "pbd" | "pbl" | "pfr" | "pht" | "plt" | "pop" | "ppm" | "prc" | - "prd" | "prf" | "prg" | "prm" | "pro" | "prt" | "pta" | "pte" | "ptf" | - "pth" | "ptt" | "rbr" | "rce" | "rcp" | "red" | "ren" | "res" | "rev" | - "rpt" | "rpy" | "rse" | "rsp" | "rst" | "rth" | "rtm" | "sad" | "sce" | - "scl" | "scr" | "sec" | "sgn" | "sng" | "spk" | "spn" | "spy" | "srv" | - "stl" | "stn" | "str" | "ths" | "trc" | "trl" | "tyd" | "tyg" | "voc" | - "wam" | "wdc" | "wde" | "wit" diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/Makefile b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/Makefile deleted file mode 100644 index 0a4cef88b07..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -RNC = $(shell ls *.rnc) - -all: #$(RNG) #$(XSD) #omdoc.xsd $(TARGET.dtd) - -clean: - rm -f *~ -distclean: clean - -# no longer adequate -# install: $(SRC.rnc) $(SRC.rng) #$(SRC.xsd) -# cp $(RNC) $(RNG) $(HOME)/vc/svn/omdoc.org/www/rnc diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/README b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/README deleted file mode 100644 index d9f6d4f0209..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/README +++ /dev/null @@ -1,3 +0,0 @@ -This directory contains a RelaxNG schema for OMDoc in compact form. -It includes parts of the XHTML schema slightly edited for embeddability and -the MathML3 schema in original form. diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/arith1.omdoc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/arith1.omdoc deleted file mode 100644 index d7aa94849ff..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/arith1.omdoc +++ /dev/null @@ -1,1672 +0,0 @@ -<?xml version="1.0" encoding="utf-8"?> - -<omdoc xml:id="arith1-omdoc" version="1.3" - modules="CD" - xmlns:dc="http://purl.org/dc/elements/1.1/" - xmlns:cc="http://creativecommons.org/ns" - xmlns:om="http://www.openmath.org/OpenMath" - xmlns:m="http://www.w3.org/1998/Math/MathML" - xmlns:o="http://omdoc.org/ns" - xmlns:xh="http://www.w3.org/1999/xhtml" - xmlns="http://omdoc.org/ns"> - -<metadata> - <dc:title>The OpenMath Content Dictionary arith1.ocd in OMDoc form</dc:title> - <dc:creator role="trl">Michael Kohlhase</dc:creator> - <dc:creator role="ant">The OpenMath Society</dc:creator> - <dc:date action="updated">2004-07-13</dc:date> - <dc:source>Derived from the OpenMath CD http://www.openmath.org/cd/arith1.ocd.</dc:source> - <dc:type>Text</dc:type> - <dc:format>application/omdoc+xml</dc:format> - <dc:rights> - <xh:p>Copyright (c) 2000-2002 Michael Kohlhase; - This OMDoc content dictionary is released under the OpenMath license: - http://monet.nag.co.uk/openmath/cdfiles/license.html - </xh:p> - </dc:rights> - <dc:description><xh:p>This CD defines symbols for common arithmetic functions.</xh:p></dc:description> -</metadata> - -<theory xml:id="arith1"> - <imports from="integer1.omdoc#integer1"/> - <imports from="interval1.omdoc#interval1"/> - <imports from="fns1.omdoc#fns1"/> - <imports from="relation1.omdoc#relation1"/> - -<symbol name="lcm" xml:id="lcm"> - <metadata> - <dc:description> - <xh:p>The symbol to represent the n-ary function to return the - <term cd="arith1" name="lcm" role="definiens">least common multiple</term> of its arguments. - </xh:p> - </dc:description> - <dc:description xml:lang="de"> - <xh:p> - Das Symbol f"ur das <term cd="arith1" name="lcm" role="definiens">kleinste - gemeinsame Vielfache</term> (als n-aere Funktion). - </xh:p> - </dc:description> - <dc:subject>lcm</dc:subject> - <dc:subject xml:lang="de">kgV</dc:subject> - </metadata> - <type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMA> - <OMS name="nassoc" cd="sts"/> - <OMV name="SemiGroup"/> - </OMA> - <OMV name="SemiGroup"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMS cd="arith1" name="lcm"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">lcm</m:csymbol> - </prototype> - <rendering xml:lang="en"> - <m:mo>lcm</m:mo> - </rendering> - <rendering xml:lang="de"> - <m:mo>kgV</m:mo> - </rendering> - </notation> - -<theory xml:id="arith1-lcm"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - -<assertion xml:id="lcm-prop-1" type="lemma"> - <CMP> - <xh:p> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMR href="lcm-prop-1.O"/></OMOBJ> - for all integers <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>. - </xh:p> - </CMP> - <CMP xml:lang="de"> - <xh:p> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR - href="lcm-prop-1.O"/></OMOBJ> fuer alle ganzen Zahlen <OMOBJ - xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> und <OMOBJ - xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>. - </xh:p> - </CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA id="lcm-prop-1.O"> - <OMS cd="relation1" name="eq"/> - <OMA><OMS cd="arith1" name="lcm"/><OMV name="a"/><OMV name="b"/></OMA> - <OMA> - <OMS cd="arith1" name="divide"/> - <OMA><OMS cd="arith1" name="times"/><OMV name="a"/><OMV name="b"/></OMA> - <OMA><OMS cd="arith1" name="gcd"/><OMV name="a"/><OMV name="b"/></OMA> - </OMA> - </OMA> - </OMOBJ> - </FMP> -</assertion> - -<assertion xml:id="lcm-prop-3" type="lemma"> - <CMP> - <xh:p> - For all integers a,b there is no <OMOBJ - xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.1"/></OMOBJ> such - that <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR - href="lcm-prop-3.2"/></OMOBJ> and <OMOBJ - xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.3"/></OMOBJ> and - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR - href="lcm-prop-3.4"/></OMOBJ>. - </xh:p> - </CMP> - <CMP xml:lang="de"> - <xh:p> - Fuer alle ganzen Zahlen a,b gibt es kein <OMOBJ - xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.1"/></OMOBJ> mit - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR - href="lcm-prop-3.2"/></OMOBJ> und <OMOBJ - xmlns="http://www.openmath.org/OpenMath"><OMR href="#lcm-prop-3.3"/></OMOBJ> und - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR - href="lcm-prop-3.4"/></OMOBJ>. - </xh:p> - </CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - <OMV name="b"/> - </OMBVAR> - <OMA> - <OMS cd="logic1" name="implies"/> - <OMA> - <OMS cd="logic1" name="and"/> - <OMA> - <OMS cd="set1" name="in"/> - <OMV name="a"/> - <OMS cd="setname1" name="Z"/> - </OMA> - <OMA> - <OMS cd="set1" name="in"/> - <OMV name="b"/> - <OMS cd="setname1" name="Z"/> - </OMA> - </OMA> - <OMA> - <OMS cd="logic1" name="not"/> - <OMBIND> - <OMS cd="quant1" name="exists"/> - <OMBVAR> - <OMV name="c"/> - </OMBVAR> - <OMA> - <OMS cd="logic1" name="and"/> - <OMA id="lcm-prop-3.1"> - <OMS cd="relation1" name="gt"/> - <OMV name="c"/> - <OMI>0</OMI> - </OMA> - <OMA id="lcm-prop-3.2"> - <OMS cd="integer1" name="factorof"/> - <OMV name="a"/> - <OMV name="c"/> - </OMA> - <OMA id="lcm-prop-3.3"> - <OMS cd="integer1" name="factorof"/> - <OMV name="b"/> - <OMV name="c"/> - </OMA> - <OMA id="lcm-prop-3.4"> - <OMS cd="relation1" name="lt"/> - <OMV name="c"/> - <OMA> - <OMS cd="arith1" name="lcm"/> - <OMV name="a"/> - <OMV name="b"/> - </OMA> - </OMA> - </OMA> - </OMBIND> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - -<symbol name="gcd" xml:id="gcd"> - <metadata> - <dc:description> - <xh:p> - The symbol to represent the n-ary function to return the gcd (greatest - common divisor) of its arguments. - </xh:p> - </dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMA> - <OMS name="nassoc" cd="sts"/> - <OMV name="SemiGroup"/> - </OMA> - <OMV name="SemiGroup"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMS cd="arith1" name="gcd"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">gcd</m:csymbol> - </prototype> - <rendering xml:lang="en"> - <m:mo>gcd</m:mo> - </rendering> - <rendering xml:lang="de"> - <m:mo>ggT</m:mo> - </rendering> - </notation> - -<theory xml:id="arith1-gcd"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - -<assertion xml:id="gcd-prop-1" type="lemma"> - <CMP> - <xh:p> - For all integers a,b there is no c - such that <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-prop-1.1"/></OMOBJ> and - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-prop-1.2"/></OMOBJ> but - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-prop-1.3"/></OMOBJ>. - - Note that this implies that - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS cd="relation1" name="gt"/> - <OMA><OMS cd="arith1" name="gcd"/><OMV name="a"/><OMV name="b"/></OMA> - <OMI>0</OMI> - </OMA> - </OMOBJ>. - </xh:p> -</CMP> -<FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - <OMV name="b"/> - </OMBVAR> - <OMA> - <OMS cd="logic1" name="implies"/> - <OMA> - <OMS cd="logic1" name="and"/> - <OMA> - <OMS cd="set1" name="in"/> - <OMV name="a"/> - <OMS cd="setname1" name="Z"/> - </OMA> - <OMA> - <OMS cd="set1" name="in"/> - <OMV name="b"/> - <OMS cd="setname1" name="Z"/> - </OMA> - </OMA> - <OMA> - <OMS cd="logic1" name="not"/> - <OMBIND> - <OMS cd="quant1" name="exists"/> - <OMBVAR> - <OMV name="c"/> - </OMBVAR> - <OMA> - <OMS cd="logic1" name="and"/> - <OMA id="gcd-prop-1.1"> - <OMS cd="set1" name="in"/> - <OMA> - <OMS cd="arith1" name="divide"/> - <OMV name="a"/> - <OMV name="c"/> - </OMA> - <OMS cd="setname1" name="Z"/> - </OMA> - <OMA id="gcd-prop-1.2"> - <OMS cd="set1" name="in"/> - <OMA> - <OMS cd="arith1" name="divide"/> - <OMV name="b"/> - <OMV name="c"/> - </OMA> - <OMS cd="setname1" name="Z"/> - </OMA> - <OMA id="gcd-prop-1.3"> - <OMS cd="relation1" name="gt"/> - <OMV name="c"/> - <OMA> - <OMS cd="arith1" name="gcd"/> - <OMV name="a"/> - <OMV name="b"/> - </OMA> - </OMA> - </OMA> - </OMBIND> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> -</FMP> -</assertion> - -<example xml:id="gcd-ex-3" type="for" for="#gcd"> - <CMP> - <xh:p> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#gcd-ex-3.1"/></OMOBJ> - </xh:p> - </CMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA id="gcd-ex-3.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="gcd"/> - <OMI> 6 </OMI> - <OMI> 9 </OMI> - </OMA> - <OMI> 3 </OMI> - </OMA> - </OMOBJ> -</example> -</theory> - -<symbol name="plus" xml:id="plus"> - <metadata> - <dc:description><xh:p>The symbol representing an n-ary commutative function plus.</xh:p></dc:description> - <dc:subject>plus</dc:subject> - </metadata> - <type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMA> - <OMS name="nassoc" cd="sts"/> - <OMV name="AbelianSemiGroup"/> - </OMA> - <OMV name="AbelianSemiGroup"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="plus" o:cr="fun"/> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1" o:cr="fun">plus</m:csymbol> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </m:apply> - </prototype> - <rendering> - <m:mrow> - <m:mo o:egroup="fence" fence="true">(</m:mo> - <iterate name="args" precedence="500"> - <separator><m:mo o:cr="fun">+</m:mo></separator> - <render name="arg"/> - </iterate> - <m:mo o:egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <notation> - <prototype> - <om:OMS cd="arith1" name="plus"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">plus</m:csymbol> - </prototype> - <rendering> - <m:mo>+</m:mo> - </rendering> - </notation> - -<theory xml:id="arith1-plus"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - -<assertion xml:id="plus-prop-1" type="lemma"> - <CMP><xh:p>For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>, - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#plus-prop-1.1"/></OMOBJ> - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - <OMV name="b"/> - </OMBVAR> - <OMA id="plus-prop-1.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMV name="a"/> - <OMV name="b"/> - </OMA> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMV name="b"/> - <OMV name="a"/> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - -<symbol name="unary_minus" xml:id="unary_minus"> - <metadata> - <dc:description><xh:p> This symbol denotes unary minus, i.e. the additive inverse.</xh:p></dc:description><dc:subject>unary minus</dc:subject></metadata> - <type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMV name="AbelianGroup"/> - <OMV name="AbelianGroup"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="unary_minus" o:cr="fun"/> - <expr name="arg"/> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1" o:cr="fun">unary_minus</m:csymbol> - <expr name="arg"/> - </m:apply> - </prototype> - <rendering> - <m:mrow> - <m:mo o:cr="fun">-</m:mo> - <m:mo o:egroup="fence" fence="true">(</m:mo> - <render name="arg"/> - <m:mo o:egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <notation> - <prototype> - <om:OMS cd="arith1" name="unary_minus"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">unary_minus</m:csymbol> - </prototype> - <rendering> - <m:mo>-</m:mo> - </rendering> - </notation> - -<theory xml:id="arith1-uminus"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - -<assertion xml:id="unary_minus-prop-1" type="lemma"> - <CMP><xh:p><OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#unary_minus-prop-1.1"/></OMOBJ> for all - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - </OMBVAR> - <OMA id="unary_minus-prop-1.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMV name="a"/> - <OMA> - <OMS cd="arith1" name="unary_minus"/> - <OMV name="a"/> - </OMA> - </OMA> - <OMS cd="alg1" name="zero"/> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - - -<symbol name="minus" xml:id="minus"> - <metadata> - <dc:description><xh:p> The symbol representing a binary minus function. This is equivalent to - adding the additive inverse. - </xh:p></dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMV name="AbelianGroup"/> - <OMV name="AbelianGroup"/> - <OMV name="AbelianGroup"/> - </OMA> - </OMOBJ> - </type> -</symbol> - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="minus" o:cr="fun"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1" o:cr="fun">minus</m:csymbol> - <expr name="arg1"/> - <expr name="arg2"/> - </m:apply> - </prototype> - <rendering> - <m:mrow> - <m:mo o:egroup="fence" fence="true">(</m:mo> - <render name="arg1" precedence="500"/> - <m:mo o:cr="fun">-</m:mo> - <render name="arg2" precedence="500"/> - <m:mo o:egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - <notation> - <prototype> - <om:OMS cd="arith1" name="minus"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">minus</m:csymbol> - </prototype> - <rendering> - <m:mo>-</m:mo> - </rendering> - </notation> - -<theory xml:id="arith1-minus"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - - -<assertion xml:id="minus-prop-1" type="lemma"> - <CMP><xh:p> - For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>, - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#minus-prop-1.1"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - <OMV name="b"/> - </OMBVAR> - <OMA id="minus-prop-1.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="minus"/> - <OMV name="a"/> - <OMV name="b"/> - </OMA> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMV name="a"/> - <OMA> - <OMS cd="arith1" name="unary_minus"/> - <OMV name="b"/> - </OMA> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - -<symbol name="times" xml:id="times"> - <metadata> - <dc:description><xh:p> The symbol representing an n-ary multiplication function.</xh:p></dc:description><dc:subject>times</dc:subject></metadata> - <type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMA> - <OMS name="nassoc" cd="sts"/> - <OMV name="SemiGroup"/> - </OMA> - <OMV name="SemiGroup"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMS cd="arith1" name="times"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">times</m:csymbol> - </prototype> - <rendering> - <m:mo></m:mo> - </rendering> - </notation> - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="times" o:cr="fun"/> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1" o:cr="fun">times</m:csymbol> - <exprlist name="args"> - <expr name="arg"/> - </exprlist> - </m:apply> - </prototype> - <rendering> - <m:mrow> - <m:mo o:egroup="fence" fence="true">(</m:mo> - <iterate name="args" precedence="400"> - <separator> - <m:mo o:cr="fun"></m:mo> - </separator> - <render name="arg"/> - </iterate> - <m:mo o:egroup="fence" fence="true">)</m:mo> - </m:mrow> - </rendering> - </notation> - -<theory xml:id="arith1-times"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> -<imports from="linalg2.omdoc#linalg2"/> - -<example xml:id="times-ex-1" type="for" for="#times"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath" style="display:block"> - <OMA> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="times"/> - <OMA> - <OMS cd="linalg2" name="matrix"/> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 1 </OMI> - <OMI> 2 </OMI> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 3 </OMI> - <OMI> 4 </OMI> - </OMA> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrix"/> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 5 </OMI> - <OMI> 6 </OMI> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 7 </OMI> - <OMI> 8 </OMI> - </OMA> - </OMA> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrix"/> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 19 </OMI> - <OMI> 20 </OMI> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 43 </OMI> - <OMI> 50 </OMI> - </OMA> - </OMA> - </OMA> - </OMOBJ> -</example> - -<assertion xml:id="times-prop-2" type="lemma"> - <CMP><xh:p> for all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>, - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#times-prop-2.1"/></OMOBJ> and - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#times-prop-2.2"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - <OMV name="b"/> - </OMBVAR> - <OMA> - <OMS cd="logic1" name="and"/> - <OMA id="times-prop-2.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="times"/> - <OMV name="a"/> - <OMS cd="alg1" name="zero"/> - </OMA> - <OMS cd="alg1" name="zero"/> - </OMA> - <OMA id="times-prop-2.2"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="times"/> - <OMV name="a"/> - <OMV name="b"/> - </OMA> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMA> - <OMS cd="arith1" name="times"/> - <OMV name="a"/> - <OMA> - <OMS cd="arith1" name="minus"/> - <OMV name="b"/> - <OMS cd="alg1" name="one"/> - </OMA> - </OMA> - <OMV name="a"/> - </OMA> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -<assertion xml:id="times-prop-4" type="lemma"> - <CMP><xh:p>For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>, - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="b"/></OMOBJ>, - and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="a"/></OMOBJ>, we - have - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#times-prop-4.1"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - <OMV name="b"/> - <OMV name="c"/> - </OMBVAR> - <OMA id="times-prop-4.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="times"/> - <OMV name="a"/> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMV name="b"/> - <OMV name="c"/> - </OMA> - </OMA> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMA> - <OMS cd="arith1" name="times"/> - <OMV name="a"/> - <OMV name="b"/> - </OMA> - <OMA> - <OMS cd="arith1" name="times"/> - <OMV name="a"/> - <OMV name="c"/> - </OMA> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - -<symbol name="divide" xml:id="divide"> -<metadata> -<dc:description><xh:p> - This symbol represents a (binary) division function denoting the first argument - right-divided by the second, i.e. divide(a,b)=a*inverse(b). It is the - inverse of the multiplication function defined by the symbol times in this CD. -</xh:p></dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMV name="AbelianGroup"/> - <OMV name="AbelianGroup"/> - <OMV name="AbelianGroup"/> - </OMA> - </OMOBJ> - </type> -</symbol> - <notation> - <prototype> - <om:OMS cd="arith1" name="divide"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">divide</m:csymbol> - </prototype> - <rendering> - <m:mo>/</m:mo> - </rendering> - </notation> - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="divide"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1">divide</m:csymbol> - <expr name="arg1"/> - <expr name="arg2"/> - </m:apply> - </prototype> - <rendering> - <m:mfrac> - <render name="arg1"/> - <render name="arg2"/> - </m:mfrac> - </rendering> - </notation> - -<theory xml:id="arith1-divide"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - -<assertion xml:id="divide-prop-1" type="lemma"> - <CMP><xh:p>If <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#divide-prop-1.1"/></OMOBJ> then - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#divide-prop-1.2"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - </OMBVAR> - <OMA> - <OMS cd="logic1" name="implies"/> - <OMA id="divide-prop-1.1"> - <OMS cd="relation1" name="neq"/> - <OMV name="a"/> - <OMS cd="alg1" name="zero"/> - </OMA> - <OMA id="divide-prop-1.2"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="divide"/> - <OMV name="a"/> - <OMV name="a"/> - </OMA> - <OMS cd="alg1" name="one"/> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - -<symbol name="power" xml:id="power"> -<metadata> -<dc:description><xh:p> - This symbol represents a power function. The first argument is raised - to the power of the second argument. When the second argument is not - an integer, powering is defined in terms of exponentials and - logarithms for the complex and real numbers. - This operator can represent general powering. -</xh:p></dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMS name="NumericalValue" cd="sts"/> - <OMS name="NumericalValue" cd="sts"/> - <OMS name="NumericalValue" cd="sts"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMS cd="arith1" name="power"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">power</m:csymbol> - </prototype> - <rendering> - <m:mo>power</m:mo> - </rendering> - </notation> - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="power"/> - <expr name="arg1"/> - <expr name="arg2"/> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1">power</m:csymbol> - <expr name="arg1"/> - <expr name="arg2"/> - </m:apply> - </prototype> - <rendering> - <m:msup> - <render name="arg1"/> - <render name="arg2"/> - </m:msup> - </rendering> - </notation> - -<theory xml:id="arith1-power"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> -<imports from="linalg2.omdoc#linalg2"/> -<imports from="nums1.omdoc#nums1"/> - -<assertion xml:id="power-prop-1" type="lemma"> - <CMP><xh:p><OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-1.1"/></OMOBJ> implies - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-1.2"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS cd="logic1" name="implies"/> - <OMA id="power-prop-1.1"> - <OMS cd="set1" name="in"/> - <OMV name="x"/> - <OMS cd="setname1" name="C"/> - </OMA> - <OMA id="power-prop-1.2"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS name="power" cd="arith1"/> - <OMV name="x"/> - <OMV name="a"/> - </OMA> - <OMA> - <OMS name="exp" cd="transc1"/> - <OMA> - <OMS name="times" cd="arith1"/> - <OMV name="a"/> - <OMA> - <OMS name="ln" cd="transc1"/> - <OMV name="x"/> - </OMA> - </OMA> - </OMA> - </OMA> - </OMA> - </OMOBJ> - </FMP> -</assertion> -<assertion xml:id="power-prop-3" type="lemma"> - <CMP><xh:p>If <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="n"/></OMOBJ> is an integer then - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-3.1"/></OMOBJ> and - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#power-prop-3.2"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS cd="logic1" name="implies"/> - <OMA> - <OMS cd="set1" name="in"/> - <OMV name="n"/> - <OMS cd="setname1" name="Z"/> - </OMA> - <OMA> - <OMS cd="logic1" name="and"/> - <OMA id="power-prop-3.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="power"/> - <OMV name="x"/> - <OMI>0</OMI> - </OMA> - <OMS cd="alg1" name="one"/> - </OMA> - <OMA id="power-prop-3.2"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="power"/> - <OMV name="x"/> - <OMV name="n"/> - </OMA> - <OMA> - <OMS cd="arith1" name="times"/> - <OMV name="x"/> - <OMA> - <OMS cd="arith1" name="power"/> - <OMV name="x"/> - <OMA> - <OMS cd="arith1" name="minus"/> - <OMV name="n"/> - <OMI>1</OMI> - </OMA> - </OMA> - </OMA> - </OMA> - </OMA> - </OMA> - </OMOBJ> - </FMP> -</assertion> - - <example xml:id="power-ex-5" type="for" for="#power"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath" style="display:block"> - <OMA> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="power"/> - <OMA> - <OMS cd="linalg2" name="matrix"/> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 1 </OMI> - <OMI> 2 </OMI> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 3 </OMI> - <OMI> 4 </OMI> - </OMA> - </OMA> - <OMI>3</OMI> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrix"/> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 37 </OMI> - <OMI> 54 </OMI> - </OMA> - <OMA> - <OMS cd="linalg2" name="matrixrow"/> - <OMI> 81 </OMI> - <OMI> 118 </OMI> - </OMA> - </OMA> - </OMA> - </OMOBJ> -</example> - -<example xml:id="power-ex-6" type="for" for="#power"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="power"/> - <OMS cd="nums1" name="e"/> - <OMA> - <OMS cd="arith1" name="times"/> - <OMS cd="nums1" name="i"/> - <OMS cd="nums1" name="pi"/> - </OMA> - </OMA> - <OMA> - <OMS cd="arith1" name="unary_minus"/> - <OMS cd="alg1" name="one"/> - </OMA> - </OMA> - </OMOBJ> -</example> -</theory> - -<symbol name="abs" xml:id="abs"> -<metadata> -<dc:description><xh:p> - A unary operator which represents the absolute value of its - argument. The argument should be numerically valued. - In the complex case this is often referred to as the modulus. -</xh:p></dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMS name="C" cd="setname1"/> - <OMS name="R" cd="setname1"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMS cd="arith1" name="abs"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">abs</m:csymbol> - </prototype> - <rendering> - <m:mo>abs</m:mo> - </rendering> - </notation> - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="abs" o:cr="fun"/> - <expr name="arg"/> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1">abs</m:csymbol> - <expr name="arg"/> - </m:apply> - </prototype> - <rendering> - <m:mrow><m:mo>|</m:mo><render name="arg"/><m:mo>|</m:mo></m:mrow> - </rendering> - </notation> - -<theory xml:id="arith1-abs"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - -<assertion xml:id="abs-prop-1" type="lemma"> - <CMP><xh:p>For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="x"/></OMOBJ> and - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV name="y"/></OMOBJ> we - have <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR - href="abs-prop-1.1"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="x"/> - <OMV name="y"/> - </OMBVAR> - <OMA id="abs-prop-1.1"> - <OMS cd="relation1" name="geq"/> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMA> - <OMS cd="arith1" name="abs"/> - <OMV name="x"/> - </OMA> - <OMA> - <OMS cd="arith1" name="abs"/> - <OMV name="y"/> - </OMA> - </OMA> - <OMA> - <OMS cd="arith1" name="abs"/> - <OMA> - <OMS cd="arith1" name="plus"/> - <OMV name="x"/> - <OMV name="y"/> - </OMA> - </OMA> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - - -<symbol name="root" xml:id="root"> -<metadata> -<dc:description><xh:p> - A binary operator which represents its first argument "lowered" to its - n'th root where n is the second argument. This is the inverse of the operation - represented by the power symbol defined in this CD. - - Care should be taken as to the precise meaning of this operator, in particular - which root is represented, however it is here to represent the general notion of - taking n'th roots. As inferred by the signature relevant to this symbol, the - function represented by this symbol is the single valued function, the specific - root returned is the one indicated by the first CMP. Note also that the converse - of the second CMP is not valid in general. -</xh:p></dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMS name="NumericalValue" cd="sts"/> - <OMS name="NumericalValue" cd="sts"/> - <OMS name="NumericalValue" cd="sts"/> - </OMA> - </OMOBJ> -</type> -</symbol> - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="root"/> - <expr name="arg"/> - <expr name="n"/> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1">root</m:csymbol> - <expr name="arg"/> - <expr name="n"/> - </m:apply> - </prototype> - <rendering> - <m:mroot> - <render name="arg"/> - <render name="n"/> - </m:mroot> - </rendering> - </notation> - <notation> - <prototype> - <om:OMS cd="arith1" name="root"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">root</m:csymbol> - </prototype> - <rendering> - <m:mo>√</m:mo> - </rendering> - </notation> - -<theory xml:id="arith1-root"> -<imports from="alg1.omdoc#alg1"/> -<imports from="logic1.omdoc#logic1"/> -<imports from="quant1.omdoc#quant1"/> -<imports from="set1.omdoc#set1"/> -<imports from="transc1.omdoc#transc1"/> - - -<assertion xml:id="root-prop-1" type="lemma"> - <CMP><xh:p> <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#root-prop-1.1"/></OMOBJ> implies - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#root-prop-1.2"/></OMOBJ>. - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS cd="logic1" name="implies"/> - <OMA id="root-prop-1.1"> - <OMS cd="set1" name="in"/> - <OMV name="x"/> - <OMS cd="setname1" name="C"/> - </OMA> - <OMA id="root-prop-1.2"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="root"/> - <OMV name="x"/> - <OMV name="n"/> - </OMA> - <OMA> - <OMS name="exp" cd="transc1"/> - <OMA> - <OMS name="divide" cd="arith1"/> - <OMA> - <OMS name="ln" cd="transc1"/> - <OMV name="x"/> - </OMA> - <OMV name="n"/> - </OMA> - </OMA> - </OMA> - </OMA> - </OMOBJ> - </FMP> -</assertion> -<assertion xml:id="root-prop-3" type="lemma"> - <CMP><xh:p> - For all <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV - name="a"/></OMOBJ> and <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMV - name="n"/></OMOBJ> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMR href="#root-prop-3.1"/></OMOBJ> (if the root exists!). - </xh:p></CMP> - <FMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMBIND> - <OMS cd="quant1" name="forall"/> - <OMBVAR> - <OMV name="a"/> - <OMV name="n"/> - </OMBVAR> - <OMA id="root-prop-3.1"> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="arith1" name="power"/> - <OMA> - <OMS cd="arith1" name="root"/> - <OMV name="a"/> - <OMV name="n"/> - </OMA> - <OMV name="n"/> - </OMA> - <OMV name="a"/> - </OMA> - </OMBIND> - </OMOBJ> - </FMP> -</assertion> -</theory> - -<symbol name="sum" xml:id="sum"> -<metadata> -<dc:description><xh:p> - An operator taking two arguments, the first being the range of summation, - e.g. an integral interval, the second being the function to be - summed. Note that the sum may be over an infinite interval. -</xh:p></dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMV name="IntegerRange"/> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMS name="Z" cd="setname1"/> - <OMV name="AbelianMonoid"/> - </OMA> - <OMV name="AbelianMonoid"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="sum" o:cr="fun"/> - <om:OMA> - <om:OMS cd="interval1" name="integer_interval"/> - <expr name="low"/> - <expr name="high"/> - </om:OMA> - <om:OMBIND> - <om:OMS cd="fns1" name="lambda"/> - <om:OMBVAR><expr name="var"/></om:OMBVAR> - <expr name="scope"/> - </om:OMBIND> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1" o:cr="fun">sum</m:csymbol> - <m:apply> - <m:csymbol cd="interval1">integer_interval</m:csymbol> - <expr name="low"/> - <expr name="high"/> - </m:apply> - <m:bind> - <m:csymbol cd="fns1">lambda</m:csymbol> - <m:bvar><expr name="var"/></m:bvar> - <expr name="scope"/> - </m:bind> - </m:apply> - </prototype> - <rendering> - <m:mrow> - <m:munderover> - <m:mo o:cr="fun">∑</m:mo> - <m:mrow> - <render name="var"/> - <m:mo>=</m:mo> - <render name="low"/> - </m:mrow> - <render name="high"/> - </m:munderover> - <render name="scope"/> - </m:mrow> - </rendering> - </notation> - -<!-- not over an interval --> - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="sum" o:cr="fun"/> - <expr name="range"/> - <om:OMBIND> - <om:OMS cd="fns1" name="lambda"/> - <om:OMBVAR><expr name="var"/></om:OMBVAR> - <expr name="scope"/> - </om:OMBIND> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1" o:cr="fun">sum</m:csymbol> - <expr name="range"/> - <m:bind> - <m:csymbol cd="fns1">lambda</m:csymbol> - <m:bvar><expr name="var"/></m:bvar> - <expr name="scope"/> - </m:bind> - </m:apply> - </prototype> - <rendering> - <m:mrow> - <m:munder> - <m:mo o:cr="fun">∑</m:mo> - <m:mrow><render name="var"/><m:mo>∈</m:mo><render name="range"/></m:mrow> - </m:munder> - <render name="scope"/> - </m:mrow> - </rendering> - </notation> - - <notation> - <prototype> - <om:OMS cd="arith1" name="sum"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">sum</m:csymbol> - </prototype> - <rendering> - <m:mo>∑</m:mo> - </rendering> - </notation> - - -<theory xml:id="sum-ex.theory"> -<imports xml:id="sum-ex-imports-fns1" from="fns1.omdoc#fns1"/> -<imports xml:id="sum-ex-imports-interval1" from="interval1.omdoc#interval1"/> - -<example xml:id="sum-ex-1" type="for" for="#sum"> - <CMP><xh:p> - This represents the summation of the reciprocals of all the integers between - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMI>1</OMI></OMOBJ> and - <OMOBJ xmlns="http://www.openmath.org/OpenMath"><OMI>10</OMI></OMOBJ> - inclusive. - </xh:p></CMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS cd="arith1" name="sum"/> - <OMA> - <OMS cd="interval1" name="integer_interval"/> - <OMI> 1 </OMI> - <OMI> 10 </OMI> - </OMA> - <OMBIND> - <OMS cd="fns1" name="lambda"/> - <OMBVAR> - <OMV name="x"/> - </OMBVAR> - <OMA> - <OMS cd="arith1" name="divide"/> - <OMI> 1 </OMI> - <OMV name="x"/> - </OMA> - </OMBIND> - </OMA> - </OMOBJ> -</example> -</theory> - -<symbol name="product" xml:id="product"> -<metadata> -<dc:description><xh:p> - An operator taking two arguments, the first being the range of multiplication - e.g. an integral interval, the second being the function to - be multiplied. Note that the product may be over an infinite interval. -</xh:p></dc:description> -</metadata> -<type system="sts.omdoc#sts"> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMV name="IntegerRange"/> - <OMA> - <OMS name="mapsto" cd="sts"/> - <OMS name="Z" cd="setname1"/> - <OMV name="AbelianMonoid"/> - </OMA> - <OMV name="AbelianMonoid"/> - </OMA> - </OMOBJ> - </type> -</symbol> - - <notation> - <prototype> - <om:OMA> - <om:OMS cd="arith1" name="product" o:cr="fun"/> - <om:OMA> - <om:OMS cd="interval1" name="integer_interval"/> - <expr name="low"/> - <expr name="high"/> - </om:OMA> - <om:OMBIND> - <om:OMS cd="fns1" name="lambda"/> - <om:OMBVAR><expr name="var"/></om:OMBVAR> - <expr name="scope"/> - </om:OMBIND> - </om:OMA> - </prototype> - <prototype> - <m:apply> - <m:csymbol cd="arith1" o:cr="fun">product</m:csymbol> - <m:apply> - <m:csymbol cd="interval1">integer_interval</m:csymbol> - <expr name="low"/> - <expr name="high"/> - </m:apply> - <m:bind> - <m:csymbol cd="fns1">lambda</m:csymbol> - <m:bvar><expr name="var"/></m:bvar> - <expr name="scope"/> - </m:bind> - </m:apply> - </prototype> - <rendering> - <m:mrow> - <m:munderover> - <m:mo o:cr="fun">∏</m:mo> - <m:mrow> - <render name="var"/> - <m:mo>=</m:mo> - <render name="low"/> - </m:mrow> - <render name="high"/> - </m:munderover> - <render name="scope"/> - </m:mrow> - </rendering> - </notation> - <notation> - <prototype> - <om:OMS cd="arith1" name="product"/> - </prototype> - <prototype> - <m:csymbol cd="arith1">product</m:csymbol> - </prototype> - <rendering> - <m:mo>∏</m:mo> - </rendering> - </notation> - -<theory xml:id="product-ex.theory"> - <imports xml:id="product-ex-imports-interval1" from="interval1.omdoc#interval1"/> - <imports xml:id="product-ex-imports-fns1" from="fns1.omdoc#fns1"/> -<example xml:id="product-ex-1" type="for" for="#product"> - <CMP><xh:p> - This represents the statement that the - <term cd="integer1" name="factorial">factorial</term> of n is equal to the - <term cd="arith1" name="product">product</term> - of all the integers between 1 and n inclusive. - </xh:p></CMP> - <OMOBJ xmlns="http://www.openmath.org/OpenMath"> - <OMA> - <OMS cd="relation1" name="eq"/> - <OMA> - <OMS cd="integer1" name="factorial"/> - <OMV name="n"/> - </OMA> - <OMA> - <OMS cd="arith1" name="product"/> - <OMA> - <OMS cd="interval1" name="integer_interval"/> - <OMI> 1 </OMI> - <OMV name="n"/> - </OMA> - <OMBIND> - <OMS cd="fns1" name="lambda"/> - <OMBVAR> - <OMV name="i"/> - </OMBVAR> - <OMV name="i"/> - </OMBIND> - </OMA> - </OMA> - </OMOBJ> -</example> -</theory> -</theory> - - -</omdoc> - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/creativecommons.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/creativecommons.rnc deleted file mode 100644 index 078d80e4a3b..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/creativecommons.rnc +++ /dev/null @@ -1,48 +0,0 @@ -# A RelaxNG for Creative Commons License Specifications -# $Id: creativecommons.rnc 8550 2009-11-07 06:38:23Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/trunk/schema/rnc/pragmatic/creativecommons.rnc $ -# Copyright (c) 2008 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace cc = "http://creativecommons.org/ns" - -iana.tld = ("ac"|"ad"|"ae"|"af"|"ag"|"ai"|"al"|"am"|"an"|"ao"|"aq"|"ar"|"as"|"at"|"au"|"aw"|"ax"|"az"| - "ba"|"bb"|"bd"|"be"|"bf"|"bg"|"bh"|"bi"|"bj"|"bm"|"bn"|"bo"|"br"|"bs"|"bt"|"bv"|"bw"|"by"|"bz"| - "ca"|"cc"|"cd"|"cf"|"cg"|"ch"|"ci"|"ck"|"cl"|"cm"|"cn"|"co"|"cr"|"cs"|"cu"|"cv"|"cx"|"cy"|"cz"| - "de"|"dj"|"dk"|"dm"|"do"|"dz"|"ec"|"ee"|"eg"|"eh"|"er"|"es"|"et"|"fi"|"fj"|"fk"|"fm"|"fo"|"fr"| - "ga"|"gb"|"gd"|"ge"|"gf"|"gg"|"gh"|"gi"|"gl"|"gm"|"gn"|"gp"|"gq"|"gr"|"gs"|"gt"|"gu"|"gw"|"gy"| - "hk"|"hm"|"hn"|"hr"|"ht"|"hu"|"id"|"ie"|"il"|"im"|"in"|"io"|"iq"|"ir"|"is"|"it"|"je"|"jm"|"jo"|"jp"| - "ke"|"kg"|"kh"|"ki"|"km"|"kn"|"kp"|"kr"|"kw"|"ky"|"kz"|"la"|"lb"| - "lc"|"li"|"lk"|"lr"|"ls"|"lt"|"lu"|"lv"|"ly"| - "ma"|"mc"|"md"|"mg"|"mh"|"mk"|"ml"|"mm"|"mn"|"mo"|"mp"|"mq"|"mr"|"ms"|"mt"|"mu"|"mv"|"mw"|"mx"|"my"|"mz"| - "na"|"nc"|"ne"|"nf"|"ng"|"ni"|"nl"|"no"|"np"|"nr"|"nu"|"nz"|"om"| - "pa"|"pe"|"pf"|"pg"|"ph"|"pk"|"pl"|"pm"|"pn"|"pr"|"ps"|"pt"|"pw"|"py"|"qa"|"re"|"ro"|"ru"|"rw"| - "sa"|"sb"|"sc"|"sd"|"se"|"sg"|"sh"|"si"|"sj"|"sk"|"sl"|"sm"|"sn"|"so"|"sr"|"st"|"sv"|"sy"|"sz"| - "tc"|"td"|"tf"|"tg"|"th"|"tj"|"tk"|"tl"|"tm"|"tn"|"to"|"tp"|"tr"|"tt"|"tv"|"tw"|"tz"|"ua"| - "ug"|"uk"|"um"|"us"|"uy"|"uz"|"va"|"vc"|"ve"|"vg"|"vi"|"vn"|"vu"|"wf"|"ws"|"ye"|"yt"|"yu"|"za"|"zm"|"zw") - -license.attribs = attribute jurisdiction {iana.tld}? & - attribute version {xsd:string}? -license.model = permissions,prohibitions,requirements,description -license = element license {license.attribs& license.model} - -permissions.attribs= attribute reproduction {"permitted" |" prohibited"} & - attribute distribution {"permitted" |" prohibited"} & - attribute derivative_works {"permitted" | "prohibited"} -permissions.model = description -permissions = element permissions {permissions.attribs & permissions.model} - -prohibitions.attribs = attribute commercial_use {"prohibited" | "permitted"} -prohibitions.model = description -prohibitions = element prohibitions {prohibitions.attribs & prohibitions.model} - -requirements.attribs = attribute notice {"required" | "not_required"} & - attribute attribution {"required" | "not_required"} & - attribute copyleft {"required" | "not_required"} -requirements.model = description -requirements = element requirements {requirements.attribs & requirements.model} - -description.attribs = empty -description.model = text -description = element description {description.attribs & description.model} - -start = license diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/dublincore.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/dublincore.rnc deleted file mode 100644 index 2402ddb1e7c..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/dublincore.rnc +++ /dev/null @@ -1,42 +0,0 @@ -# A RelaxNG schema for the Dublin Core elements -# $Id: dublincore.rnc 8550 2009-11-07 06:38:23Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/trunk/schema/rnc/pragmatic/dublincore.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2008 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace dc = "http://purl.org/dc/elements/1.1/" - -## the various content models, specialize for integration -dc.person = text -dc.publisher = text -dc.text = text -dc.inline = text -dc.format = text -dc.source = text -dc.language = text -dc.rights = text -dc.relation = text -dc.date = xsd:dateTime -dc.type = text -dc.identifier = text - -# the model of the Dublin Metadata initiative (http://purl.org/dc) -start = contributor* & creator* & rights* & subject* & title* & description* & - publisher* & date* & type* & format* & identifier* & source* & language* & relation* - -contributor = element contributor {dc.person} -creator = element creator {dc.person} -title = element title {dc.inline} -subject = element subject {dc.inline} -description = element description {dc.text} -publisher = element publisher {dc.publisher} -type = element type {dc.type} -format = element format {dc.format} -source = element source {dc.source} -language = element language {dc.language} -relation = element relation {dc.relation} -rights = element rights {dc.rights} -date = element date {dc.date} -identifier = element identifier {dc.identifier} - - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-common.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-common.rnc deleted file mode 100644 index 3d18ae1d3f8..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-common.rnc +++ /dev/null @@ -1,84 +0,0 @@ -# This is the Mathematical Markup Language (MathML) 3.0, an XML -# application for describing mathematical notation and capturing -# both its structure and content. -# -# Copyright 1998-2009 W3C (MIT, ERCIM, Keio) -# -# Use and distribution of this code are permitted under the terms -# W3C Software Notice and License -# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231 - - -default namespace m = "http://www.w3.org/1998/Math/MathML" -namespace local = "" - -start = math - -math = element math {math.attributes,MathExpression*} -MathExpression = semantics - -NonMathMLAtt = attribute (* - (local:*|m:*)) {xsd:string} - -CommonDeprecatedAtt = attribute other {text}? - -CommonAtt = attribute id {xsd:ID}?, - attribute xref {text}?, - attribute class {xsd:NMTOKENS}?, - attribute style {xsd:string}?, - attribute href {xsd:anyURI}?, - CommonDeprecatedAtt, - NonMathMLAtt* - - -math.attributes = CommonAtt, - attribute display {"block" | "inline"}?, - attribute maxwidth {length}?, - attribute overflow {"linebreak" | "scroll" | "elide" | "truncate" | "scale"}?, - attribute altimg {xsd:anyURI}?, - attribute altimg-width {length}?, - attribute altimg-height {length}?, - attribute altimg-valign {length | "top" | "middle" | "bottom"}?, - attribute alttext {text}?, - attribute cdgroup {xsd:anyURI}?, - math.deprecatedattributes - -# the mathml3-presentation schema adds additional attributes -# to the math element, all those valid on mstyle - -math.deprecatedattributes = attribute mode {xsd:string}?, - attribute macros {xsd:string}? - - -name = attribute name {xsd:NCName} -cd = attribute cd {xsd:NCName} - -src = attribute src {xsd:anyURI}? - -annotation = element annotation {annotation.attributes,text} - -annotation-xml.model = (MathExpression|anyElement)* - -anyElement = element (* - m:*) {(attribute * {text}|text| anyElement)*} - -annotation-xml = element annotation-xml {annotation.attributes, - annotation-xml.model} -annotation.attributes = CommonAtt, - cd?, - name?, - DefEncAtt, - src? - -DefEncAtt = attribute encoding {xsd:string}?, - attribute definitionURL {xsd:anyURI}? - -semantics = element semantics {semantics.attributes, - MathExpression, - (annotation|annotation-xml)*} -semantics.attributes = CommonAtt,DefEncAtt,cd?,name? - - - -length = xsd:string { - pattern = '\s*((-?[0-9]*(\.[0-9]*)?(e[mx]|in|cm|mm|p[xtc]|%)?)|(negative)?((very){0,2}thi(n|ck)|medium)mathspace)\s*' -} - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc deleted file mode 100644 index 3facbfd5567..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-content.rnc +++ /dev/null @@ -1,373 +0,0 @@ - -# This is the Mathematical Markup Language (MathML) 3.0, an XML -# application for describing mathematical notation and capturing -# both its structure and content. -# -# Copyright 1998-2010 W3C (MIT, ERCIM, Keio) -# -# Use and distribution of this code are permitted under the terms -# W3C Software Notice and License -# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231 - -include "mathml3-strict-content.rnc"{ - cn.content = (text | mglyph | sep | PresentationExpression)* - cn.attributes = CommonAtt, DefEncAtt, attribute type {text}?, base? - - ci.attributes = CommonAtt, DefEncAtt, ci.type? - ci.type = attribute type {text} - ci.content = (text | mglyph | PresentationExpression)* - - csymbol.attributes = CommonAtt, DefEncAtt, attribute type {text}?,cd? - csymbol.content = (text | mglyph | PresentationExpression)* - - bvar = element bvar { (ci | semantics-ci) & degree?} - - cbytes.attributes = CommonAtt, DefEncAtt - - cs.attributes = CommonAtt, DefEncAtt - - apply.content = ContExp+ | (ContExp, BvarQ, Qualifier*, ContExp*) - - bind.content = apply.content -} - -base = attribute base {text} - - -sep = element sep {empty} -PresentationExpression |= notAllowed - - -DomainQ = (domainofapplication|condition|interval|(lowlimit,uplimit?))* -domainofapplication = element domainofapplication {ContExp} -condition = element condition {ContExp} -uplimit = element uplimit {ContExp} -lowlimit = element lowlimit {ContExp} - -Qualifier = DomainQ|degree|momentabout|logbase -degree = element degree {ContExp} -momentabout = element momentabout {ContExp} -logbase = element logbase {ContExp} - -type = attribute type {text} -order = attribute order {"numeric" | "lexicographic"} -closure = attribute closure {text} - - -ContExp |= piecewise - - -piecewise = element piecewise {CommonAtt, DefEncAtt,(piece* & otherwise?)} - -piece = element piece {CommonAtt, DefEncAtt, ContExp, ContExp} - -otherwise = element otherwise {CommonAtt, DefEncAtt, ContExp} - - -DeprecatedContExp = reln | fn | declare -ContExp |= DeprecatedContExp - -reln = element reln {ContExp*} -fn = element fn {ContExp} -declare = element declare {attribute type {xsd:string}?, - attribute scope {xsd:string}?, - attribute nargs {xsd:nonNegativeInteger}?, - attribute occurrence {"prefix"|"infix"|"function-model"}?, - DefEncAtt, - ContExp+} - - -interval.class = interval -ContExp |= interval.class - - -interval = element interval { CommonAtt, DefEncAtt,closure?, ContExp,ContExp} - -unary-functional.class = inverse | ident | domain | codomain | image | ln | log | moment -ContExp |= unary-functional.class - - -inverse = element inverse { CommonAtt, DefEncAtt, empty} -ident = element ident { CommonAtt, DefEncAtt, empty} -domain = element domain { CommonAtt, DefEncAtt, empty} -codomain = element codomain { CommonAtt, DefEncAtt, empty} -image = element image { CommonAtt, DefEncAtt, empty} -ln = element ln { CommonAtt, DefEncAtt, empty} -log = element log { CommonAtt, DefEncAtt, empty} -moment = element moment { CommonAtt, DefEncAtt, empty} - -lambda.class = lambda -ContExp |= lambda.class - - -lambda = element lambda { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp} - -nary-functional.class = compose -ContExp |= nary-functional.class - - -compose = element compose { CommonAtt, DefEncAtt, empty} - -binary-arith.class = quotient | divide | minus | power | rem | root -ContExp |= binary-arith.class - - -quotient = element quotient { CommonAtt, DefEncAtt, empty} -divide = element divide { CommonAtt, DefEncAtt, empty} -minus = element minus { CommonAtt, DefEncAtt, empty} -power = element power { CommonAtt, DefEncAtt, empty} -rem = element rem { CommonAtt, DefEncAtt, empty} -root = element root { CommonAtt, DefEncAtt, empty} - -unary-arith.class = factorial | minus | root | abs | conjugate | arg | real | imaginary | floor | ceiling | exp -ContExp |= unary-arith.class - - -factorial = element factorial { CommonAtt, DefEncAtt, empty} -abs = element abs { CommonAtt, DefEncAtt, empty} -conjugate = element conjugate { CommonAtt, DefEncAtt, empty} -arg = element arg { CommonAtt, DefEncAtt, empty} -real = element real { CommonAtt, DefEncAtt, empty} -imaginary = element imaginary { CommonAtt, DefEncAtt, empty} -floor = element floor { CommonAtt, DefEncAtt, empty} -ceiling = element ceiling { CommonAtt, DefEncAtt, empty} -exp = element exp { CommonAtt, DefEncAtt, empty} - -nary-minmax.class = max | min -ContExp |= nary-minmax.class - - -max = element max { CommonAtt, DefEncAtt, empty} -min = element min { CommonAtt, DefEncAtt, empty} - -nary-arith.class = plus | times | gcd | lcm -ContExp |= nary-arith.class - - -plus = element plus { CommonAtt, DefEncAtt, empty} -times = element times { CommonAtt, DefEncAtt, empty} -gcd = element gcd { CommonAtt, DefEncAtt, empty} -lcm = element lcm { CommonAtt, DefEncAtt, empty} - -nary-logical.class = and | or | xor -ContExp |= nary-logical.class - - -and = element and { CommonAtt, DefEncAtt, empty} -or = element or { CommonAtt, DefEncAtt, empty} -xor = element xor { CommonAtt, DefEncAtt, empty} - -unary-logical.class = not -ContExp |= unary-logical.class - - -not = element not { CommonAtt, DefEncAtt, empty} - -binary-logical.class = implies | equivalent -ContExp |= binary-logical.class - - -implies = element implies { CommonAtt, DefEncAtt, empty} -equivalent = element equivalent { CommonAtt, DefEncAtt, empty} - -quantifier.class = forall | exists -ContExp |= quantifier.class - - -forall = element forall { CommonAtt, DefEncAtt, empty} -exists = element exists { CommonAtt, DefEncAtt, empty} - -nary-reln.class = eq | gt | lt | geq | leq -ContExp |= nary-reln.class - - -eq = element eq { CommonAtt, DefEncAtt, empty} -gt = element gt { CommonAtt, DefEncAtt, empty} -lt = element lt { CommonAtt, DefEncAtt, empty} -geq = element geq { CommonAtt, DefEncAtt, empty} -leq = element leq { CommonAtt, DefEncAtt, empty} - -binary-reln.class = neq | approx | factorof | tendsto -ContExp |= binary-reln.class - - -neq = element neq { CommonAtt, DefEncAtt, empty} -approx = element approx { CommonAtt, DefEncAtt, empty} -factorof = element factorof { CommonAtt, DefEncAtt, empty} -tendsto = element tendsto { CommonAtt, DefEncAtt, type?, empty} - -int.class = int -ContExp |= int.class - - -int = element int { CommonAtt, DefEncAtt, empty} - -Differential-Operator.class = diff -ContExp |= Differential-Operator.class - - -diff = element diff { CommonAtt, DefEncAtt, empty} - -partialdiff.class = partialdiff -ContExp |= partialdiff.class - - -partialdiff = element partialdiff { CommonAtt, DefEncAtt, empty} - -unary-veccalc.class = divergence | grad | curl | laplacian -ContExp |= unary-veccalc.class - - -divergence = element divergence { CommonAtt, DefEncAtt, empty} -grad = element grad { CommonAtt, DefEncAtt, empty} -curl = element curl { CommonAtt, DefEncAtt, empty} -laplacian = element laplacian { CommonAtt, DefEncAtt, empty} - -nary-setlist-constructor.class = set | \list -ContExp |= nary-setlist-constructor.class - - -set = element set { CommonAtt, DefEncAtt, type?, BvarQ*, DomainQ*, ContExp*} -\list = element \list { CommonAtt, DefEncAtt, order?, BvarQ*, DomainQ*, ContExp*} - -nary-set.class = union | intersect | cartesianproduct -ContExp |= nary-set.class - - -union = element union { CommonAtt, DefEncAtt, empty} -intersect = element intersect { CommonAtt, DefEncAtt, empty} -cartesianproduct = element cartesianproduct { CommonAtt, DefEncAtt, empty} - -binary-set.class = in | notin | notsubset | notprsubset | setdiff -ContExp |= binary-set.class - - -in = element in { CommonAtt, DefEncAtt, empty} -notin = element notin { CommonAtt, DefEncAtt, empty} -notsubset = element notsubset { CommonAtt, DefEncAtt, empty} -notprsubset = element notprsubset { CommonAtt, DefEncAtt, empty} -setdiff = element setdiff { CommonAtt, DefEncAtt, empty} - -nary-set-reln.class = subset | prsubset -ContExp |= nary-set-reln.class - - -subset = element subset { CommonAtt, DefEncAtt, empty} -prsubset = element prsubset { CommonAtt, DefEncAtt, empty} - -unary-set.class = card -ContExp |= unary-set.class - - -card = element card { CommonAtt, DefEncAtt, empty} - -sum.class = sum -ContExp |= sum.class - - -sum = element sum { CommonAtt, DefEncAtt, empty} - -product.class = product -ContExp |= product.class - - -product = element product { CommonAtt, DefEncAtt, empty} - -limit.class = limit -ContExp |= limit.class - - -limit = element limit { CommonAtt, DefEncAtt, empty} - -unary-elementary.class = sin | cos | tan | sec | csc | cot | sinh | cosh | tanh | sech | csch | coth | arcsin | arccos | arctan | arccosh | arccot | arccoth | arccsc | arccsch | arcsec | arcsech | arcsinh | arctanh -ContExp |= unary-elementary.class - - -sin = element sin { CommonAtt, DefEncAtt, empty} -cos = element cos { CommonAtt, DefEncAtt, empty} -tan = element tan { CommonAtt, DefEncAtt, empty} -sec = element sec { CommonAtt, DefEncAtt, empty} -csc = element csc { CommonAtt, DefEncAtt, empty} -cot = element cot { CommonAtt, DefEncAtt, empty} -sinh = element sinh { CommonAtt, DefEncAtt, empty} -cosh = element cosh { CommonAtt, DefEncAtt, empty} -tanh = element tanh { CommonAtt, DefEncAtt, empty} -sech = element sech { CommonAtt, DefEncAtt, empty} -csch = element csch { CommonAtt, DefEncAtt, empty} -coth = element coth { CommonAtt, DefEncAtt, empty} -arcsin = element arcsin { CommonAtt, DefEncAtt, empty} -arccos = element arccos { CommonAtt, DefEncAtt, empty} -arctan = element arctan { CommonAtt, DefEncAtt, empty} -arccosh = element arccosh { CommonAtt, DefEncAtt, empty} -arccot = element arccot { CommonAtt, DefEncAtt, empty} -arccoth = element arccoth { CommonAtt, DefEncAtt, empty} -arccsc = element arccsc { CommonAtt, DefEncAtt, empty} -arccsch = element arccsch { CommonAtt, DefEncAtt, empty} -arcsec = element arcsec { CommonAtt, DefEncAtt, empty} -arcsech = element arcsech { CommonAtt, DefEncAtt, empty} -arcsinh = element arcsinh { CommonAtt, DefEncAtt, empty} -arctanh = element arctanh { CommonAtt, DefEncAtt, empty} - -nary-stats.class = mean | sdev | variance | median | mode -ContExp |= nary-stats.class - - -mean = element mean { CommonAtt, DefEncAtt, empty} -sdev = element sdev { CommonAtt, DefEncAtt, empty} -variance = element variance { CommonAtt, DefEncAtt, empty} -median = element median { CommonAtt, DefEncAtt, empty} -mode = element mode { CommonAtt, DefEncAtt, empty} - -nary-constructor.class = vector | matrix | matrixrow -ContExp |= nary-constructor.class - - -vector = element vector { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*} -matrix = element matrix { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*} -matrixrow = element matrixrow { CommonAtt, DefEncAtt, BvarQ, DomainQ, ContExp*} - -unary-linalg.class = determinant | transpose -ContExp |= unary-linalg.class - - -determinant = element determinant { CommonAtt, DefEncAtt, empty} -transpose = element transpose { CommonAtt, DefEncAtt, empty} - -nary-linalg.class = selector -ContExp |= nary-linalg.class - - -selector = element selector { CommonAtt, DefEncAtt, empty} - -binary-linalg.class = vectorproduct | scalarproduct | outerproduct -ContExp |= binary-linalg.class - - -vectorproduct = element vectorproduct { CommonAtt, DefEncAtt, empty} -scalarproduct = element scalarproduct { CommonAtt, DefEncAtt, empty} -outerproduct = element outerproduct { CommonAtt, DefEncAtt, empty} - -constant-set.class = integers | reals | rationals | naturalnumbers | complexes | primes | emptyset -ContExp |= constant-set.class - - -integers = element integers { CommonAtt, DefEncAtt, empty} -reals = element reals { CommonAtt, DefEncAtt, empty} -rationals = element rationals { CommonAtt, DefEncAtt, empty} -naturalnumbers = element naturalnumbers { CommonAtt, DefEncAtt, empty} -complexes = element complexes { CommonAtt, DefEncAtt, empty} -primes = element primes { CommonAtt, DefEncAtt, empty} -emptyset = element emptyset { CommonAtt, DefEncAtt, empty} - -constant-arith.class = exponentiale | imaginaryi | notanumber | true | false | pi | eulergamma | infinity -ContExp |= constant-arith.class - - -exponentiale = element exponentiale { CommonAtt, DefEncAtt, empty} -imaginaryi = element imaginaryi { CommonAtt, DefEncAtt, empty} -notanumber = element notanumber { CommonAtt, DefEncAtt, empty} -true = element true { CommonAtt, DefEncAtt, empty} -false = element false { CommonAtt, DefEncAtt, empty} -pi = element pi { CommonAtt, DefEncAtt, empty} -eulergamma = element eulergamma { CommonAtt, DefEncAtt, empty} -infinity = element infinity { CommonAtt, DefEncAtt, empty}
\ No newline at end of file diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-presentation.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-presentation.rnc deleted file mode 100644 index 5fa56e7b3d9..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-presentation.rnc +++ /dev/null @@ -1,536 +0,0 @@ - -# This is the Mathematical Markup Language (MathML) 3.0, an XML -# application for describing mathematical notation and capturing -# both its structure and content. -# -# Copyright 1998-2010 W3C (MIT, ERCIM, Keio) -# -# Use and distribution of this code are permitted under the terms -# W3C Software Notice and License -# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231 - -default namespace m = "http://www.w3.org/1998/Math/MathML" - -MathExpression |= PresentationExpression - -ImpliedMrow = MathExpression* - -TableRowExpression = mtr|mlabeledtr - -TableCellExpression = mtd - -MstackExpression = MathExpression|mscarries|msline|msrow|msgroup - -MsrowExpression = MathExpression|none - -MultiScriptExpression = (MathExpression|none),(MathExpression|none) - -mpadded-length = xsd:string { - pattern = '\s*([\+\-]?[0-9]*(\.[0-9]*)?\s*((%?\s*(height|depth|width)?)|e[mx]|in|cm|mm|p[xtc]|((negative)?((very){0,2}thi(n|ck)|medium)mathspace)))\s*' } - -linestyle = "none" | "solid" | "dashed" - -verticalalign = - "top" | - "bottom" | - "center" | - "baseline" | - "axis" - -columnalignstyle = "left" | "center" | "right" - -notationstyle = - "longdiv" | - "actuarial" | - "radical" | - "box" | - "roundedbox" | - "circle" | - "left" | - "right" | - "top" | - "bottom" | - "updiagonalstrike" | - "downdiagonalstrike" | - "verticalstrike" | - "horizontalstrike" | - "madruwb" - -idref = text -unsigned-integer = xsd:unsignedLong -integer = xsd:integer -number = xsd:decimal - -character = xsd:string { - pattern = '\s*\S\s*'} - -color = xsd:string { - pattern = '\s*((#[0-9a-fA-F]{3}([0-9a-fA-F]{3})?)|[aA][qQ][uU][aA]|[bB][lL][aA][cC][kK]|[bB][lL][uU][eE]|[fF][uU][cC][hH][sS][iI][aA]|[gG][rR][aA][yY]|[gG][rR][eE][eE][nN]|[lL][iI][mM][eE]|[mM][aA][rR][oO][oO][nN]|[nN][aA][vV][yY]|[oO][lL][iI][vV][eE]|[pP][uU][rR][pP][lL][eE]|[rR][eE][dD]|[sS][iI][lL][vV][eE][rR]|[tT][eE][aA][lL]|[wW][hH][iI][tT][eE]|[yY][eE][lL][lL][oO][wW])\s*'} - - -group-alignment = "left" | "center" | "right" | "decimalpoint" -group-alignment-list = list {group-alignment+} -group-alignment-list-list = xsd:string { - pattern = '(\s*\{\s*(left|center|right|decimalpoint)(\s+(left|center|right|decimalpoint))*\})*\s*' } -positive-integer = xsd:positiveInteger - - -TokenExpression = mi|mn|mo|mtext|mspace|ms - -token.content = mglyph|malignmark|text - -mi = element mi {mi.attributes, token.content*} -mi.attributes = - CommonAtt, - CommonPresAtt, - TokenAtt - - -mn = element mn {mn.attributes, token.content*} -mn.attributes = - CommonAtt, - CommonPresAtt, - TokenAtt - - -mo = element mo {mo.attributes, token.content*} -mo.attributes = - CommonAtt, - CommonPresAtt, - TokenAtt, - attribute form {"prefix" | "infix" | "postfix"}?, - attribute fence {"true" | "false"}?, - attribute separator {"true" | "false"}?, - attribute lspace {length}?, - attribute rspace {length}?, - attribute stretchy {"true" | "false"}?, - attribute symmetric {"true" | "false"}?, - attribute maxsize {length | "infinity"}?, - attribute minsize {length}?, - attribute largeop {"true" | "false"}?, - attribute movablelimits {"true" | "false"}?, - attribute accent {"true" | "false"}?, - attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak"}?, - attribute lineleading {length}?, - attribute linebreakstyle {"before" | "after" | "duplicate" | "infixlinebreakstyle"}?, - attribute linebreakmultchar {text}?, - attribute indentalign {"left" | "center" | "right" | "auto" | "id"}?, - attribute indentshift {length}?, - attribute indenttarget {idref}?, - attribute indentalignfirst {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?, - attribute indentshiftfirst {length | "indentshift"}?, - attribute indentalignlast {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?, - attribute indentshiftlast {length | "indentshift"}? - - -mtext = element mtext {mtext.attributes, token.content*} -mtext.attributes = - CommonAtt, - CommonPresAtt, - TokenAtt - - -mspace = element mspace {mspace.attributes, empty} -mspace.attributes = - CommonAtt, - CommonPresAtt, - TokenAtt, - attribute width {length}?, - attribute height {length}?, - attribute depth {length}?, - attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak" | "indentingnewline"}? - - -ms = element ms {ms.attributes, token.content*} -ms.attributes = - CommonAtt, - CommonPresAtt, - TokenAtt, - attribute lquote {text}?, - attribute rquote {text}? - - -mglyph = element mglyph {mglyph.attributes,mglyph.deprecatedattributes,empty} -mglyph.attributes = - CommonAtt, CommonPresAtt, - attribute src {xsd:anyURI}?, - attribute width {length}?, - attribute height {length}?, - attribute valign {length}?, - attribute alt {text}? -mglyph.deprecatedattributes = - attribute index {integer}?, - attribute mathvariant {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" | "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" | "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?, - attribute mathsize {"small" | "normal" | "big" | length}?, - DeprecatedTokenAtt - -msline = element msline {msline.attributes,empty} -msline.attributes = - CommonAtt, CommonPresAtt, - attribute position {integer}?, - attribute length {unsigned-integer}?, - attribute leftoverhang {length}?, - attribute rightoverhang {length}?, - attribute mslinethickness {length | "thin" | "medium" | "thick"}? - -none = element none {none.attributes,empty} -none.attributes = - CommonAtt, - CommonPresAtt - -mprescripts = element mprescripts {mprescripts.attributes,empty} -mprescripts.attributes = - CommonAtt, - CommonPresAtt - - -CommonPresAtt = - attribute mathcolor {color}?, - attribute mathbackground {color | "transparent"}? - -TokenAtt = - attribute mathvariant {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" | "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" | "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?, - attribute mathsize {"small" | "normal" | "big" | length}?, - attribute dir {"ltr" | "rtl"}?, - DeprecatedTokenAtt - -DeprecatedTokenAtt = - attribute fontfamily {text}?, - attribute fontweight {"normal" | "bold"}?, - attribute fontstyle {"normal" | "italic"}?, - attribute fontsize {length}?, - attribute color {color}?, - attribute background {color | "transparent"}? - -MalignExpression = maligngroup|malignmark - -malignmark = element malignmark {malignmark.attributes, empty} -malignmark.attributes = - CommonAtt, CommonPresAtt, - attribute edge {"left" | "right"}? - - -maligngroup = element maligngroup {maligngroup.attributes, empty} -maligngroup.attributes = - CommonAtt, CommonPresAtt, - attribute groupalign {"left" | "center" | "right" | "decimalpoint"}? - - -PresentationExpression = TokenExpression|MalignExpression| - mrow|mfrac|msqrt|mroot|mstyle|merror|mpadded|mphantom| - mfenced|menclose|msub|msup|msubsup|munder|mover|munderover| - mmultiscripts|mtable|mstack|mlongdiv|maction - - - -mrow = element mrow {mrow.attributes, MathExpression*} -mrow.attributes = - CommonAtt, CommonPresAtt, - attribute dir {"ltr" | "rtl"}? - - -mfrac = element mfrac {mfrac.attributes, MathExpression, MathExpression} -mfrac.attributes = - CommonAtt, CommonPresAtt, - attribute linethickness {length | "thin" | "medium" | "thick"}?, - attribute numalign {"left" | "center" | "right"}?, - attribute denomalign {"left" | "center" | "right"}?, - attribute bevelled {"true" | "false"}? - - -msqrt = element msqrt {msqrt.attributes, ImpliedMrow} -msqrt.attributes = - CommonAtt, CommonPresAtt - - -mroot = element mroot {mroot.attributes, MathExpression, MathExpression} -mroot.attributes = - CommonAtt, CommonPresAtt - - -mstyle = element mstyle {mstyle.attributes, ImpliedMrow} -mstyle.attributes = - CommonAtt, CommonPresAtt, - mstyle.specificattributes, - mstyle.generalattributes, - mstyle.deprecatedattributes - -mstyle.specificattributes = - attribute scriptlevel {integer}?, - attribute displaystyle {"true" | "false"}?, - attribute scriptsizemultiplier {number}?, - attribute scriptminsize {length}?, - attribute infixlinebreakstyle {"before" | "after" | "duplicate"}?, - attribute decimalpoint {character}? - -mstyle.generalattributes = - attribute accent {"true" | "false"}?, - attribute accentunder {"true" | "false"}?, - attribute align {"left" | "right" | "center"}?, - attribute alignmentscope {list {("true" | "false") +}}?, - attribute bevelled {"true" | "false"}?, - attribute charalign {"left" | "center" | "right"}?, - attribute charspacing {length | "loose" | "medium" | "tight"}?, - attribute close {text}?, - attribute columnalign {list {columnalignstyle+} }?, - attribute columnlines {list {linestyle +}}?, - attribute columnspacing {list {(length) +}}?, - attribute columnspan {positive-integer}?, - attribute columnwidth {list {("auto" | length | "fit") +}}?, - attribute crossout {list {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?, - attribute denomalign {"left" | "center" | "right"}?, - attribute depth {length}?, - attribute dir {"ltr" | "rtl"}?, - attribute edge {"left" | "right"}?, - attribute equalcolumns {"true" | "false"}?, - attribute equalrows {"true" | "false"}?, - attribute fence {"true" | "false"}?, - attribute form {"prefix" | "infix" | "postfix"}?, - attribute frame {linestyle}?, - attribute framespacing {list {length, length}}?, - attribute groupalign {group-alignment-list-list}?, - attribute height {length}?, - attribute indentalign {"left" | "center" | "right" | "auto" | "id"}?, - attribute indentalignfirst {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?, - attribute indentalignlast {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?, - attribute indentshift {length}?, - attribute indentshiftfirst {length | "indentshift"}?, - attribute indentshiftlast {length | "indentshift"}?, - attribute indenttarget {idref}?, - attribute largeop {"true" | "false"}?, - attribute leftoverhang {length}?, - attribute length {unsigned-integer}?, - attribute linebreak {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak"}?, - attribute linebreakmultchar {text}?, - attribute linebreakstyle {"before" | "after" | "duplicate" | "infixlinebreakstyle"}?, - attribute lineleading {length}?, - attribute linethickness {length | "thin" | "medium" | "thick"}?, - attribute location {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?, - attribute longdivstyle {"lefttop" | "stackedrightright" | "mediumstackedrightright" | "shortstackedrightright" | "righttop" | "left/\right" | "left)(right" | ":right=right" | "stackedleftleft" | "stackedleftlinetop"}?, - attribute lquote {text}?, - attribute lspace {length}?, - attribute mathsize {"small" | "normal" | "big" | length}?, - attribute mathvariant {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" | "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" | "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?, - attribute maxsize {length | "infinity"}?, - attribute minlabelspacing {length}?, - attribute minsize {length}?, - attribute movablelimits {"true" | "false"}?, - attribute mslinethickness {length | "thin" | "medium" | "thick"}?, - attribute notation {text}?, - attribute numalign {"left" | "center" | "right"}?, - attribute open {text}?, - attribute position {integer}?, - attribute rightoverhang {length}?, - attribute rowalign {list {verticalalign+} }?, - attribute rowlines {list {linestyle +}}?, - attribute rowspacing {list {(length) +}}?, - attribute rowspan {positive-integer}?, - attribute rquote {text}?, - attribute rspace {length}?, - attribute selection {positive-integer}?, - attribute separator {"true" | "false"}?, - attribute separators {text}?, - attribute shift {integer}?, - attribute side {"left" | "right" | "leftoverlap" | "rightoverlap"}?, - attribute stackalign {"left" | "center" | "right" | "decimalpoint"}?, - attribute stretchy {"true" | "false"}?, - attribute subscriptshift {length}?, - attribute superscriptshift {length}?, - attribute symmetric {"true" | "false"}?, - attribute valign {length}?, - attribute width {length}? - -mstyle.deprecatedattributes = - DeprecatedTokenAtt, - attribute veryverythinmathspace {length}?, - attribute verythinmathspace {length}?, - attribute thinmathspace {length}?, - attribute mediummathspace {length}?, - attribute thickmathspace {length}?, - attribute verythickmathspace {length}?, - attribute veryverythickmathspace {length}? - -math.attributes &= CommonPresAtt -math.attributes &= mstyle.specificattributes -math.attributes &= mstyle.generalattributes - - - - -merror = element merror {merror.attributes, ImpliedMrow} -merror.attributes = - CommonAtt, CommonPresAtt - - -mpadded = element mpadded {mpadded.attributes, ImpliedMrow} -mpadded.attributes = - CommonAtt, CommonPresAtt, - attribute height {mpadded-length}?, - attribute depth {mpadded-length}?, - attribute width {mpadded-length}?, - attribute lspace {mpadded-length}?, - attribute voffset {mpadded-length}? - - -mphantom = element mphantom {mphantom.attributes, ImpliedMrow} -mphantom.attributes = - CommonAtt, CommonPresAtt - - -mfenced = element mfenced {mfenced.attributes, MathExpression*} -mfenced.attributes = - CommonAtt, CommonPresAtt, - attribute open {text}?, - attribute close {text}?, - attribute separators {text}? - - -menclose = element menclose {menclose.attributes, ImpliedMrow} -menclose.attributes = - CommonAtt, CommonPresAtt, - attribute notation {text}? - - -msub = element msub {msub.attributes, MathExpression, MathExpression} -msub.attributes = - CommonAtt, CommonPresAtt, - attribute subscriptshift {length}? - - -msup = element msup {msup.attributes, MathExpression, MathExpression} -msup.attributes = - CommonAtt, CommonPresAtt, - attribute superscriptshift {length}? - - -msubsup = element msubsup {msubsup.attributes, MathExpression, MathExpression, MathExpression} -msubsup.attributes = - CommonAtt, CommonPresAtt, - attribute subscriptshift {length}?, - attribute superscriptshift {length}? - - -munder = element munder {munder.attributes, MathExpression, MathExpression} -munder.attributes = - CommonAtt, CommonPresAtt, - attribute accentunder {"true" | "false"}?, - attribute align {"left" | "right" | "center"}? - - -mover = element mover {mover.attributes, MathExpression, MathExpression} -mover.attributes = - CommonAtt, CommonPresAtt, - attribute accent {"true" | "false"}?, - attribute align {"left" | "right" | "center"}? - - -munderover = element munderover {munderover.attributes, MathExpression, MathExpression, MathExpression} -munderover.attributes = - CommonAtt, CommonPresAtt, - attribute accent {"true" | "false"}?, - attribute accentunder {"true" | "false"}?, - attribute align {"left" | "right" | "center"}? - - -mmultiscripts = element mmultiscripts {mmultiscripts.attributes, MathExpression,MultiScriptExpression*,(mprescripts,MultiScriptExpression*)?} -mmultiscripts.attributes = - msubsup.attributes - - -mtable = element mtable {mtable.attributes, TableRowExpression*} -mtable.attributes = - CommonAtt, CommonPresAtt, - attribute align {xsd:string { - pattern ='\s*(top|bottom|center|baseline|axis)\s*[0-9]*'}}?, - attribute rowalign {list {verticalalign+} }?, - attribute columnalign {list {columnalignstyle+} }?, - attribute groupalign {group-alignment-list-list}?, - attribute alignmentscope {list {("true" | "false") +}}?, - attribute columnwidth {list {("auto" | length | "fit") +}}?, - attribute width {"auto" | length}?, - attribute rowspacing {list {(length) +}}?, - attribute columnspacing {list {(length) +}}?, - attribute rowlines {list {linestyle +}}?, - attribute columnlines {list {linestyle +}}?, - attribute frame {linestyle}?, - attribute framespacing {list {length, length}}?, - attribute equalrows {"true" | "false"}?, - attribute equalcolumns {"true" | "false"}?, - attribute displaystyle {"true" | "false"}?, - attribute side {"left" | "right" | "leftoverlap" | "rightoverlap"}?, - attribute minlabelspacing {length}? - - -mlabeledtr = element mlabeledtr {mlabeledtr.attributes, TableCellExpression+} -mlabeledtr.attributes = - mtr.attributes - - -mtr = element mtr {mtr.attributes, TableCellExpression*} -mtr.attributes = - CommonAtt, CommonPresAtt, - attribute rowalign {"top" | "bottom" | "center" | "baseline" | "axis"}?, - attribute columnalign {list {columnalignstyle+} }?, - attribute groupalign {group-alignment-list-list}? - - -mtd = element mtd {mtd.attributes, ImpliedMrow} -mtd.attributes = - CommonAtt, CommonPresAtt, - attribute rowspan {positive-integer}?, - attribute columnspan {positive-integer}?, - attribute rowalign {"top" | "bottom" | "center" | "baseline" | "axis"}?, - attribute columnalign {columnalignstyle}?, - attribute groupalign {group-alignment-list}? - - -mstack = element mstack {mstack.attributes, MstackExpression*} -mstack.attributes = - CommonAtt, CommonPresAtt, - attribute align {xsd:string { - pattern ='\s*(top|bottom|center|baseline|axis)\s*[0-9]*'}}?, - attribute stackalign {"left" | "center" | "right" | "decimalpoint"}?, - attribute charalign {"left" | "center" | "right"}?, - attribute charspacing {length | "loose" | "medium" | "tight"}? - - -mlongdiv = element mlongdiv {mlongdiv.attributes, MstackExpression,MstackExpression,MstackExpression+} -mlongdiv.attributes = - msgroup.attributes, - attribute longdivstyle {"lefttop" | "stackedrightright" | "mediumstackedrightright" | "shortstackedrightright" | "righttop" | "left/\right" | "left)(right" | ":right=right" | "stackedleftleft" | "stackedleftlinetop"}? - - -msgroup = element msgroup {msgroup.attributes, MstackExpression*} -msgroup.attributes = - CommonAtt, CommonPresAtt, - attribute position {integer}?, - attribute shift {integer}? - - -msrow = element msrow {msrow.attributes, MsrowExpression*} -msrow.attributes = - CommonAtt, CommonPresAtt, - attribute position {integer}? - - -mscarries = element mscarries {mscarries.attributes, (MsrowExpression|mscarry)*} -mscarries.attributes = - CommonAtt, CommonPresAtt, - attribute position {integer}?, - attribute location {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?, - attribute crossout {list {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?, - attribute scriptsizemultiplier {number}? - - -mscarry = element mscarry {mscarry.attributes, MsrowExpression*} -mscarry.attributes = - CommonAtt, CommonPresAtt, - attribute location {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?, - attribute crossout {list {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}? - - -maction = element maction {maction.attributes, MathExpression+} -maction.attributes = - CommonAtt, CommonPresAtt, - attribute actiontype {text}?, - attribute selection {positive-integer}? diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict-content.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict-content.rnc deleted file mode 100644 index e854b1cd13a..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict-content.rnc +++ /dev/null @@ -1,60 +0,0 @@ -# This is the Mathematical Markup Language (MathML) 3.0, an XML -# application for describing mathematical notation and capturing -# both its structure and content. -# -# Copyright 1998-2009 W3C (MIT, ERCIM, Keio) -# -# Use and distribution of this code are permitted under the terms -# W3C Software Notice and License -# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231 - - -default namespace m = "http://www.w3.org/1998/Math/MathML" - -ContExp = semantics-contexp | cn | ci | csymbol | apply | bind | share | cerror | cbytes | cs - -cn = element cn {cn.attributes,cn.content} -cn.content = text -cn.attributes = attribute type {"integer" | "real" | "double" | "hexdouble"} - -semantics-ci = element semantics {semantics.attributes,(ci|semantics-ci), - (annotation|annotation-xml)*} - -semantics-contexp = element semantics {semantics.attributes,ContExp, - (annotation|annotation-xml)*} - -ci = element ci {ci.attributes, ci.content} -ci.attributes = CommonAtt, ci.type? -ci.type = attribute type {"integer" | "rational" | "real" | "complex" | "complex-polar" | "complex-cartesian" | "constant" | "function" | "vector" | "list" | "set" | "matrix"} -ci.content = text - - -csymbol = element csymbol {csymbol.attributes,csymbol.content} - -SymbolName = xsd:NCName -csymbol.attributes = CommonAtt, cd -csymbol.content = SymbolName - -BvarQ = bvar* -bvar = element bvar { ci | semantics-ci} - -apply = element apply {CommonAtt,apply.content} -apply.content = ContExp+ - - -bind = element bind {CommonAtt,bind.content} -bind.content = ContExp,bvar*,ContExp - -share = element share {CommonAtt, src, empty} - -cerror = element cerror {cerror.attributes, csymbol, ContExp*} -cerror.attributes = CommonAtt - -cbytes = element cbytes {cbytes.attributes, base64} -cbytes.attributes = CommonAtt -base64 = xsd:base64Binary - -cs = element cs {cs.attributes, text} -cs.attributes = CommonAtt - -MathExpression |= ContExp diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict.rnc deleted file mode 100644 index 31d2ad40051..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3-strict.rnc +++ /dev/null @@ -1,80 +0,0 @@ -# This is the Mathematical Markup Language (MathML) 3.0, an XML -# application for describing mathematical notation and capturing -# both its structure and content. -# -# Copyright 1998-2008 W3C (MIT, ERCIM, Keio) -# -# Use and distribution of this code are permitted under the terms -# W3C Software Notice and License -# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231 -# -# -# Revision: $Id: mathml3-strict.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# -# Update to MathML3 and Relax NG: David Carlisle and Michael Kohlhase -# -# This is the RelaxNG schema module for the strict content part of MathML. - -default namespace m = "http://www.w3.org/1998/Math/MathML" - -include "mathml3-common.rnc" - -math.content |= ContExp - -#ednote(rnc:opel-content) What is the content of a operator element, currently all text? -opel.content = text - -# we want to extend this in pragmatic CMathML, so we introduce abbrevs here. -#ednote(rnc:cn-content) What is the content of a cn? -cn.content = text |(cn,cn) -cn.type.vals = "integer"|"real"|"double" - -cn = element cn {attribute base {text}?, - attribute type {cn.type.vals}?, - Definition.attrib, - MathML.Common.attrib, - (cn.content)*} - -ci = element ci {attribute type {xsd:string}?, - attribute nargs {xsd:string}?, - attribute occurrence {xsd:string}?, - Definition.attrib, - MathML.Common.attrib, - opel.content, - name.attrib?} - -cdname.attrib = attribute cd {xsd:NCName} - -csymbol = element csymbol {MathML.Common.attrib, - Definition.attrib,cdname.attrib?,cdbase.attrib?, - opel.content} - -# the content of the apply element, leave it empty and extend it later -apply = element apply {MathML.Common.attrib,cdbase.attrib?,apply.content} -apply-head = apply|bind|ci|csymbol|semantics-apply -apply.content = apply-head,ContExp* -semantics-apply = element semantics {semantics.attribs,apply-head, semantics-annotation*} - -qualifier = notAllowed - -# the content of the bind element, leave it empty and extend it later -bind = element bind {MathML.Common.attrib,cdbase.attrib?,bind.content} -bind-head = apply|csymbol|semantics-bind -bind.content = bind-head,bvar*,qualifier?,ContExp -semantics-bind = element semantics {semantics.attribs,bind-head, semantics-annotation*} - -bvar = element bvar {MathML.Common.attrib,cdbase.attrib?,bvar-head} -bvar-head = ci|semantics-bvar -semantics-bvar = element semantics {semantics.attribs,bvar-head, semantics-annotation*} - -share = element share {MathML.Common.attrib,attribute href {xsd:anyURI}} - -# the content of the cerror element, leave it empty and extend it later -cerror = element cerror {MathML.Common.attrib,cdbase.attrib?,cerror.content} -cerror-head = csymbol|apply|semantics-cerror -cerror.content = cerror-head,ContExp* -semantics-cerror = element semantics {semantics.attribs,cerror-head, semantics-annotation*} - -semantics-cmml = element semantics {semantics.attribs,ContExp, semantics-annotation*} - -ContExp = cn| ci | csymbol | apply | bind | share | cerror | semantics-cmml diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3.rnc deleted file mode 100644 index 317db3dd468..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mathml3.rnc +++ /dev/null @@ -1,21 +0,0 @@ -# This is the Mathematical Markup Language (MathML) 3.0, an XML -# application for describing mathematical notation and capturing -# both its structure and content. -# -# Copyright 1998-2009 W3C (MIT, ERCIM, Keio) -# -# Use and distribution of this code are permitted under the terms -# W3C Software Notice and License -# http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231 - - -default namespace m = "http://www.w3.org/1998/Math/MathML" - -## Content MathML -include "mathml3-content.rnc" - -## Presentation MathML -include "mathml3-presentation.rnc" - -## math and semantics common to both Content and Presentation -include "mathml3-common.rnc" diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc deleted file mode 100644 index 745ee82d7ce..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/mocksoap.rnc +++ /dev/null @@ -1,39 +0,0 @@ -# A RelaxNG schema for Mock Soap with OMDoc content (OMDoc 1.3) -# $Id: mocksoap.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/mocksoap.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -namespace omdoc = "http://omdoc.org/ns" -namespace env = "http://www.w3.org/2003/05/soap-envelope" -namespace ws = "http://www.mathweb.org/ws-fictional" - -start = Envelope - -include "omdoc-common.rnc" -include "omdocmobj.rnc" -include "omdocdoc.rnc" -include "omdocdc.rnc" -include "omdoccc.rnc" -include "omdocmtxt.rnc" -include "omdocst.rnc" -include "omdocpf.rnc" - - -Envelope = element env:Envelope {Body} -Body = element env:Body {(prover|prove|proof|theory)*} -prover = element ws:prover {attribute env:encodingStyle {xsd:anyURI}?, - name?,version?,URL?,uptime?,sysinfo?} -name = element ws:name {text} -version = element ws:version {text} -URL = element ws:URL {text} -uptime = element ws:uptime {text} -sysinfo = element ws:sysinfo {ostype?,mips?} -ostype = element ws:ostype {text} -mips = element ws:mips {text} - -prove = element ws:prove {attribute env:encodingStyle {xsd:anyURI}?, - (assertion|replyWith|timeout)*} -replyWith = element ws:replyWith {state*} -timeout = element ws:timeout {text} -state = element ws:state {text} diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc deleted file mode 100644 index 2a2b64e4371..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcd2.rnc +++ /dev/null @@ -1,59 +0,0 @@ -# ********************************************* -# -# Relax NG Schema for OpenMath CD -# -# ********************************************* - -default namespace = "http://www.openmath.org/OpenMathCD" - -include "openmath2.rnc" - -start = CD - -CDComment = element CDComment { text } -CDName = element CDName { xsd:NCName } -CDUses = element CDUses { CDName* } -CDURL = element CDURL { xsd:anyURI } -CDBase = element CDBase { xsd:anyURI } -text-or-om = (text | OMOBJ)* -CDReviewDate = element CDReviewDate { xsd:date } -CDDate = element CDDate { xsd:date } -CDVersion = element CDVersion { xsd:nonNegativeInteger } -CDRevision = element CDRevision { xsd:nonNegativeInteger } -CDStatus = element CDStatus { - "official" | - "experimental" | - "private" | - "obsolete"} -Description = element Description { text } -Name = element Name { xsd:NCName } -Role = element Role { - "binder" | - "attribution" | - "semantic-attribution" | - "error" | - "application" | - "constant" } -CMP = element CMP { text } -FMP = element FMP { - attribute kind {xsd:string}?, - OMOBJ - } -# allow embedded OM -Example = element Example { text-or-om } -CDDefinition = - element CDDefinition { - CDComment*, - (Name & Role? & Description), - (CDComment | Example | FMP | CMP)* - } -CD = - element CD { - (CDComment* & Description? & - CDName & CDURL? & CDBase? & - CDReviewDate? & CDDate & CDStatus & - CDUses? & - CDVersion & CDRevision), - ( CDDefinition,CDComment* )+ - } - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc deleted file mode 100644 index 3b6754e471d..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdgroup2.rnc +++ /dev/null @@ -1,33 +0,0 @@ - -# Schema for OpenMath CD groups - -# info on the CD group itself - -default namespace = "http://www.openmath.org/OpenMathCDG" - -CDGroupName = element CDGroupName { xsd:NCName } -CDGroupVersion = element CDGroupVersion { xsd:nonNegativeInteger } -CDGroupRevision = element CDGroupRevision { xsd:nonNegativeInteger } -CDGroupURL = element CDGroupURL { text } -CDGroupDescription = element CDGroupDescription { text } -# info on the CDs in the group -CDComment = element CDComment { text } -CDGroupMember = - element CDGroupMember { - CDComment?, CDName, CDVersion?, CDURL? - } -CDName = element CDName { xsd:NCName } -CDVersion = element CDVersion { xsd:nonNegativeInteger } -CDURL = element CDURL { text } -# structure of the group -CDGroup = - element CDGroup { - CDGroupName, - CDGroupVersion, - CDGroupRevision?, - CDGroupURL, - CDGroupDescription, - (CDGroupMember | CDComment)* - } -start = CDGroup - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc deleted file mode 100644 index 32aa235cc76..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omcdsig2.rnc +++ /dev/null @@ -1,32 +0,0 @@ -# ********************************************* -# -# Relax NG Schema for OpenMath CD Signatures -# -# ********************************************* - -default namespace = "http://www.openmath.org/OpenMathCDS" - -include "openmath2.rnc" - -start = CDSignatures - -CDSComment = element CDSComment { text } -CDSReviewDate = element CDSReviewDate { text } -CDSStatus = element CDSStatus { - "official" | - "experimental" | - "private" | - "obsolete"} -CDSignatures = - element CDSignatures { - attlist.CDSignatures, - (CDSComment)*, - (CDSReviewDate? & CDSStatus), - (CDSComment | Signature)* - } -attlist.CDSignatures = - attribute cd { xsd:NCName }, - attribute type { xsd:NCName } -Signature = element Signature { attlist.Signature, OMOBJ? } -attlist.Signature = attribute name { text } - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc-common.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc-common.rnc deleted file mode 100644 index eef4f53b04e..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc-common.rnc +++ /dev/null @@ -1,66 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Common attributes -# $Id: omdoc-common.rnc 8958 2011-09-02 06:01:13Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoc-common.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2010 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" -namespace local = "" - -# all the explicitly namespaced attributes, except xml:lang, which -# is handled explicitly -nonlocal.attribs = attribute * - (local:* | xml:*) {xsd:string}* - -# the attributes for CSS and PRES styling -css.attribs = attribute style {xsd:string}? & attribute class {xsd:string}? - -omdocref = xsd:anyURI # an URI reference pointing to an OMDoc fragment -omdocrefs = list {xsd:anyURI*} # a whitespace-separated list of omdocref - -xref.attrib = attribute xref {omdocref} -tref = attribute tref {omdocref} - -# for the moment, we may get regexp at some point. -curie = xsd:string -curies = xsd:string -safecurie = xsd:string - -about.attrib = attribute about {xsd:anyURI|safecurie} -xmlbase.attrib = attribute xml:base {xsd:anyURI} -xmlid.attrib = attribute xml:id {xsd:ID} - -idrest.attribs = css.attribs & nonlocal.attribs & about.attrib? & xmlbase.attrib? - -id.attribs = xmlid.attrib? & idrest.attribs - -toplevel.attribs = id.attribs, attribute generated-from {omdocref}? - -iso639 = "aa" | "ab" | "af" | "am" | "ar" | "as" | -"ay" | "az" | "ba" | "be" | "bg" | "bh" | "bi" | "bn" | "bo" | "br" | "ca" | "co" -| "cs" | "cy" | "da" | "de" | "dz" | "el" | "en" | "eo" | "es" | "et" | "eu" | -"fa" | "fi" | "fj" | "fo" | "fr" | "fy" | "ga" | "gd" | "gl" | "gn" | "gu" | "ha" -| "he" | "hi" | "hr" | "hu" | "hy" | "ia" | "ie" | "ik" | "id" | "is" | "it" | -"iu" | "ja" | "jv" | "ka" | "kk" | "kl" | "km" | "kn" | "ko" | "ks" | "ku" | "ky" -| "la" | "ln" | "lo" | "lt" | "lv" | "mg" | "mi" | "mk" | "ml" | "mn" | "mo" | -"mr" | "ms" | "mt" | "my" | "na" | "ne" | "nl" | "no" | "oc" | "om" | "or" | "pa" -| "pl" | "ps" | "pt" | "qu" | "rm" | "rn" | "ro" | "ru" | "rw" | "sa" | "sd" | -"sg" | "sh" | "si" | "sk" | "sl" | "sm" | "sn" | "so" | "sq" | "sr" | "ss" | "st" -| "su" | "sv" | "sw" | "ta" | "te" | "tg" | "th" | "ti" | "tk" | "tl" | "tn" | -"to" | "tr" | "ts" | "tt" | "tw" | "ug" | "uk" | "ur" | "uz" | "vi" | "vo" | "wo" -| "xh" | "yi" | "yo" | "za" | "zh" | "zu" - -xml.lang.attrib = attribute xml:lang {iso639}? - -Anything = (AnyElement|text)* -AnyElement = element * {AnyAttribute,(text | AnyElement)*} -AnyAttribute = attribute * { text }* - -## useful classes to be extended in the modules -inline.class = empty -omdoc.class = empty -plike.class = empty - -## mixed models -inline.model = text & inline.class - -metadata.model &= dublincore diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc.rnc deleted file mode 100644 index 0616aaf0147..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoc.rnc +++ /dev/null @@ -1,24 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) -# $Id: omdoc.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoc.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -start = omdoc - -include "omdoc-common.rnc" -include "omdocmobj.rnc" -include "omdocmeta.rnc" -include "omdocdoc.rnc" -include "omdocdc.rnc" -include "omdoccc.rnc" -include "omdocmtxt.rnc" -include "omdocrt.rnc" -include "omdocpres.rnc" -include "omdocst.rnc" -include "omdoccth.rnc" -include "omdocdg.rnc" -include "omdocpf.rnc" -include "omdocadt.rnc" -include "omdocext.rnc" -include "omdocquiz.rnc" diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc deleted file mode 100644 index 131df5606ff..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocadt.rnc +++ /dev/null @@ -1,49 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module ADT -# $Id: omdocadt.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocadt.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" -omdoc.class &= adt* - -adt.sym.attrib = id.attribs,scope.attrib,attribute name {xsd:NCName} - -# adts are abstract data types, they are short forms for groups of symbols -# and their definitions, therefore, they have much the same attributes. - -adt.attribs = toplevel.attribs & - attribute parameters {list {xsd:NCName*}}? -adt.class = sortdef+ -adt.model = metadata.class & adt.class -adt = element adt {tref|(adt.attribs & adt.model)} - -adttype = "loose" | "generated" | "free" -sortdef.attribs = adt.sym.attrib & - attribute role {"sort"}? & - attribute type {adttype}? -sortdef.model = metadata.class & constructor* & insort* & recognizer? -sortdef = element sortdef {tref|(sortdef.attribs &sortdef.model)} - -insort.attribs = attribute for {omdocref} -insort.model = empty -insort = element insort {tref|(insort.attribs & insort.model)} - -constructor.attribs = adt.sym.attrib & sym.role.attrib? -constructor.model = metadata.class & argument* -constructor = element constructor {tref|(constructor.attribs & constructor.model)} - -recognizer.attribs = adt.sym.attrib & sym.role.attrib? -recognizer.model = metadata.class -recognizer = element recognizer {tref|(recognizer.attribs & recognizer.model)} - -argument.attribs = empty -argument.model = type & selector? -argument = element argument {tref|(argument.attribs & argument.model)} - -selector.attribs = adt.sym.attrib & - sym.role.attrib? & - attribute total {"yes" | "no"}? -selector.model = metadata.class -selector = element selector {tref|(selector.attribs & selector.model)} - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccc.rnc deleted file mode 100644 index 3828aec5a6d..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccc.rnc +++ /dev/null @@ -1,10 +0,0 @@ -# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module CC -# $Id: omdoccc.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoccc.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2010 Michael Kohlhase, released under the GNU Public License (GPL) - -# we include the OMDoc version of cc metadata and specialize the description -license = grammar {include "creativecommons.rnc" {description = parent plike.class}} - -metadata.class &= license* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccth.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccth.rnc deleted file mode 100644 index 8e52773b51d..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdoccth.rnc +++ /dev/null @@ -1,53 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module CTH -# $Id: omdoccth.rnc 8979 2011-11-29 04:56:59Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdoccth.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -constitutive.class &= inclusion* -imports.model &= morphism? & - attribute type { "local" | "global"}? & - attribute conservativity {"conservative" | "monomorphism" | "definitional"}? & - attribute conservativity-just {omdocref}? - -toplevel.attribs &= attribute generated-via {omdocref}? -constitutive.attribs &= attribute generated-via {omdocref}? - -omdoc.class &= theory-inclusion* & axiom-inclusion* -theory-inclusion.justification = obligation* -axiom-inclusion.justification = obligation* - -fromto.attrib = from.attrib & attribute to {omdocref} -# attributes 'to' and 'from' are URIref - -morphism.attribs = id.attribs & - attribute hiding {omdocrefs}? & - attribute base {omdocrefs}? -morphism.model = def.eq? -morphism = element morphism {tref|(morphism.attribs & morphism.model)} -# base points to some other morphism it extends - -inclusion.attribs = id.attribs & attribute via {omdocref} -inclusion.model = empty -inclusion = element inclusion {tref|(inclusion.attribs & inclusion.model)} -# via points to a theory-inclusion - -theory-inclusion.attribs = toplevel.attribs & fromto.attrib -theory-inclusion.model = metadata? & morphism? & theory-inclusion.justification -theory-inclusion = element theory-inclusion {tref|(theory-inclusion.attribs & theory-inclusion.model)} - -axiom-inclusion.attribs = toplevel.attribs & fromto.attrib -axiom-inclusion.model = metadata? & morphism? & axiom-inclusion.justification -axiom-inclusion = element theory-inclusion {tref|(axiom-inclusion.attribs & axiom-inclusion.model)} - -obligation.attribs = id.attribs & - attribute induced-by {omdocref} & - attribute assertion {omdocref} -obligation.model = empty -obligation = element obligation {tref|(obligation.attribs & obligation.model)} -# attribute 'assertion' is a URIref, points to an assertion -# that is the proof obligation induced by the axiom or definition -# specified by 'induced-by'. - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdc.rnc deleted file mode 100644 index 7d91738da37..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdc.rnc +++ /dev/null @@ -1,29 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module DC -# $Id: omdocdc.rnc 8968 2011-09-07 05:37:09Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocdc.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2010 Michael Kohlhase, released under the GNU Public License (GPL) - -# we include the dublin core and MARC elements, filling them with our content types -dc.common = id.attribs & nonlocal.attribs -dc.comlang =dc.common & xml.lang.attrib - -dublincore = grammar {include "MARCRelators.rnc" - include "dublincore.rnc" - {dc.date = parent dc.common & - attribute action {xsd:NMTOKEN}? & - attribute who {xsd:anyURI}? & - (xsd:date|xsd:dateTime) - dc.identifier = parent tref|(parent dc.common & - attribute scheme {xsd:NMTOKEN} & - text) - dc.type = parent tref|(parent dc.common & ("Dataset" | "Text" | "Collection")) - dc.inline = parent tref|(parent dc.comlang & parent inline.model) - dc.text = parent tref|(parent dc.comlang & parent plike.class) - dc.person = parent tref|(parent dc.common & - attribute role {MARCRelators}? & - parent inline.model) - dc.rights = parent tref|(parent dc.comlang & parent plike.class) - dc.source = parent plike.class}} - -metadata.model &= dublincore diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdg.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdg.rnc deleted file mode 100644 index af5cfe2fc5b..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdg.rnc +++ /dev/null @@ -1,28 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module CTH -# $Id: omdocdg.rnc 8958 2011-09-02 06:01:13Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocdg.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -omdoc.class &= decomposition* & path-just* -omdoccth.theory-inclusion.justification &= decomposition* -omdoccth.axiom-inclusion.justification &= path-just* - -decomposition.attribs = toplevel.attribs & for.attrib? & - attribute links {omdocrefs} -decomposition.model = empty -decomposition = element decomposition {tref|(decomposition.attribs & decomposition.model)} -# attribute 'for' points to a 'theory-inclusion', which this -# element justifies; attribute 'links' is an URIrefs, points to a -# list of axiom-inlcusions and theory-inclusions - -path-just.attribs = for.attrib? & id.attribs & - attribute local {omdocref} & - attribute globals {omdocrefs} -path-just.model = empty -path-just = element path-just {tref|(path-just.attribs & path-just.model)} -# attribute 'local' is an URIref, points to axiom-inclusion -# 'globals' is an URIrefs, points to a list of theory-inclusions - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdoc.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdoc.rnc deleted file mode 100644 index 77215095b2b..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocdoc.rnc +++ /dev/null @@ -1,62 +0,0 @@ -# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module DOC -# $Id: omdocdoc.rnc 8972 2011-09-09 11:36:34Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocdoc.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" -# extend the stuff that can go into a mathematical text - -omdoc.class &= ignore* & tableofcontents* - -ignore.attribs = id.attribs & - attribute type {xsd:string}? & - attribute comment {xsd:string}? -ignore.model = Anything -ignore = element ignore {tref|(ignore.attribs & ignore.model)} - -tableofcontents.attribs = attribute level {xsd:nonNegativeInteger}? -tableofcontents.model = empty -tableofcontents = element tableofcontents {tref|(tableofcontents.attribs & tableofcontents.model)} - -index.attribs = id.attribs -index.model = empty -index = element index {tref|(index.attribs & index.model)} - -bibliography.attribs = id.attribs, attribute files {text} -bibliography.model = empty -bibliography = element bibliography {tref|(bibliography.attribs & bibliography.model)} - - -group.attribs = id.attribs, - attribute type {xsd:anyURI}?, - attribute modules {xsd:anyURI}?, - attribute layout {text}? - -## The <omdoc> and <omgroup> elements allow frontmatter and backmatter, -## which we will now define -frontmatter = metadata.class & tableofcontents? -backmatter = index? & bibliography? -docstruct.class = omgroup* -omdoc.class &= docstruct.class -mainmatter = omdoc.class - -omgroup.attribs = toplevel.attribs & group.attribs -omgroup.model = frontmatter,mainmatter,backmatter -omgroup = element omgroup {tref|(omgroup.attribs & omgroup.model)} - -## the model of the document root only differs from <omgroup> in the version attribute -omdoc.attribs = toplevel.attribs & group.attribs & - attribute version {xsd:string {pattern = "1.3"}}? -omdoc.model =frontmatter,mainmatter,backmatter -omdoc = element omdoc {tref|(omdoc.attribs & omdoc.model)} - - -############################## deprecated ################################ -# the following is for legacy only, and will be removed soon. -ref.attribs = id.attribs & xref.attrib & attribute type {"include" | "cite"} -ref.model = empty -ref = element ref{ref.attribs & ref.model} - -omdoc.class &= ref* -inline.class &= ref* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocext.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocext.rnc deleted file mode 100644 index 8b37d56603b..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocext.rnc +++ /dev/null @@ -1,64 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module EXT -# $Id: omdocext.rnc 8958 2011-09-02 06:01:13Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocext.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -plike.class &= omlet* -omdoc.class &= private* & code* - -private.attribs = toplevel.attribs & - for.attrib? & - attribute requires {omdocref}? & - attribute reformulates {omdocref}? -private.model = metadata.class & data+ -private = element private {tref|(private.attribs & private.model)} -# reformulates is a URIref to the omdoc elements that are reformulated by the -# system-specific information in this element - -code.attribs = private.attribs -code.model = metadata.class & data* & input* & output* & effect* -code = element code {tref|(code.attribs & code.model)} - -input.attribs = id.attribs -input.model = mcf.class -input = element input {tref|(input.attribs & input.model)} - -output.attribs = id.attribs -output.model = mcf.class -output = element output {tref|(output.attribs & output.model)} - -effect.attribs = id.attribs -effect.model = mcf.class -effect = element effect {tref|(effect.attribs & effect.model)} - -data.attribs = id.attribs & - attribute href {xsd:anyURI}? & - attribute size {xsd:string}? & - attribute pto {xsd:string}? & - attribute pto-version {xsd:string}? & - attribute original {"external" | "local"}? - -data.textformat = "TeX" -data.text = data.attribs & attribute format {data.textformat}? & text -data.any = data.attribs & attribute format {xsd:anyURI}? & Anything -data.model = data.text | data.any -data = element data {tref|data.model} - -omlet.attribs = id.attribs & - attribute action {"display" | "execute" | "other"}? & - attribute show {"new" | "replace" | "embed" | "other"}? & - attribute actuate {"onPresent" | "onLoad" | "onRequest" | "other"}? -omlet.param = text & inline.class & param* -omlet.data = attribute data {xsd:anyURI}|(private|code) -omlet.model = metadata.class & omlet.param & omlet.data -omlet = element omlet {tref|(omlet.attribs & omlet.model)} - -param.attribs = id.attribs & - attribute name {xsd:string} & - attribute value {xsd:string}? & - attribute valuetype {"data" | "ref" | "object"}? -param.model = mobj? -param = element param {tref|(param.attribs & param.model)} diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmeta.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmeta.rnc deleted file mode 100644 index a77d98d65d4..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmeta.rnc +++ /dev/null @@ -1,39 +0,0 @@ -# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module META -# $Id: omdocmeta.rnc 8958 2011-09-02 06:01:13Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocmeta.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2007-2008 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -rel.attrib = attribute rel {curies} -rev.attrib = attribute rev {curies} -content.attrib = attribute content {xsd:string} -resource.attrib = attribute resource {xsd:anyURI|safecurie} -property.attrib = attribute property {curies} -datatype.attrib = attribute datatype {curie} -typeof.attrib = attribute typeof {curies} - -meta.attribs = id.attribs & property.attrib?& datatype.attrib? & xml.lang.attrib -meta.model = content.attrib | Anything | (content.attrib & Anything) -meta = element meta {tref|(meta.attribs & meta.model)} - -mlink.attribs = id.attribs & rel.attrib? & rev.attrib? & resource.attrib? -mlink.class = resource* & mlink* & meta* -mlink.model = attribute href {curie}|mlink.class -mlink = element link {tref|(mlink.attribs,mlink.model)} - -resource.attribs = id.attribs & typeof.attrib? & about.attrib? -resource.class = meta* & mlink* -resource = element resource {tref|(resource.attribs & resource.class)} - -metadata.class = metadata? & meta* & mlink* -metadata.model = metadata.class -metadata.attribs = id.attribs -metadata = element metadata {tref|(metadata.attribs & metadata.model)} - -rdfa.attribs = rel.attrib? & rev.attrib? & content.attrib? & about.attrib? - & resource.attrib? & property.attrib? & datatype.attrib? - & typeof.attrib? - -id.attribs &= rdfa.attribs diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc deleted file mode 100644 index dfe54e9d1ac..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmobj.rnc +++ /dev/null @@ -1,27 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module MOBJ -# $Id: omdocmobj.rnc 8973 2011-09-09 12:45:16Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocmobj.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2009 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -namespace om = "http://www.openmath.org/OpenMath" -namespace local = "" - -# the legacy element, it can encapsulate the non-migrated formats -legacy.attribs = id.attribs & - attribute formalism {xsd:anyURI}? & - attribute format {xsd:anyURI} -legacy.model = Anything -legacy = element legacy {tref|(legacy.attribs & legacy.model)} - -nonom.attribs = attribute * - (local:* | om:*) {text}* -extom.attribs = idrest.attribs & nonom.attribs -omobj = grammar {include "openmath2.rnc" - common.attributes &= parent extom.attribs} - -cmml = grammar {include "mathml3-common.rnc" - include "mathml3-strict-content.rnc"} - -mobj = legacy | omobj | cmml diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmtxt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmtxt.rnc deleted file mode 100644 index e4130acab1c..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocmtxt.rnc +++ /dev/null @@ -1,105 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module MTXT -# $Id: omdocmtxt.rnc 8967 2011-09-02 12:41:47Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocmtxt.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -omdoc.class &= omtext* - -#attribute for is a whitespace-separated list of URIrefs -for.attrib = attribute for {omdocrefs} -from.attrib = attribute from {omdocref} -mc.class = metadata.class & CMP* -mcf.class = mc.class & FMP* - -rsttype = "abstract" | "introduction" | "annote" | - "conclusion" | "thesis" | "comment" | "antithesis" | - "elaboration" | "motivation" | "evidence" | "note" | - "warning" | "question" | "answer" | "transition" - -statementtype = "axiom" | "definition" | "example" | "proof" | - "derive" | "hypothesis" | "notation" - -assertiontype = "assertion" | "theorem" | "lemma" | "corollary" | "proposition" | - "conjecture" | "false-conjecture" | "obligation" | - "postulate" | "formula" | "assumption" | "rule" - -verbalizes.attrib = attribute verbalizes {omdocrefs} -omtext.type.attrib = attribute type {rsttype | statementtype | assertiontype | xsd:anyURI} -index.attrib = attribute index {xsd:NMTOKEN} -parallel.attribs = verbalizes.attrib? & index.attrib? & omtext.type.attrib? - -omtext.attribs = toplevel.attribs & - omtext.type.attrib? & - attribute for {omdocref}? & - attribute from {omdocref}? & - verbalizes.attrib? -omtext.model = mcf.class -omtext = element omtext {tref|(omtext.attribs & omtext.model)} - -CMP.attribs = xml.lang.attrib & id.attribs -CMP.model = plike.class -CMP = element CMP {tref|(CMP.attribs & CMP.model)} - -term.attribs = id.attribs & - attribute role {text}? & - attribute cdbase {xsd:anyURI}? & - attribute cd {xsd:NCName} & - attribute name {xsd:NCName} -term.model = inline.model -term = element term {tref|(term.attribs & term.model)} - -FMP.attribs = id.attribs & attribute logic {xsd:NMTOKEN}? -FMP.model = (assumption*,conclusion*)|mobj -FMP = element FMP {tref|(FMP.attribs & FMP.model)} - -assumption.attribs = id.attribs & - attribute inductive {"yes" | "no"}? -assumption.model = mobj -assumption = element assumption {tref|(assumption.attribs & assumption.model)} - -conclusion.attribs = id.attribs -conclusion.model = mobj -conclusion = element conclusion {tref|(conclusion.attribs & conclusion.model)} - -note.attribs = id.attribs & for.attrib? & parallel.attribs & attribute type {xsd:NMTOKEN}? -note.model = inline.model -note = element note {tref|(note.attribs & note.model)} - -# index -index.att = attribute sort-by {text}? & - attribute see {omdocrefs}? & - attribute seealso {omdocrefs}? & - attribute links {list {xsd:anyURI*}}? - -idx.attribs = id.attribs|xref.attrib -idx.model = idt? & ide+ -idx = element idx {tref|(idx.attribs & idx.model)} - -ide.attribs = (id.attribs & index.att & index.attrib) | xref.attrib -ide.model = idp* -ide = element ide {tref|(ide.attribs & ide.model)} - -idt.attribs = id.attribs|xref.attrib -idt.model = inline.model -idt = element idt {tref|(idt.attribs & idt.model)} - -idp.attribs = index.att -idp.model = inline.model -idp = element idp {tref|(idp.attribs & idp.model)} - -# citations -citation.attribs = id.attribs & attribute bibrefs {text} -citation.model = empty -citation = element citation {tref|(citation.attribs & citation.model)} - -# citations -oref.attribs = id.attribs & attribute href {xsd:anyURI} -oref.model = empty -oref = element oref {tref|(oref.attribs & oref.model)} - -# what can go into a mathematical text -op.class = \term* & mobj* & note* & idx* & citation* & oref* -inline.class &=op.class diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpf.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpf.rnc deleted file mode 100644 index d10b6e89600..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpf.rnc +++ /dev/null @@ -1,39 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module PF -# $Id: omdocpf.rnc 8958 2011-09-02 06:01:13Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocpf.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -omdocpf.opt.content &= proof* & proofobject* -omdoc.class &= proof* & proofobject* - -proof.attribs = toplevel.attribs & for.attrib? -proof.model = metadata.class & omtext* & symbol* & definition* & derive* & hypothesis* -proof = element proof {tref|(proof.attribs & proof.model)} - -proofobject.attribs = proof.attribs -proofobject.model = metadata.class & mobj -proofobject = element proofobject {tref|(proofobject.attribs & proofobject.model)} - -derive.attribs = id.attribs & attribute type {"conclusion" | "gap"}? -derive.model = mcf.class & method? -derive = element derive {tref|(derive.attribs & derive.model)} - -hypothesis.attribs = id.attribs & attribute inductive {"yes" | "no"}? -hypothesis.model = mcf.class -hypothesis = element hypothesis {tref|(hypothesis.attribs & hypothesis.model)} - -method.attribs = id.attribs & xref.attrib? -method.model = mobj* & premise* & proof* & proofobject* -method = element method {tref|(method.attribs & method.model)} - -premise.attribs = xref.attrib & attribute rank {xsd:nonNegativeInteger}? -premise.model = empty -premise = element premise {tref|(premise.attribs & premise.model)} - -# The rank of a premise specifies its importance in the inference rule. -# Rank 0 (the default) is a real premise, whereas positive rank signifies -# sideconditions of varying degree. - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocphys.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocphys.rnc deleted file mode 100644 index 88c30df8169..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocphys.rnc +++ /dev/null @@ -1,47 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module PHYS -# $Id: omdocphys.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocphys.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -system.attribs = id.attribs & - attribute type {"ideal" | "real"} -system.model = metadata.class & - observable* & improvement? & algebra? & realization? -system = element system {tref|(system.attribs & system.model)} - -observable.attribs = id.attribs & - attribute low {xsd:float} & - attribute high {xsd:float} -observable.model = mobj,mobj -observable = element observable {tref|(observable.attribs & observable.model)} - -improvement.attribs = id.attribs -improvement.model = mcf.class -improvement = element improvement {tref|(improvement.attribs & improvement.model)} - -realization.attribs = id.attribs -realization.model = mcf.class -realization = element realization {tref|(realization.attribs & realization.model)} - -interpretation.attribs = id.attribs -interpretation.model = mcf.class -interpretation = element interpretation {tref|(interpretation.attribs & interpretation.model)} - -state.attribs = id.attribs & attribute of {omdocref} -state.model = metadata.class & value* -state = element state {tref|(state.attribs & state.model)} - -value.attribs = id.attribs & - attribute for {omdocref} & - attribute num {xsd:float} -value.model = metadata.class -value = element value {tref|(value.attribs & value.model)} - -experiment.attribs = id.attribs -experiment.model = mcf.class,state,state -experiment = element experiment {tref|(experiment.attribs & experiment.model)} - -evidence.attribs = id.attribs & attribute for {omdocref} -evidence.model = experiment*,interpretation -evidence = element evidence {tref|(evidence.attribs & evidence.model)} diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc deleted file mode 100644 index 2d2b26db632..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocpres.rnc +++ /dev/null @@ -1,91 +0,0 @@ -# A RelaxNG for Open Mathematical documents (OMDoc 1.3) Module PRES -# $Id: omdocpres.rnc 8973 2011-09-09 12:45:16Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocpres.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2008 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" -omdoc.class &= notation* - -## we first add the ic and ec attributes for notation contexts everywhere -ic.attrib = attribute ic {text} -ec.attrib = attribute ec {text} -idrest.attribs &= ic.attrib? & ec.attrib? - -prototype.attribs = empty -prototype.model = protoexp -prototype = element prototype {tref|(prototype.attribs & prototype.model)} - -protoexp = grammar {include "openmath2.rnc" - {start = omel - common.attributes = parent id.attribs} - omel |= parent proto.class - omvar |= parent proto.class - common.attributes &= parent ntn.attrib} - | grammar {include "mathml3.rnc" {start = ContExp} - ContExp |= parent proto.class - ci |= parent proto.class - CommonAtt &= parent ntn.attrib} - -precedence.att = attribute precedence {xsd:integer} | attribute argprec {xsd:integer} -context.att = attribute xml:lang {text}? & - attribute context {text}? & - attribute variant {text}? - -format.att = attribute format {text}? - -rendering.attribs = precedence.att? & context.att & format.att -rendering.model = renderexp - -rendering = element rendering {tref|(rendering.attribs & rendering.model)} - -renderexp = grammar {include "mathml3-common.rnc" {start = PresentationExpression} - include "mathml3-presentation.rnc" - PresentationExpression |= parent render.class - CommonAtt &= parent ntn.attrib - mtable.content.class |= parent render.class - mtr.content.class |= parent render.class} - | (pdata|render.class)* - -pdata.attribs = empty -pdata.model = text -pdata = element pdata {pdata.attribs & pdata.model} - -iterexp = grammar {include "mathml3.rnc" - {start = PresentationExpression|mtr|mlabeledtr|mtd} - PresentationExpression |= parent render.class - MathML.Common.attrib &= parent ntn.attrib - mtable.content.class |= parent render.class - mtr.content.class |= parent render.class} - - name.attrib = attribute name {xsd:NCName}? - triple.att = attribute cdbase {xsd:anyURI}? & name.attrib & attribute cd {xsd:NCName}? - -notation.attribs = id.attribs & triple.att -notation.model = metadata.class & CMP* & prototype+ & rendering* -notation = element notation {tref|(notation.attribs & notation.model)} - -# we extend the content and presentation models by metavariables -proto.class = exprlist | expr -render.class = render | iterate -ntn.attrib = attribute cr {text}? & attribute egroup {text}? - -exprlist.attribs = name.attrib -exprlist.model = protoexp* -exprlist = element exprlist {exprlist.attribs & exprlist.model} - -expr.attribs = name.attrib -expr.model = empty -expr = element expr {tref|(expr.attribs & expr.model)} - -iterate.attribs = name.attrib & precedence.att? -iterate.model = separator & iterexp* -iterate = element iterate {tref|(iterate.attribs & iterate.model)} - -render.attribs = name.attrib & precedence.att? -render.model = empty -render = element render {tref|(render.attribs & render.model)} - -separator.attribs = empty -separator.model = renderexp* -separator = element separator {tref|(separator.attribs & separator.model)} diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocquiz.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocquiz.rnc deleted file mode 100644 index 176ce32feae..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocquiz.rnc +++ /dev/null @@ -1,37 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module QUIZ -# $Id: omdocquiz.rnc 8958 2011-09-02 06:01:13Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocquiz.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -omdoc.class &= exercise* & hint* & mc* & solution* -plike.class &= hint* - -exercise.attribs = toplevel.attribs & for.attrib? -exercise.model = mcf.class | omdoc.class -exercise = element exercise {tref|(exercise.attribs & exercise.model)} - -omdocpf.opt.content = notAllowed - -hint.attribs = toplevel.attribs & for.attrib? -hint.model = mcf.class -hint = element hint {tref|(hint.attribs & hint.model)} - -solution.attribs = toplevel.attribs & for.attrib? -solution.model = mcf.class | omdoc.class -solution = element solution {tref|(solution.attribs & solution.model)} - -mc.attribs = toplevel.attribs & for.attrib? -mc.model = choice,hint?,answer -mc = element mc {tref|(mc.attribs & mc.model)} - -choice.attribs = id.attribs -choice.model = mcf.class -choice = element choice {tref|(choice.attribs & choice.model)} - -answer.attribs = id.attribs & attribute verdict {"true" | "false"}? -answer.model = mcf.class -answer = element answer {tref|(answer.attribs & answer.model)} - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc deleted file mode 100644 index ac7c3010494..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocrt.rnc +++ /dev/null @@ -1,32 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module RT -# $Id: omdocrt.rnc 8973 2011-09-09 12:45:16Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocrt.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -rst.attribs = verbalizes.attrib? - -## We extend the three main content models by xhtml elements -inline.class &= grammar {include "pxhtml.rnc" - {Inline.model = text & parent metadata.class & Inline.class} - Inline.class &= parent op.class - span.attlist &= parent rst.attribs - start = Inline.class} - -plike.class &= grammar {include "pxhtml.rnc" - {Inline.model = text & parent metadata.class & Inline.class} - Common.attrib &= parent idrest.attribs & parent parallel.attribs - Inline.class &= parent op.class - span.attlist &= parent rst.attribs - start = Block.class} - -omdoc.class &= grammar {include "pxhtml.rnc" - {Inline.model = text & parent metadata.class & Inline.class} - Common.attrib &= parent idrest.attribs & parent parallel.attribs - Inline.class &= parent op.class - Block.cass &= parent plike.class - Flow.model &= parent omdoc.class - span.attlist &= parent rst.attribs - start = List.class} diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocst.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocst.rnc deleted file mode 100644 index 46419186d52..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/omdocst.rnc +++ /dev/null @@ -1,135 +0,0 @@ -# A RelaxNG schema for Open Mathematical documents (OMDoc 1.3) Module ST -# $Id: omdocst.rnc 8972 2011-09-09 11:36:34Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/omdocst.rnc $ -# See the documentation and examples at http://www.omdoc.org -# Copyright (c) 2004-2007 Michael Kohlhase, released under the GNU Public License (GPL) - -default namespace omdoc = "http://omdoc.org/ns" - -omdoc.class &= symbol* & axiom* & definition* & imports* & assertion* & type* & alternative* & example* & theory* - -constitutive.attribs = id.attribs & attribute generated-from {omdocref}? -sym.role.attrib = attribute role {"type" | "sort" | "object" | - "binder" | "attribution" | "application" | "constant" | - "semantic-attribution" | "error"} -theory-unique = xsd:NCName -scope.attrib = attribute scope {"global" | "local"}? -symbol.attribs = scope.attrib & - attribute name {theory-unique}? & - constitutive.attribs & - sym.role.attrib? -symbol.model = metadata.class & type* -symbol = element symbol {tref|(symbol.attribs & symbol.model)} - -forname.attrib = attribute for {list {xsd:NCName+}} -axiom.attribs = constitutive.attribs & forname.attrib & attribute type {xsd:string}? -axiom.model = metadata.class & mcf.class -axiom = element axiom {tref|(axiom.attribs & axiom.model)} - -#informal definitions -def.informal = attribute type {"informal"}? - -#simple definitions -def.simple.attribs = attribute type {"simple"} -def.simple = def.simple.attribs & mobj - -#implicit definitions -exists.attrib = attribute existence {omdocref} -unique.attrib = attribute uniqueness {omdocref} -def.implicit.attribs = attribute type {"implicit"} & exists.attrib? & unique.attrib? -def.implicit = def.implicit.attribs & FMP* - -exhaust.attrib = attribute exhaustivity {omdocref} -consist.attrib = attribute consistency {omdocref} - -def.pattern.attribs = attribute type {"pattern"}? & exhaust.attrib? & consist.attrib? -def.pattern.model = requation* -def.pattern = def.pattern.attribs & def.pattern.model - -def.inductive.attribs = attribute type {"inductive"}? & exhaust.attrib? & consist.attrib? -def.inductive.model = requation* & measure? & ordering? -def.inductive = def.inductive.attribs & def.inductive.model - -def.eq = def.pattern | def.inductive - -#all definition forms, add more by extending this. -defs.all = def.informal | def.simple | def.implicit | def.eq - -# Definitions contain CMPs, FMPs and concept specifications. -# The latter define the set of concepts defined in this element. -# They can be reached under this name in the content dictionary -# of the name specified in the theory attribute of the definition. -definition.attribs = constitutive.attribs & forname.attrib -definition = element definition {tref|(definition.attribs & mc.class & defs.all)} - -requation.attribs = id.attribs -requation.model = mobj,mobj -requation = element requation {tref|(requation.attribs & requation.model)} - -measure.attribs = id.attribs -measure.model = mobj -measure = element measure {tref|(measure.attribs & measure.model)} - -ordering.attribs = id.attribs & attribute terminating {omdocref}? -ordering.model = mobj -ordering = element ordering {tref|(ordering.attribs & ordering.model)} - -# the non-constitutive statements, they need a theory attribute -toplevel.attribs &= attribute theory {omdocref}? - -ded.status.class = "satisfiable" | "counter-satisfiable" | "no-consequence" | - "theorem" | "conter-theorem" | "contradictory-axioms" | - "tautologous-conclusion" | " tautology" | "equivalent" | - "conunter-equivalent" | "unsatisfiable-conclusion" | "unsatisfiable" - -just-by.attrib = attribute just-by {omdocref} -assertion.attribs = toplevel.attribs & - attribute type {assertiontype}? & - attribute status {ded.status.class}? & - just-by.attrib? -assertion.model = mcf.class -assertion = element assertion {tref|(assertion.attribs & assertion.model)} -# the assertiontype has no formal meaning yet, it is solely for human consumption. -# 'just-by' is a list of URIRefs that point to proof objects, etc that justifies the status. - -type.attribs = toplevel.attribs & just-by.attrib? & - attribute system {omdocref}? & - attribute for {omdocref}? -type.model = mc.class, mobj, mobj? -type = element type {tref|(type.attribs & type.model)} - -##just-by, points to the theorem justifying well-definedness -## entailed-by, entails, point to other (equivalent definitions -## entailed-by-thm, entails-thm point to the theorems justifying -## the entailment relation) -alternative.attribs = toplevel.attribs & for.attrib & - ((attribute equivalence {omdocref}, - attribute equivalence-thm {omdocref}) | - (attribute entailed-by {omdocref} & - attribute entails {omdocref} & - attribute entailed-by-thm {omdocref} & - attribute entails-thm {omdocref})) -alternative.model = mc.class & defs.all -alternative = element alternative {tref|(alternative.attribs & alternative.model)} - -example.attribs = toplevel.attribs & for.attrib & - attribute type {"for" | "against" }? & - attribute assertion {omdocref}? -example.model = mc.class,mobj* -example = element example {tref|(example.attribs & example.model)} - -theory.attribs = id.attribs & - attribute cdurl {xsd:anyURI}? & - attribute cdbase {xsd:anyURI}? & - attribute cdreviewdate {xsd:date}? & - attribute cdversion {xsd:nonNegativeInteger}? & - attribute cdrevision {xsd:nonNegativeInteger}? & - attribute cdstatus {"official" | "experimental" |"private" | "obsolete"}? -theory.model = metadata.class & omdoc.class -theory = element theory {tref|(theory.attribs & theory.model)} - -imports.attribs = id.attribs & from.attrib -imports.model = metadata.class -imports = element imports {tref|(imports.attribs & imports.model)} - - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/openmath2.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/openmath2.rnc deleted file mode 100644 index 2d07eb14148..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/openmath2.rnc +++ /dev/null @@ -1,89 +0,0 @@ -# RELAX NG Schema for OpenMath 2 -# $Id: openmath2.rnc 8959 2011-09-02 06:01:43Z kohlhase $ -# $HeadURL: https://svn.omdoc.org/repos/omdoc/branches/omdoc-1.3/schema/rnc/openmath2.rnc $ -# See the documentation and examples at http://www.openmath.org - -default namespace om = "http://www.openmath.org/OpenMath" - -start = OMOBJ - -# OpenMath object constructor -OMOBJ = element OMOBJ { compound.attributes, - attribute version { xsd:string }?, - omel } - -# Elements which can appear inside an OpenMath object -omel = - OMS | OMV | OMI | OMB | OMSTR | OMF | OMA | OMBIND | OME | OMATTR |OMR - -# things which can be variables -omvar = OMV | attvar - -attvar = element OMATTR { common.attributes,(OMATP , (OMV | attvar))} - - -cdbase = attribute cdbase { xsd:anyURI}? - -# attributes common to all elements -common.attributes = (attribute id { xsd:ID })? - -# attributes common to all elements that construct compount OM objects. -compound.attributes = common.attributes,cdbase - -# symbol -OMS = element OMS { common.attributes, - attribute name {xsd:NCName}, - attribute cd {xsd:NCName}, - cdbase } - -# variable -OMV = element OMV { common.attributes, - attribute name { xsd:NCName} } - -# integer -OMI = element OMI { common.attributes, - xsd:string {pattern = "\s*(-\s?)?[0-9]+(\s[0-9]+)*\s*"}} -# byte array -OMB = element OMB { common.attributes, xsd:base64Binary } - -# string -OMSTR = element OMSTR { common.attributes, text } - -# IEEE floating point number -OMF = element OMF { common.attributes, - ( attribute dec { xsd:double } | - attribute hex { xsd:string {pattern = "[0-9A-F]+"}}) } - -# apply constructor -OMA = element OMA { compound.attributes, omel+ } - -# binding constructor -OMBIND = element OMBIND { compound.attributes, omel, OMBVAR, omel } - -# variables used in binding constructor -OMBVAR = element OMBVAR { common.attributes, omvar+ } - -# error constructor -OME = element OME { common.attributes, OMS, (omel|OMFOREIGN)* } - -# attribution constructor and attribute pair constructor -OMATTR = element OMATTR { compound.attributes, OMATP, omel } - -OMATP = element OMATP { compound.attributes, (OMS, (omel | OMFOREIGN) )+ } - -# foreign constructor -OMFOREIGN = element OMFOREIGN { - compound.attributes, attribute encoding {xsd:string}?, - (omel|notom)* } - -# Any elements not in the om namespace -# (valid om is allowed as a descendant) -notom = - (element * - om:* {attribute * { text }*,(omel|notom)*} - | text) - -# reference constructor -OMR = element OMR { common.attributes, - attribute href { xsd:anyURI } - } - diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/pxhtml.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/pxhtml.rnc deleted file mode 100644 index f9758a57506..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/pxhtml.rnc +++ /dev/null @@ -1,17 +0,0 @@ -# XHTML for paragraphs in OMDoc -# this is a subset of the xhtml RelaxNG schema for XHTML we use it for paragraphs in OMDoc1.3 - -default namespace xhtml = "http://www.w3.org/1999/xhtml" - -include "xhtml-datatypes.rnc" -include "xhtml-attribs.rnc" -include "xhtml-text.rnc" -include "xhtml-hypertext.rnc" -include "xhtml-list.rnc" -include "xhtml-image.rnc" -include "xhtml-param.rnc" -include "xhtml-object.rnc" -include "xhtml-bdo.rnc" -include "xhtml-applet.rnc" -include "xhtml-table.rnc" -include "xhtml-inlstyle.rnc" diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/schemas.xml b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/schemas.xml deleted file mode 100644 index 7709ff94ead..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/schemas.xml +++ /dev/null @@ -1,4 +0,0 @@ -<locatingRules xmlns="http://thaiopensource.com/ns/locating-rules/1.0"> - <uri pattern="*.omdoc" typeId="OMDoc"/> - <typeId id="OMDoc" uri="omdoc.rnc"/> -</locatingRules> diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo deleted file mode 100644 index 1d7969e6fd5..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo +++ /dev/null @@ -1,3 +0,0 @@ -- maybe move metadata back into omdoc-core.mod -- is omgroup.... really conditional now? -- integrate MathML diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo.txt b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo.txt deleted file mode 100644 index 1b4aec578a8..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/todo.txt +++ /dev/null @@ -1,2 +0,0 @@ -- tighten up the grammar for definition, we can make the relation between - type and content explicit now diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-applet.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-applet.rnc deleted file mode 100644 index eaaa1a15a52..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-applet.rnc +++ /dev/null @@ -1,19 +0,0 @@ -# Applet Module - -applet = - element applet { - applet.attlist, - # No restrictions on mixed content in TREX. - param*, - Flow.model - } -applet.attlist = - Core.attrib & - attribute alt { Text.datatype } & - attribute archive { text }? & - attribute code { text }? & - attribute codebase { URI.datatype }? & - attribute object { text }? & - attribute height { Length.datatype } & - attribute width { Length.datatype } -Inline.class &= applet* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-attribs.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-attribs.rnc deleted file mode 100644 index 0aa6e323164..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-attribs.rnc +++ /dev/null @@ -1,14 +0,0 @@ -# Common Attributes Module - -id.attrib = attribute id { ID.datatype }? -class.attrib = attribute class { NMTOKENS.datatype }? -title.attrib = attribute title { Text.datatype }? -Core.attrib = id.attrib & class.attrib & title.attrib -lang.attrib = attribute xml:lang { LanguageCode.datatype }? -I18n.attrib = lang.attrib -Common.attrib = Core.attrib & I18n.attrib -CommonIdRequired.attrib = - attribute id { ID.datatype } & - class.attrib & - title.attrib & - I18n.attrib diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-basic-table.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-basic-table.rnc deleted file mode 100644 index c0205d29716..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-basic-table.rnc +++ /dev/null @@ -1,28 +0,0 @@ -# Basic Tables Module - -table = element table { table.attlist & caption? & tr+ } -table.attlist = - Common.attrib & - attribute summary { Text.datatype }? -caption = element caption { caption.attlist, Inline.model } -caption.attlist = Common.attrib -tr = element tr { tr.attlist & (th | td)+ } -tr.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib -th = element th { th.attlist & Flow.model } -th.attlist = Cell.attrib -td = element td { td.attlist & Flow.model } -td.attlist = Cell.attrib -Cell.attrib = - Common.attrib & - attribute abbr { Text.datatype }? & - attribute axis { text }? & - attribute headers { IDREFS.datatype }? & - scope.attrib & - attribute rowspan { Number.datatype }? & - attribute colspan { Number.datatype }? & - CellHAlign.attrib & - CellVAlign.attrib -CellHAlign.attrib = attribute align { "left" | "center" | "right" }? -CellVAlign.attrib = attribute valign { "top" | "middle" | "bottom" }? -scope.attrib = attribute scope { "row" | "col" }? -Block.class &= table* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-bdo.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-bdo.rnc deleted file mode 100644 index 96bd91e378d..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-bdo.rnc +++ /dev/null @@ -1,7 +0,0 @@ -# Bi-directional Module - -bdo = element bdo { bdo.attlist & Inline.model } -bdo.attlist = Core.attrib & lang.attrib & dir.attrib -dir.attrib = attribute dir { "ltr" | "rtl" } -I18n.attrib &= dir.attrib? -Inline.class &= bdo* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-datatypes.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-datatypes.rnc deleted file mode 100644 index 596598039dd..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-datatypes.rnc +++ /dev/null @@ -1,47 +0,0 @@ -# Datatypes Module - -# Length defined for cellpadding/cellspacing - -# nn for pixels or nn% for percentage length -Length.datatype = text -# space-separated list of link types -LinkTypes.datatype = NMTOKENS.datatype -# single or comma-separated list of media descriptors -MediaDesc.datatype = text -# pixel, percentage, or relative -MultiLength.datatype = text -# one or more digits (NUMBER) -Number.datatype = text -# integer representing length in pixels -Pixels.datatype = text -# script expression -Script.datatype = text -# textual content -Text.datatype = text -# Imported Datatypes ................................ - -# a single character from [ISO10646] -Character.datatype = text -# a character encoding, as per [RFC2045] -Charset.datatype = text -# a space separated list of character encodings, as per [RFC2045] -Charsets.datatype = text -# media type, as per [RFC2045] -ContentType.datatype = text -# comma-separated list of media types, as per [RFC2045] -ContentTypes.datatype = text -# date and time information. ISO date format -Datetime.datatype = text -# formal public identifier, as per [ISO8879] -FPI.datatype = text -# a language code, as per [RFC1766] -LanguageCode.datatype = xsd:language -# a Uniform Resource Identifier, see [URI] -URI.datatype = xsd:anyURI -# a space-separated list of Uniform Resource Identifiers, see [URI] -URIs.datatype = text -NMTOKEN.datatype = xsd:NMTOKEN -NMTOKENS.datatype = xsd:NMTOKENS -ID.datatype = xsd:ID -IDREF.datatype = xsd:IDREF -IDREFS.datatype = xsd:IDREFS diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-hypertext.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-hypertext.rnc deleted file mode 100644 index 0dc78e6161f..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-hypertext.rnc +++ /dev/null @@ -1,16 +0,0 @@ -# Hypertext Module - -# Depends on text module. - -a = element a { a.attlist & Inline.model } -a.attlist = - Common.attrib & - attribute href { URI.datatype }? & - attribute charset { Charset.datatype }? & - attribute type { ContentType.datatype }? & - attribute hreflang { LanguageCode.datatype }? & - attribute rel { LinkTypes.datatype }? & - attribute rev { LinkTypes.datatype }? & - attribute accesskey { Character.datatype }? & - attribute tabindex { Number.datatype }? -Inline.class &= a* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-image.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-image.rnc deleted file mode 100644 index f897cc6d956..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-image.rnc +++ /dev/null @@ -1,11 +0,0 @@ -# Image Module - -img = element img { img.attlist } -img.attlist = - Common.attrib & - attribute src { URI.datatype } & - attribute alt { Text.datatype } & - attribute longdesc { URI.datatype }? & - attribute height { Length.datatype }? & - attribute width { Length.datatype }? -Inline.class &= img* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-inlstyle.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-inlstyle.rnc deleted file mode 100644 index aa69b75ab61..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-inlstyle.rnc +++ /dev/null @@ -1,3 +0,0 @@ -# Inline Style Module - -Core.attrib &= attribute style { text }? diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-list.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-list.rnc deleted file mode 100644 index ce20fc89884..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-list.rnc +++ /dev/null @@ -1,16 +0,0 @@ -# List Module - -dl = element dl { dl.attlist & (dt | dd)+ } -dl.attlist = Common.attrib -dt = element dt { dt.attlist & Inline.model } -dt.attlist = Common.attrib -dd = element dd { dd.attlist &Flow.model } -dd.attlist = Common.attrib -ol = element ol { ol.attlist & li+ } -ol.attlist = Common.attrib -ul = element ul { ul.attlist & li+ } -ul.attlist = Common.attrib -li = element li { li.attlist & Flow.model } -li.attlist = Common.attrib -List.class = ul* & ol* & dl* -Block.class &= List.class diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-object.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-object.rnc deleted file mode 100644 index 2ec52ecf798..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-object.rnc +++ /dev/null @@ -1,24 +0,0 @@ -# Object Module - -object = - element object { - object.attlist, - # No restrictions on mixed content in TREX. - param*, - Flow.model - } -object.attlist = - Common.attrib & - attribute declare { "declare" }? & - attribute classid { URI.datatype }? & - attribute codebase { URI.datatype }? & - attribute data { URI.datatype }? & - attribute type { ContentType.datatype }? & - attribute codetype { ContentType.datatype }? & - attribute archive { URIs.datatype }? & - attribute standby { Text.datatype }? & - attribute height { Length.datatype }? & - attribute width { Length.datatype }? & - attribute name { text }? & - attribute tabindex { Number.datatype }? -Inline.class &= object* diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-param.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-param.rnc deleted file mode 100644 index 641f695eab8..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-param.rnc +++ /dev/null @@ -1,9 +0,0 @@ -# Param Module - -param = element param { param.attlist } -param.attlist = - id.attrib & - attribute name { text } & - attribute value { text }? & - attribute valuetype { "data" | "ref" | "object" }? & - attribute type { ContentType.datatype }? diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-table.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-table.rnc deleted file mode 100644 index ab2b4d20ee4..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-table.rnc +++ /dev/null @@ -1,67 +0,0 @@ -# Tables Module - -# This builds on the basic tables module, unlike with the DTD -# implementation. - -include "xhtml-basic-table.rnc" { - table = - element table { - table.attlist, - caption?, - (col* | colgroup*), - ((thead?, tfoot?, tbody+) | tr+) - } - th = element th { th.attlist & Flow.model } - td = element td { td.attlist & Flow.model } - CellHAlign.attrib = - attribute align { - "left" | "center" | "right" | "justify" | "char" - }? & - attribute char { Character.datatype }? & - attribute charoff { Length.datatype }? - CellVAlign.attrib = - attribute valign { "top" | "middle" | "bottom" | "baseline" }? - scope.attrib = - attribute scope { "row" | "col" | "rowgroup" | "colgroup" }? -} -table.attlist &= - attribute width { Length.datatype }? & - attribute border { Pixels.datatype }? & - frame.attrib & - rules.attrib & - attribute cellspacing { Length.datatype }? & - attribute cellpadding { Length.datatype }? -col = element col { col.attlist } -col.attlist = - Common.attrib & - attribute span { Number.datatype }? & - attribute width { MultiLength.datatype }? & - CellHAlign.attrib & - CellVAlign.attrib -colgroup = element colgroup { colgroup.attlist & col* } -colgroup.attlist = - Common.attrib & - attribute span { Number.datatype }? & - attribute width { MultiLength.datatype }? & - CellHAlign.attrib & - CellVAlign.attrib -tbody = element tbody { tbody.attlist & tr+ } -tbody.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib -thead = element thead { thead.attlist & tr+ } -thead.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib -tfoot = element tfoot { tfoot.attlist & tr+ } -tfoot.attlist = Common.attrib & CellHAlign.attrib & CellVAlign.attrib -frame.attrib = - attribute frame { - "void" - | "above" - | "below" - | "hsides" - | "lhs" - | "rhs" - | "vsides" - | "box" - | "border" - }? -rules.attrib = - attribute rules { "none" | "groups" | "rows" | "cols" | "all" }? diff --git a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-text.rnc b/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-text.rnc deleted file mode 100644 index b9e999be009..00000000000 --- a/Master/texmf-dist/source/latex/stex/schema/rnc/omdoc/xhtml-text.rnc +++ /dev/null @@ -1,86 +0,0 @@ -# Text Module -br = element br { br.attlist & empty } -br.attlist = Core.attrib - -span = element span { span.attlist & Inline.model } -span.attlist = Common.attrib - -abbr = element abbr { abbr.attlist & Inline.model } -abbr.attlist = Common.attrib - -acronym = element acronym { acronym.attlist & Inline.model } -acronym.attlist = Common.attrib - -cite = element cite { cite.attlist & Inline.model } -cite.attlist = Common.attrib - -code = element code { code.attlist & Inline.model } -code.attlist = Common.attrib - -dfn = element dfn { dfn.attlist & Inline.model } -dfn.attlist = Common.attrib - -em = element em { em.attlist & Inline.model } -em.attlist = Common.attrib - -kbd = element kbd { kbd.attlist & Inline.model } -kbd.attlist = Common.attrib - -q = element q { q.attlist & Inline.model } -q.attlist = - Common.attrib & - attribute cite { URI.datatype }? - -samp = element samp { samp.attlist & Inline.model } -samp.attlist = Common.attrib - -strong = element strong { strong.attlist & Inline.model } -strong.attlist = Common.attrib - -var = element var { var.attlist & Inline.model } -var.attlist = Common.attrib - -\div = element div { div.attlist & Flow.model } -div.attlist = Common.attrib - -p = element p { p.attlist & Inline.model } -p.attlist = Common.attrib - -address = element address { address.attlist & Inline.model } -address.attlist = Common.attrib - -blockquote = element blockquote { blockquote.attlist & Block.model } -blockquote.attlist = - Common.attrib & - attribute cite { URI.datatype }? - -pre = element pre { pre.attlist & Inline.model } -pre.attlist = - Common.attrib & - attribute xml:space { "preserve" }? - -Block.class = address* & blockquote* & \div* & p* & pre* - -Inline.class = - abbr* - & acronym* - & br* - & cite* - & code* - & dfn* - & em* - & kbd* - & q* - & samp* - & span* - & strong* - & var* - -Inline.model = text & Inline.class -# This is redefined by the legacy module to include inlines. - -Block.mix = Block.class - -Block.model = Block.mix+ - -Flow.model = text & Inline.class & Block.class |