[BACK]Return to design-outline.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / calc2000

Diff for /OpenXM/doc/calc2000/design-outline.tex between version 1.2 and 1.4

version 1.2, 2000/04/24 05:01:29 version 1.4, 2000/04/24 07:17:13
Line 1 
Line 1 
 % $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}  \section{Integration of Mathematical Software}
   
Line 156  system. It provides almost
Line 156  system. It provides almost
 all functinalities of Risa/Asir such as polynomial factorization,  all functinalities of Risa/Asir such as polynomial factorization,
 Gr\"obner basis computation and primary ideal decomposition.  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  A server for Kan/sm1 \cite{kan}, a system for computation in
 analysis.  the ring of differential operators including computation of Gr\"obner bases
 \item {\tt ox\_sm1\_phc}  and cohomology groups.
   \item {\tt ox\_phc}
 A server for PHC pack \cite{phc}, a general-purpose solver for  A server for PHC pack \cite{phc}, a general-purpose solver for
 polynomial systems by homotopy continuation. It is available only  polynomial systems by homotopy continuation.
 on Linux.  \item {\tt ox\_tigers}
 \item {\tt ox\_sm1\_tigers}  
 A server for TiGERS \cite{tigers}, a system to enumerate  A server for TiGERS \cite{tigers}, a system to enumerate
 all Gr\"obner bases of affine toric ideals.  all Gr\"obner bases of affine toric ideals.
 It can be used to determine the state polytope  It can be used to determine the state polytope
 of a given affine toric ideal.  of a given affine toric ideal.
 \item {\tt ox\_sm1\_gnuplot}  \item {\tt ox\_gnuplot}
 A server for GNUPLOT, a famous plotting tool.  A server for GNUPLOT, a famous plotting tool.
 \item {\tt ox\_math}  \item {\tt ox\_math}
 A server for Mathematica.  A server for Mathematica.
 \item {\tt OMproxy}  \item {\tt OMproxy}
 A server for translation between CMO and OpenMath/XML expressions.  A server for translation between CMO and OpenMath/XML expressions.
 It is written in Java.  It is written in Java.
   This module provides Java classes OXmessage, CMO, and SM
   for the OpenXM protocol, too.
 \end{description}  \end{description}
 In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica  In addition to these servers, Risa/Asir, Kan/sm1 and Mathematica
 can act as clients.  can act as clients.
Line 190  The OpenXM on MPI \cite{MPI} is currently running on R
Line 192  The OpenXM on MPI \cite{MPI} is currently running on R
 as we will see in Section \ref{section:homog}.  as we will see in Section \ref{section:homog}.
 In this paper, we discuss only on systems for TCP/IP  In this paper, we discuss only on systems for TCP/IP
 to concentrate on the core part of our design.  to concentrate on the core part of our design.
   Note that a C library interface is available for some servers.
   
   
   
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.4
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>