typesditac 1.0.0

package/dist/catalog/mathml2/xsd/content/elementary-functions.xsd

@@ -0,0 +1,117 @@
+<xs:schema 
+  xmlns:xs="http://www.w3.org/2001/XMLSchema"
+  xmlns="http://www.w3.org/1998/Math/MathML"
+  targetNamespace="http://www.w3.org/1998/Math/MathML"
+  elementFormDefault="qualified"
+ >
+
+
+<xs:annotation>
+  <xs:documentation>
+  This is an XML Schema module for the elementary functions in content
+  MathML.
+  Author: St&#233;phane Dalmas, INRIA.
+  </xs:documentation>
+</xs:annotation>
+
+<!-- a common type for all this -->
+
+<xs:complexType name="Elementary-functions.type">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:complexType>
+
+<!-- Exp and logs -->
+
+<xs:element name="exp" type="Elementary-functions.type"/>
+<xs:element name="ln" type="Elementary-functions.type"/>
+<xs:element name="log" type="Elementary-functions.type"/>
+
+<!-- special element of the base of logarithms -->
+
+<xs:group name="logbase.content">
+  <xs:sequence>
+    <xs:group ref="Content-expr.class"/>
+  </xs:sequence>
+</xs:group>
+
+<xs:complexType name="logbase.type">
+  <xs:group ref="logbase.content"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:complexType>
+
+<xs:element name="logbase" type="logbase.type"/>
+
+<!-- Trigonometric functions -->
+
+<xs:element name="sin" type="Elementary-functions.type"/>
+<xs:element name="cos" type="Elementary-functions.type"/>
+<xs:element name="tan" type="Elementary-functions.type"/>
+<xs:element name="sec" type="Elementary-functions.type"/>
+<xs:element name="csc" type="Elementary-functions.type"/>
+<xs:element name="cot" type="Elementary-functions.type"/>
+
+<xs:element name="arcsin" type="Elementary-functions.type"/>
+<xs:element name="arccos" type="Elementary-functions.type"/>
+<xs:element name="arctan" type="Elementary-functions.type"/>
+<xs:element name="arccot" type="Elementary-functions.type"/>
+<xs:element name="arccsc" type="Elementary-functions.type"/>
+<xs:element name="arcsec" type="Elementary-functions.type"/>
+
+<!-- Hyperbolic trigonometric functions -->
+
+<xs:element name="sinh" type="Elementary-functions.type"/>
+<xs:element name="cosh" type="Elementary-functions.type"/>
+<xs:element name="tanh" type="Elementary-functions.type"/>
+<xs:element name="sech" type="Elementary-functions.type"/>
+<xs:element name="csch" type="Elementary-functions.type"/>
+<xs:element name="coth" type="Elementary-functions.type"/>
+<xs:element name="arccosh" type="Elementary-functions.type"/>
+<xs:element name="arccoth" type="Elementary-functions.type"/>
+<xs:element name="arccsch" type="Elementary-functions.type"/>
+<xs:element name="arcsech" type="Elementary-functions.type"/>
+<xs:element name="arcsinh" type="Elementary-functions.type"/>
+<xs:element name="arctanh" type="Elementary-functions.type"/>
+
+<!-- And the group of everything -->
+
+<xs:group name="Content-elementary-functions.class">
+  <xs:choice>
+    <xs:element ref="exp"/>
+    <xs:element ref="ln"/>
+    <xs:element ref="log"/>
+    <xs:element ref="logbase"/>
+    <xs:element ref="sin"/>
+    <xs:element ref="cos"/>
+    <xs:element ref="tan"/>
+    <xs:element ref="sec"/>
+    <xs:element ref="csc"/>
+    <xs:element ref="cot"/>
+    <xs:element ref="arcsin"/>
+    <xs:element ref="arccos"/>
+    <xs:element ref="arctan"/>
+    <xs:element ref="arcsec"/>
+    <xs:element ref="arccsc"/>
+    <xs:element ref="arccot"/>
+    <xs:element ref="sinh"/>
+    <xs:element ref="cosh"/>
+    <xs:element ref="tanh"/>
+    <xs:element ref="sech"/>
+    <xs:element ref="csch"/>
+    <xs:element ref="coth"/>
+    <xs:element ref="arccosh"/>
+    <xs:element ref="arccoth"/>
+    <xs:element ref="arccsch"/>
+    <xs:element ref="arcsech"/>
+    <xs:element ref="arcsinh"/>
+    <xs:element ref="arctanh"/>
+  </xs:choice>
+</xs:group>
+
+</xs:schema>
+<!--
+  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
+  of Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University). All Rights Reserved. See
+  http://www.w3.org/Consortium/Legal/.
+  -->

