=================================================================== RCS file: /home/cvs/OpenXM/doc/calc2000/design-outline.tex,v retrieving revision 1.1.1.1 retrieving revision 1.4 diff -u -p -r1.1.1.1 -r1.4 --- OpenXM/doc/calc2000/design-outline.tex 2000/04/24 04:20:11 1.1.1.1 +++ OpenXM/doc/calc2000/design-outline.tex 2000/04/24 07:17:13 1.4 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.13 2000/01/17 08:06:15 noro Exp $ +% $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.3 2000/04/24 06:38:27 takayama Exp $ \section{Integration of Mathematical Software} @@ -149,43 +149,34 @@ OpenXM package is implemented on above fundamental ar Currently the following servers are available in the OpenXM package \cite{openxm-web}. -\begin{itemize} -\item {\tt ox\_asir} - +\begin{description} +\item{\tt ox\_asir} A server for Risa/Asir, a general-purpose computer algebra system. It provides almost all functinalities of Risa/Asir such as polynomial factorization, Gr\"obner basis computation and primary ideal decomposition. -\item {\tt ox\_sm1} - -A server for Kan/sm1 \cite{kan}, a system for computation in algebraic -analysis. - -\item {\tt ox\_sm1\_phc} - +\item{\tt ox\_sm1} +A server for Kan/sm1 \cite{kan}, 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 \cite{phc}, a general-purpose solver for -polynomial systems by homotopy continuation. It is available only -on Linux. - -\item {\tt ox\_sm1\_tigers} - +polynomial systems by homotopy continuation. +\item {\tt ox\_tigers} A server for TiGERS \cite{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\_sm1\_gnuplot} - +\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. -\end{itemize} +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 @@ -201,7 +192,7 @@ The OpenXM on MPI \cite{MPI} is currently running on R as we will see in Section \ref{section:homog}. In this paper, we discuss only on systems for TCP/IP to concentrate on the core part of our design. - +Note that a C library interface is available for some servers.