version 1.4, 2000/01/07 07:52:26 |
version 1.5, 2000/01/11 05:35:48 |
|
|
% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.3 2000/01/03 04:27:52 takayama Exp $ |
% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.4 2000/01/07 07:52:26 ohara Exp $ |
|
|
\section{Design Outline} |
\section{Design Outline} |
|
|
Line 47 and it had its own serialization method for objects. |
|
Line 47 and it had its own serialization method for objects. |
|
A robust interruption method was provided by having two communication channels |
A robust interruption method was provided by having two communication channels |
like ftp, which implements the simple network management protocol. |
like ftp, which implements the simple network management protocol. |
As an application of this robust and interactive distributed computation |
As an application of this robust and interactive distributed computation |
system, |
system, speed-up was achieved for a huge Gr\"obner basis computation |
a huge Gr\"obner basis was computed |
to determine all odd order replicable functions |
to determine all replicable functions by Noro and McKay \cite{noro-mckay}. |
by Noro and McKay \cite{noro-mckay}. |
However, the protocol was closed in asir and we thought that we should |
However, the protocol was closed in Asir and we thought that we should |
design an open protocol. |
design an open protocol. |
\item Takayama, who is also one of the authors of OpenXM, has developed |
\item Takayama, who is also one of the authors of OpenXM, has developed |
a special purpose computer algebra system Kan/sm1 \cite{kan}, |
a special purpose computer algebra system Kan/sm1 \cite{kan}, |
Line 60 In order to implement algorithms in D-modules due to O |
|
Line 60 In order to implement algorithms in D-modules due to O |
|
(see, e.g., \cite{sst-book}), |
(see, e.g., \cite{sst-book}), |
factorizations and primary ideal decompositions were necessary. |
factorizations and primary ideal decompositions were necessary. |
Kan/sm1 does not have an implementation for these and called |
Kan/sm1 does not have an implementation for these and called |
Risa/asir as a C library or a unix external program. |
Risa/Asir as a C library or a UNIX external program. |
This approach was not satisfactory. |
This approach was not satisfactory. |
Especially, we could not write a clean interface code between these |
Especially, we could not write a clean interface code between these |
two systems. |
two systems. |
We thought that it is necessary to provide a data and control protocol |
We thought that it is necessary to provide a data and control protocol |
for Risa/asir to work as a server of factorization and primary ideal |
for Risa/Asir to work as a server of factorization and primary ideal |
decomposition. |
decomposition. |
\item The number of mathematical softwares is increasing rapidly in the last |
\item The number of mathematical softwares is increasing rapidly in the last |
decade of the 20th century. |
decade of the 20th century. |
Line 82 softwares or users who need these systems only occasio |
|
Line 82 softwares or users who need these systems only occasio |
|
a unified system will be more convenient. |
a unified system will be more convenient. |
For example, if we can call and use mathematical softwares |
For example, if we can call and use mathematical softwares |
like CoCoa, GAP, Macaulay2, Porta, Singular, Snapea, $\ldots$ |
like CoCoa, GAP, Macaulay2, Porta, Singular, Snapea, $\ldots$ |
from Asir, Axion, Maple, muPAD, Mathematica, and so on, |
from Asir, Axiom, Maple, muPAD, Mathematica, and so on, |
it will be wonderful in research and education |
it will be wonderful in research and education |
of mathematics. This is an unification of user interfaces of mathematical |
of mathematics. This is an unification of user interfaces of mathematical |
softwares. |
softwares. |
\item We believe that open integrated systems is a future of mathematical |
\item We believe that an open integrated system is a future of mathematical |
softwares. |
softwares. |
However, it might be just a dream without realizability. |
However, it might be just a dream without realizability. |
We wanted to build a prototype system of such an open system by using |
We want to build a prototype system of such an open system by using |
existing standards, technologies and several mathematical softwares. |
existing standards, technologies and several mathematical softwares. |
We want to see how far we can go with this approach. |
We want to see how far we can go with this approach. |
\end{enumerate} |
\end{enumerate} |
Line 122 We are implementing a package, OpenXM package, |
|
Line 122 We are implementing a package, OpenXM package, |
|
which aims to realize our wishes stated as motivations. |
which aims to realize our wishes stated as motivations. |
It is based on above fundamental architecture. |
It is based on above fundamental architecture. |
For example, the following is a command sequence to ask $1+1$ from |
For example, the following is a command sequence to ask $1+1$ from |
the asir client to the OX sm1 server: |
the Asir client to the OX sm1 server: |
\begin{verbatim} |
\begin{verbatim} |
P = sm1_start(); |
P = sm1_start(); |
ox_push_cmo(P,1); ox_push_cmo(P,1); |
ox_push_cmo(P,1); ox_push_cmo(P,1); |
Line 131 the asir client to the OX sm1 server: |
|
Line 131 the asir client to the OX sm1 server: |
|
The current system, OpenXM on TCP/IP, |
The current system, OpenXM on TCP/IP, |
uses client-server model and the TCP/IP is used for interprocess |
uses client-server model and the TCP/IP is used for interprocess |
communications. |
communications. |
A prototype OpenXM system on MPI \cite{MPI} already exists for Risa/asir and |
A prototype OpenXM system on MPI \cite{MPI} already exists for Risa/Asir and |
a general OpenXM on MPI is a work in progress. |
a general OpenXM on MPI is a work in progress. |
However, we focus only on the system based on TCP/IP in this paper. |
However, we focus only on the system based on TCP/IP in this paper. |
|
|