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