=================================================================== RCS file: /home/cvs/OpenXM/doc/ascm2001p/heterotic-network.tex,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/doc/ascm2001p/heterotic-network.tex 2001/06/20 02:09:45 1.3 +++ OpenXM/doc/ascm2001p/heterotic-network.tex 2001/06/20 05:42:47 1.4 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/doc/ascm2001p/heterotic-network.tex,v 1.2 2001/06/20 01:54:05 takayama Exp $ +% $OpenXM: OpenXM/doc/ascm2001p/heterotic-network.tex,v 1.3 2001/06/20 02:09:45 takayama Exp $ \section{Applications} \subsection{Heterogeneous Servers} @@ -8,7 +8,7 @@ By using OpenXM, we can treat OpenXM servers essentially like a subroutine. Since OpenXM provides a universal stack machine which does not -depend each servers, +depend on each server, it is relatively easy to install new servers. We can build a new computer math system by assembling different OpenXM servers. @@ -16,8 +16,8 @@ OpenXM servers currently provide 1077 functions \cite{openxm-1077}. We can use these as building blocks for a new system. -We present an example of a custom-made system -built by OpenXM servers. +%We present an example of a custom-made system +%built by OpenXM servers. %\subsubsection{Computation of annihilating ideals by kan/sm1 and ox\_asir} % @@ -104,8 +104,8 @@ built by OpenXM servers. %\label{katsura} %\end{figure} -\subsubsection{Asir-contrib-HG package to solve GKZ hypergeometric systems} - +Asir-contrib/Hypergeometric package is an +example of a custom-made system built by OpenXM servers. GKZ hypergeometric system is a system of linear partial differential equations associated to $A=(a_{ij})$ (an integer $d\times n$-matrix of rank $d$) @@ -125,9 +125,10 @@ Asir and kan/sm1 provide functions for (1), {\tt TiGERS} provides a function for (2), and Asir provides a function for (3). -These software systems communicate each other by OpenXM-RFC 100 protocol +These software systems communicate with each other +by the OpenXM-RFC 100 protocol and form a unified package for GKZ hypergeometric systems. -See the chapter of dsolv of Asir Contrib User's manual \cite{openxm-web} +See the chapter of {\tt dsolv} of Asir Contrib User's manual \cite{openxm-web} for details. %Let us see an example how to construct series solution of a GKZ hypergeometric