=================================================================== RCS file: /home/cvs/OpenXM/doc/calc2000p/calc2000.tex,v retrieving revision 1.1.1.1 retrieving revision 1.2 diff -u -p -r1.1.1.1 -r1.2 --- OpenXM/doc/calc2000p/calc2000.tex 2000/06/27 06:47:52 1.1.1.1 +++ OpenXM/doc/calc2000p/calc2000.tex 2000/06/30 00:33:34 1.2 @@ -1,4 +1,4 @@ -%$OpenXM$ +%$OpenXM: OpenXM/doc/calc2000p/calc2000.tex,v 1.1.1.1 2000/06/27 06:47:52 noro Exp $ %% You need acmconf.cls and flushend.sty to compile this file. %% They may be obtained from %% http://riksun.riken.go.jp/archives/tex-archive/macros/latex/contrib/supported/acmconf/ @@ -34,5 +34,89 @@ Kobe University } \maketitle -\input{design-outline} +OpenXM (Open message eXchange protocol for Mathematics) +is a project aiming to integrate data, control and user interfaces +with the following fundamental architecture. +\begin{enumerate} +\item Communication is an exchange of {\it OX (OpenXM) messages}, +which are classified into three types: +DATA, COMMAND, and SPECIAL. +{\it OX data messages} wrap mathematical data. +We use standards of mathematical data formats such as OpenMath and MP +as well as our own data format {\it CMO} +({\it Common Mathematical Object format}). +\item Each server, which provides services to other processes, is a stack machine. The stack machine is called the {\it OX stack machine}. +Existing mathematical software tools are wrapped with this stack machine. +\item Any server may have a hybrid interface; +it may accept and execute not only stack machine commands, +but also its original command sequences. +For example, +if we send the following string to the {\tt ox\_asir} server +(OpenXM server based on Risa/Asir)\\ +\verb+ "fctr(x^100-y^100);"+\\ +and call the stack machine command\\ +\verb+ SM_executeStringByLocalParser+\\ +then the server executes the asir command +\verb+fctr(x^100-y^100);+ +(factorize $x^{100}-y^{100}$ over ${\bf Q}$) +and pushes the result onto the stack. +\item Network transparent supports for controlling servers are provided. +For example OpenXM defines a robust reset procedure to restart computations +without any confusion in I/O buffers. +It is very useful for debugging programs running on distributed environment. +\end{enumerate} +%OpenXM has been designed and implemented from experimental mathematician's +%point of view, i.e., +OpenXM is supposed to be used to connect mathematical +softwares in the academic community and to test new ideas in distributed +algorithms in mathematics. +Currently the following servers are available in the OpenXM package. + +\begin{description} +\item{\tt ox\_asir} +A server for Risa/Asir, a general-purpose computer algebra +system. It provides almost +all functionalities of Risa/Asir such as polynomial factorization, +Gr\"obner basis computation and primary ideal decomposition. +\item{\tt ox\_sm1} +A server for Kan/sm1, a system for computation in +the ring of differential operators including computation of Gr\"obner bases +and cohomology groups. +\item {\tt ox\_phc} +A server for PHC pack, a general-purpose solver for +polynomial systems by homotopy continuation. +\item {\tt ox\_tigers} +A server for TiGERS, a system to enumerate +all Gr\"obner bases of affine toric ideals. +It can be used to determine the state polytope +of a given affine toric ideal. +\item {\tt ox\_gnuplot} +A server for GNUPLOT, a famous plotting tool. +\item {\tt ox\_math} +A server for Mathematica. +\item {\tt OMproxy} +A server for translation between CMO and OpenMath/XML expressions. +It is written in Java. +This module provides Java classes OXmessage, CMO, and SM +for the OpenXM protocol, too. +\end{description} +In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica +can act as clients. +For example, the following is a command sequence to ask $1+1$ from +the Asir client to the {\tt ox\_sm1} server: +\begin{verbatim} + P = sm1_start(); ox_push_cmo(P,1); ox_push_cmo(P,1); + ox_execute_string(P,"add"); ox_pop_cmo(P); +\end{verbatim} +The OpenXM package is implemented on the OpenXM for TCP/IP, +which uses the client-server model. +The OpenXM on MPI is currently tested on Risa/Asir, +where collective operations such as broadcast and reduction +are implemented to achieve a real speedup for massively parallel cases. +A C library interface is available for some servers. +The source code and binary packages are distributed from +{\tt http://www.openxm.org}. +The current version is 1.1.2. +Documents and a full paper including references are available +from this cite, too. \end{document}