=================================================================== RCS file: /home/cvs/OpenXM/doc/ascm2001p/data-format.tex,v retrieving revision 1.1 retrieving revision 1.4 diff -u -p -r1.1 -r1.4 --- OpenXM/doc/ascm2001p/data-format.tex 2001/06/19 07:32:58 1.1 +++ OpenXM/doc/ascm2001p/data-format.tex 2001/06/21 01:02:19 1.4 @@ -1,23 +1,22 @@ -% $OpenXM$ +% $OpenXM: OpenXM/doc/ascm2001p/data-format.tex,v 1.3 2001/06/21 00:15:34 takayama Exp $ \section{Data Format} -OpenXM admits multiple mathematical encodings such as OpenMath, MP, CMO -(Common Mathematical Object format). -OpenXM itself does not exhibit a bias towards a particular encodings -as a main mathematical data carrier and an OpenXM compliant system do not need to +OpenXM admits multiple mathematical encodings such as OpenMath, MP, CMO. +OpenXM itself does not exhibit a bias towards a particular encoding +as a main mathematical data carrier and an OpenXM compliant system +does not need to implement all possible data formats. However they should at least implement seven primitive data types of the CMO, which are necessary to -carry several control informations such as a {\it mathcap}. -Mathcap is a list of supported CMO's, OpenXM stack machine codes, -and necessary extra informations. -If a program sends an OX messages unknown to its peer, +carry various control information such as a {\it mathcap}\cite{ox-rfc-100}. +Mathcap is a list of supported CMO's, OX stack machine codes, +and necessary extra information. +If a program sends an OX message unknown to its peer, an unrecoverable error may occur. By exchanging mathcaps, a program knows its peer's capability and such an error can be avoided. Mathcap is also defined as a CMO. -See \cite{ox-rfc-100} for the details. Encoding types of OX data are distinguished with tags of OX messages. @@ -31,7 +30,7 @@ The following seven primitive types should be implemen on all OpenXM compliant systems: \verb+CMO_ERROR2+, \verb+CMO_NULL+, \verb+CMO_INT32+, \verb+CMO_DATUM+, \verb+CMO_STRING+, \verb+CMO_MATHCAP+, \verb+CMO_LIST+. -As to the formats of other CMO's and XML, see \cite{ox-rfc-100}. +As to the formats of other CMO's and XML, see the OpenXM-RFC-100\cite{ox-rfc-100}. %Let us explain the data format of CMO.