version 1.7, 2000/01/15 03:23:59 |
version 1.8, 2000/01/15 03:47:58 |
|
|
% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.6 2000/01/15 02:24:18 takayama Exp $ |
% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.7 2000/01/15 03:23:59 takayama Exp $ |
|
|
\section{Design Outline} |
\section{Design Outline} |
|
|
Line 47 and it had its own serialization. |
|
Line 47 and it had its own serialization. |
|
A robust interruption method was provided by having two communication channels |
A robust interruption method was provided by having two communication channels |
like ftp. |
like ftp. |
As an application of this robust and the interactive distributed computation |
As an application of this robust and the interactive distributed computation |
system, speed-up was achieved for a huge Gr\"obner basis computation |
system, speed-up was achieved for a huge Gr\"obner basis computation, |
|
for example, |
to determine all odd order replicable functions |
to determine all odd order replicable functions |
by Noro and McKay \cite{noro-mckay}. |
(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 has developed |
\item Takayama has developed |
Line 59 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 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. |
Line 112 it should follow a grammar that can be parsed with oth |
|
Line 113 it should follow a grammar that can be parsed with oth |
|
\item Any server may have a hybrid interface; |
\item Any server may have a hybrid interface; |
it may accept and execute its original command sequences. |
it may accept and execute its original command sequences. |
For example, |
For example, |
if we send the following string to ox\_asir server |
if we send the following string to ox\_asir server \\ |
{\footnotesize |
\verb+ " fctr(x^10-y^10); " + \\ |
\begin{verbatim} |
and call the stanck machine command \\ |
" fctr(x^10-y^10); " |
\verb+ SM\_executeStringByLocalParser + \\ |
\end{verbatim} |
then the server executes the asir command \\ |
} |
|
and call the stanck machine command |
|
SM\_executeStringByLocalParser, |
|
then the server executes the asir command |
|
\verb+ fctr(x^10-y^10); + |
\verb+ fctr(x^10-y^10); + |
(factorize $x^10-y^10$ over ${\bf Q}$) |
(factorize $x^10-y^10$ over ${\bf Q}$) |
and push the result on the stack. |
and push the result on the stack. |
\end{enumerate} |
\end{enumerate} |
We are implementing a package, OpenXM package. |
OpenXM package 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} |