=================================================================== RCS file: /home/cvs/OpenXM/doc/calc2000/design-outline.tex,v retrieving revision 1.1.1.1 retrieving revision 1.2 diff -u -p -r1.1.1.1 -r1.2 --- 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 05:01:29 1.2 @@ -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.1.1.1 2000/04/24 04:20:11 noro Exp $ \section{Integration of Mathematical Software} @@ -149,43 +149,32 @@ 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} - +\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 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} - 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} - 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} +\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