package/dist/catalog/mathml2/xsd/content/functions.xsd

@@ -0,0 +1,73 @@
+<xs:schema 
+  xmlns:xs="http://www.w3.org/2001/XMLSchema"
+  xmlns="http://www.w3.org/1998/Math/MathML"
+  targetNamespace="http://www.w3.org/1998/Math/MathML"
+  elementFormDefault="qualified"
+ >
+
+
+<xs:annotation>
+  <xs:documentation>
+  This is an XML Schema module for operators dealing with functions in content
+  MathML.
+  Author: St&#233;phane Dalmas, INRIA.
+  </xs:documentation>
+</xs:annotation>
+
+<!-- a common type for all this -->
+
+<xs:complexType name="Functions.type">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:complexType>
+
+<!-- "compose" -->
+
+<xs:element name="compose" type="Functions.type"/>
+
+<!-- Domain, codomain and image -->
+
+<xs:element name="domain" type="Functions.type"/>
+<xs:element name="codomain" type="Functions.type"/>
+<xs:element name="image" type="Functions.type"/>
+
+<!-- "domainofapplication" -->
+
+<xs:group name="domainofapplication.content">
+  <xs:sequence>
+     <xs:group ref="Content-expr.class"/>
+  </xs:sequence>
+</xs:group>
+
+<xs:complexType name="domainofapplication.type">
+  <xs:group ref="domainofapplication.content"/>
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:complexType>
+
+<xs:element name="domainofapplication" type="domainofapplication.type"/>
+
+<!-- identity -->
+
+<xs:element name="ident" type="Functions.type"/>
+
+<!-- And the group of everything -->
+
+<xs:group name="Content-functions.class">
+  <xs:choice>
+    <xs:element ref="compose"/>
+    <xs:element ref="domain"/>
+    <xs:element ref="codomain"/>
+    <xs:element ref="image"/>
+    <xs:element ref="domainofapplication"/>
+    <xs:element ref="ident"/>
+  </xs:choice>
+</xs:group>
+
+</xs:schema>
+<!--
+  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
+  of Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University). All Rights Reserved. See
+  http://www.w3.org/Consortium/Legal/.
+  -->

package/dist/catalog/mathml2/xsd/content/linear-algebra.xsd

