version 1.3, 2001/06/20 02:09:45 |
version 1.4, 2001/06/20 05:42:47 |
|
|
% $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} |
\section{Applications} |
|
|
\subsection{Heterogeneous Servers} |
\subsection{Heterogeneous Servers} |
|
|
By using OpenXM, we can treat OpenXM servers essentially |
By using OpenXM, we can treat OpenXM servers essentially |
like a subroutine. |
like a subroutine. |
Since OpenXM provides a universal stack machine which does not |
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. |
it is relatively easy to install new servers. |
We can build a new computer math system by assembling |
We can build a new computer math system by assembling |
different OpenXM servers. |
different OpenXM servers. |
Line 16 OpenXM servers currently provide 1077 functions |
|
Line 16 OpenXM servers currently provide 1077 functions |
|
\cite{openxm-1077}. |
\cite{openxm-1077}. |
We can use these as building blocks for a new system. |
We can use these as building blocks for a new system. |
|
|
We present an example of a custom-made system |
%We present an example of a custom-made system |
built by OpenXM servers. |
%built by OpenXM servers. |
|
|
%\subsubsection{Computation of annihilating ideals by kan/sm1 and ox\_asir} |
%\subsubsection{Computation of annihilating ideals by kan/sm1 and ox\_asir} |
% |
% |
Line 104 built by OpenXM servers. |
|
Line 104 built by OpenXM servers. |
|
%\label{katsura} |
%\label{katsura} |
%\end{figure} |
%\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 |
GKZ hypergeometric system is a system of linear partial differential |
equations associated to $A=(a_{ij})$ |
equations associated to $A=(a_{ij})$ |
(an integer $d\times n$-matrix of rank $d$) |
(an integer $d\times n$-matrix of rank $d$) |
Line 125 Asir and kan/sm1 provide functions for (1), |
|
Line 125 Asir and kan/sm1 provide functions for (1), |
|
{\tt TiGERS} provides a function for (2), |
{\tt TiGERS} provides a function for (2), |
and |
and |
Asir provides a function for (3). |
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. |
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. |
for details. |
|
|
%Let us see an example how to construct series solution of a GKZ hypergeometric |
%Let us see an example how to construct series solution of a GKZ hypergeometric |