OpenXM/doc/ascm2001p/data-format.tex - diff

Return to data-format.tex CVS log

Up to [local] / OpenXM / doc / ascm2001p

version 1.1, 2001/06/19 07:32:58

version 1.3, 2001/06/21 00:15:34

Line 1

% $OpenXM$

% $OpenXM: OpenXM/doc/ascm2001p/data-format.tex,v 1.2 2001/06/20 05:42:47 takayama Exp $

\section{Data Format}

OpenXM admits multiple mathematical encodings such as OpenMath, MP, CMO

OpenXM admits multiple mathematical encodings such as OpenMath, MP, CMO.

(Common Mathematical Object format).

OpenXM itself does not exhibit a bias towards a particular encoding

OpenXM itself does not exhibit a bias towards a particular encodings

as a main mathematical data carrier and an OpenXM compliant system

as a main mathematical data carrier and an OpenXM compliant system do not need to

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}.

carry various control information such as a {\it mathcap}\cite{ox-rfc-100}.

Mathcap is a list of supported CMO's, OpenXM stack machine codes,

Mathcap is a list of supported CMO's, OX stack machine codes,

and necessary extra informations.

and necessary extra information.

If a program sends an OX messages unknown to its peer,

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.

Line 31 The following seven primitive types should be implemen

Line 30 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 OX-RFC-100\cite{ox-rfc-100}.

%Let us explain the data format of CMO.