version 1.4, 2001/06/20 05:42:47 |
version 1.6, 2001/06/21 03:13:35 |
|
|
% $OpenXM: OpenXM/doc/ascm2001p/heterotic-network.tex,v 1.3 2001/06/20 02:09:45 takayama Exp $ |
% $OpenXM: OpenXM/doc/ascm2001p/heterotic-network.tex,v 1.5 2001/06/21 00:15:34 takayama Exp $ |
\section{Applications} |
\section{Applications} |
|
|
\subsection{Heterogeneous Servers} |
\subsection{Heterogeneous Servers} |
Line 10 like a subroutine. |
|
Line 10 like a subroutine. |
|
Since OpenXM provides a universal stack machine which does not |
Since OpenXM provides a universal stack machine which does not |
depend on each server, |
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 mathematical software system by assembling |
different OpenXM servers. |
different OpenXM servers. |
OpenXM servers currently provide 1077 functions |
OpenXM servers currently provide 1077 functions |
\cite{openxm-1077}. |
\cite{openxm-1077}. |
Line 113 and $\beta \in {\bf C}^d$. |
|
Line 113 and $\beta \in {\bf C}^d$. |
|
The book by Saito, Sturmfels and Takayama \cite{sst-book} |
The book by Saito, Sturmfels and Takayama \cite{sst-book} |
discusses algorithmic methods to construct series solutions of the GKZ |
discusses algorithmic methods to construct series solutions of the GKZ |
system. |
system. |
The current Asir-contrib-HG package is built in order to implement |
The current Asir-contrib/Hypergeoemtric package is built in order to implement |
these algorithms. |
these algorithms. |
What we need for the implementation are mainly |
What we need for the implementation are mainly |
(1) Gr\"obner basis computation both in the ring of polynomials |
(1) Gr\"obner basis computation both in the ring of polynomials |