@@ -0,0 +1,173 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<xs:schema 
+  xmlns:xs="http://www.w3.org/2001/XMLSchema"
+  xmlns="http://www.w3.org/1998/Math/MathML"
+  targetNamespace="http://www.w3.org/1998/Math/MathML"
+  elementFormDefault="qualified"
+ >
+
+<xs:annotation>
+  <xs:documentation>
+  This is an XML Schema module for the linear algebra part of content MathML.
+  Author: St&#233;phane Dalmas, INRIA.
+  </xs:documentation>
+</xs:annotation>
+
+<!-- "vector" -->
+
+<xs:attributeGroup name="vector.attlist">
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:group name="vector.content">
+  <xs:sequence>
+    <xs:group ref="Content-expr.class"/>
+  </xs:sequence>
+</xs:group>
+
+<xs:complexType name="vector.type">
+  <xs:group ref="vector.content" minOccurs="1" maxOccurs="unbounded"/>
+  <xs:attributeGroup ref="vector.attlist"/>
+</xs:complexType>
+
+<xs:element name="vector" type="vector.type"/>
+
+<!-- "matrix" -->
+
+<xs:attributeGroup name="matrix.attlist">
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:group name="matrix.content">
+  <xs:sequence>
+    <xs:element ref="matrixrow"/>
+  </xs:sequence>
+</xs:group>
+
+<xs:complexType name="matrix.type">
+  <xs:group ref="matrix.content"  minOccurs="1" maxOccurs="unbounded"/>
+  <xs:attributeGroup ref="matrix.attlist"/>
+</xs:complexType>
+
+<xs:element name="matrix" type="matrix.type"/>
+
+<!-- "matrixrow" -->
+
+<xs:attributeGroup name="matrixrow.attlist">
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:group name="matrixrow.content">
+  <xs:sequence>
+    <xs:group ref="Content-expr.class"/>
+  </xs:sequence>
+</xs:group>
+
+<xs:complexType name="matrixrow.type">
+  <xs:group ref="matrixrow.content"  minOccurs="1" maxOccurs="unbounded"/>
+  <xs:attributeGroup ref="matrixrow.attlist"/>
+</xs:complexType>
+
+<xs:element name="matrixrow" type="matrixrow.type"/>
+
+<!-- "determinant" -->
+
+<xs:attributeGroup name="determinant.attlist">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:complexType name="determinant.type">
+  <xs:attributeGroup ref="determinant.attlist"/>
+</xs:complexType>
+
+<xs:element name="determinant" type="determinant.type"/>
+
+<!-- "transpose" -->
+
+<xs:attributeGroup name="transpose.attlist">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:complexType name="transpose.type">
+  <xs:attributeGroup ref="transpose.attlist"/>
+</xs:complexType>
+
+<xs:element name="transpose" type="transpose.type"/>
+
+<!-- "selector" -->
+
+<xs:attributeGroup name="selector.attlist">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:complexType name="selector.type">
+  <xs:attributeGroup ref="selector.attlist"/>
+</xs:complexType>
+
+<xs:element name="selector" type="selector.type"/>
+
+<!-- "vectorproduct" -->
+
+<xs:attributeGroup name="vectorproduct.attlist">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:complexType name="vectorproduct.type">
+  <xs:attributeGroup ref="vectorproduct.attlist"/>
+</xs:complexType>
+
+<xs:element name="vectorproduct" type="vectorproduct.type"/>
+
+<!-- "scalarproduct" -->
+
+<xs:attributeGroup name="scalarproduct.attlist">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:complexType name="scalarproduct.type">
+  <xs:attributeGroup ref="scalarproduct.attlist"/>
+</xs:complexType>
+
+<xs:element name="scalarproduct" type="scalarproduct.type"/>
+
+<!-- "outerproduct" -->
+
+<xs:attributeGroup name="outerproduct.attlist">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:complexType name="outerproduct.type">
+  <xs:attributeGroup ref="outerproduct.attlist"/>
+</xs:complexType>
+
+<xs:element name="outerproduct" type="outerproduct.type"/>
+
+<!-- And the group of everything -->
+
+<xs:group name="Content-linear-algebra.class">
+  <xs:choice>
+     <xs:element ref="vector"/>
+     <xs:element ref="matrix"/>
+     <xs:element ref="determinant"/>
+     <xs:element ref="transpose"/>
+     <xs:element ref="selector"/>
+     <xs:element ref="vectorproduct"/>
+     <xs:element ref="scalarproduct"/>
+     <xs:element ref="outerproduct"/>
+  </xs:choice>
+</xs:group>
+</xs:schema>
+
+<!--
+  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
+  of Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University). All Rights Reserved. See
+  http://www.w3.org/Consortium/Legal/.
+  -->

package/dist/catalog/mathml2/xsd/content/logic.xsd

@@ -0,0 +1,53 @@
+<xs:schema 
+  xmlns:xs="http://www.w3.org/2001/XMLSchema"
+  xmlns="http://www.w3.org/1998/Math/MathML"
+  targetNamespace="http://www.w3.org/1998/Math/MathML"
+  elementFormDefault="qualified"
+ >
+
+<xs:annotation>
+  <xs:documentation>
+  This is an XML Schema module for the logic operators of content MathML.
+  Author: St&#233;phane Dalmas, INRIA.
+  </xs:documentation>
+</xs:annotation>
+
+<!-- a common type for all this -->
+
+<xs:complexType name="Logic.type">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:complexType>
+
+<xs:element name="and" type="Elementary-functions.type"/>
+<xs:element name="or" type="Logic.type"/>
+<xs:element name="xor" type="Logic.type"/>
+
+<xs:element name="not" type="Logic.type"/>
+
+<xs:element name="exists" type="Logic.type"/>
+<xs:element name="forall" type="Logic.type"/>
+
+<xs:element name="implies" type="Logic.type"/>
+
+<!-- And the group of everything -->
+
+<xs:group name="Content-logic.class">
+  <xs:choice>
+    <xs:element ref="and"/>
+    <xs:element ref="or"/>
+    <xs:element ref="xor"/>
+    <xs:element ref="not"/>
+    <xs:element ref="exists"/>
+    <xs:element ref="forall"/>
+    <xs:element ref="implies"/>
+  </xs:choice>
+</xs:group>
+
+</xs:schema>
+<!--
+  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
+  of Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University). All Rights Reserved. See
+  http://www.w3.org/Consortium/Legal/.
+  -->

package/dist/catalog/mathml2/xsd/content/relations.xsd

