=================================================================== RCS file: /home/cvs/OpenXM/doc/calc2000/design-outline.tex,v retrieving revision 1.2 retrieving revision 1.4 diff -u -p -r1.2 -r1.4 --- OpenXM/doc/calc2000/design-outline.tex 2000/04/24 05:01:29 1.2 +++ OpenXM/doc/calc2000/design-outline.tex 2000/04/24 07:17:13 1.4 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/doc/calc2000/design-outline.tex,v 1.1.1.1 2000/04/24 04:20:11 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} @@ -156,24 +156,26 @@ 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} +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. +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. @@ -190,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.