@@ -0,0 +1,55 @@
+<xs:schema 
+  xmlns:xs="http://www.w3.org/2001/XMLSchema"
+  xmlns="http://www.w3.org/1998/Math/MathML"
+  targetNamespace="http://www.w3.org/1998/Math/MathML"
+  elementFormDefault="qualified"
+ >
+
+<xs:annotation>
+  <xs:documentation>
+  This is an XML Schema module for the relational operators of content MathML.
+  Author: St&#233;phane Dalmas, INRIA.
+  </xs:documentation>
+</xs:annotation>
+
+<!-- a common type for all this -->
+<xs:complexType name="Relations.type">
+  <xs:attributeGroup ref="Definition.attrib"/>
+  <xs:attributeGroup ref="Common.attrib"/>
+</xs:complexType>
+
+<xs:element name="eq" type="Relations.type"/>
+<xs:element name="neq" type="Relations.type"/>
+<xs:element name="leq" type="Relations.type"/>
+<xs:element name="lt" type="Relations.type"/>
+<xs:element name="geq" type="Relations.type"/>
+<xs:element name="gt" type="Relations.type"/>
+
+<xs:element name="equivalent" type="Relations.type"/>
+
+<xs:element name="approx" type="Relations.type"/>
+
+<xs:element name="factorof" type="Relations.type"/>
+
+<!-- And the group of everything -->
+<xs:group name="Content-relations.class">
+  <xs:choice>
+    <xs:element ref="eq"/>
+    <xs:element ref="neq"/>
+    <xs:element ref="leq"/>
+    <xs:element ref="lt"/>
+    <xs:element ref="geq"/>
+    <xs:element ref="gt"/>
+    <xs:element ref="equivalent"/>
+    <xs:element ref="approx"/>
+    <xs:element ref="factorof"/>
+  </xs:choice>
+</xs:group>
+
+</xs:schema>
+<!--
+  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
+  of Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University). All Rights Reserved. See
+  http://www.w3.org/Consortium/Legal/.
+  -->

package/dist/catalog/mathml2/xsd/content/semantics.xsd

@@ -0,0 +1,85 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<xs:schema 
+  xmlns:xs="http://www.w3.org/2001/XMLSchema"
+  xmlns="http://www.w3.org/1998/Math/MathML"
+  targetNamespace="http://www.w3.org/1998/Math/MathML"
+  elementFormDefault="qualified"
+ >
+
+<xs:annotation>
+  <xs:documentation>
+  This is an XML Schema module for the "sematics" element of content MathML.
+  Author: St&#233;phane Dalmas, INRIA.
+  </xs:documentation>
+</xs:annotation>
+
+<!-- "annotation" -->
+
+<xs:attributeGroup name="annotation.attlist">
+   <xs:attribute name="encoding" type="xs:string"/>
+   <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:complexType name="annotation.type" mixed="true">
+  <xs:attributeGroup ref="annotation.attlist"/>
+</xs:complexType>
+
+<xs:element name="annotation" type="annotation.type"/>
+
+<!-- "annotation-xml" -->
+
+<xs:attributeGroup name="annotation-xml.attlist">
+   <xs:attribute name="encoding" type="xs:string"/>
+   <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:group name="annotation-xml.content">
+   <xs:sequence>
+     <xs:any processContents="lax"/>    
+   </xs:sequence>
+</xs:group>
+
+<xs:complexType name="annotation-xml.type">
+   <xs:group ref="annotation-xml.content"/>
+   <xs:attributeGroup ref="annotation-xml.attlist"/>
+</xs:complexType>
+
+<xs:element name="annotation-xml" type="annotation-xml.type"/>
+
+<!-- "semantics" -->
+
+<xs:attributeGroup name="semantics.attlist">
+   <xs:attribute name="encoding" type="xs:string"/>
+   <xs:attribute name="definitionURL" type="xs:anyURI"/>
+   <xs:attributeGroup ref="Common.attrib"/>
+</xs:attributeGroup>
+
+<xs:group name="Annotation.class">
+  <xs:choice>
+    <xs:element ref="annotation"/>
+    <xs:element ref="annotation-xml"/>
+  </xs:choice>
+</xs:group>
+
+<xs:group name="semantics.content">
+  <xs:sequence>
+    <xs:group ref="Content-expr.class"/>
+    <xs:group ref="Annotation.class" minOccurs="1" maxOccurs="unbounded"/>
+  </xs:sequence>
+</xs:group>
+
+<xs:complexType name="semantics.type">
+  <xs:group ref="semantics.content"  minOccurs="1" maxOccurs="unbounded"/>
+  <xs:attributeGroup ref="semantics.attlist"/>
+</xs:complexType>
+
+<xs:element name="semantics" type="semantics.type"/>
+
+</xs:schema>
+<!--
+  Copyright &#251; 2002 World Wide Web Consortium, (Massachusetts Institute
+  of Technology, Institut National de Recherche en Informatique et en
+  Automatique, Keio University). All Rights Reserved. See
+  http://www.w3.org/Consortium/Legal/.
+  -->