version 1.10, 2000/01/16 02:31:49 |
version 1.13, 2000/01/17 08:06:15 |
|
|
% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.9 2000/01/15 12:18:42 takayama Exp $ |
% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.12 2000/01/16 10:55:40 takayama Exp $ |
|
|
\section{Design Outline} |
\section{Design Outline} |
|
|
|
|
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 We have been profitted from increasing number |
\item We have been profited from increasing number |
of mathematical softwares. |
of mathematical softwares. |
These are usually ``expert'' systems in one area of mathematics |
These are usually ``expert'' systems in one area of mathematics |
such as ideals, groups, numbers, polytopes, and so on. |
such as ideals, groups, numbers, polytopes, and so on. |
Line 112 it should follow a grammar that can be parsed with oth |
|
Line 112 it should follow a grammar that can be parsed with oth |
|
it may accept and execute not only stack machine commands, |
it may accept and execute not only stack machine commands, |
but also its original command sequences. |
but also its original command sequences. |
For example, |
For example, |
if we send the following string to {\tt ox\_asir} server |
if we send the following string to the {\tt ox\_asir} server |
(OpenXM server based on Risa/Asir) \\ |
(OpenXM server based on Risa/Asir) \\ |
\verb+ " fctr(x^100-y^100); " + \\ |
\verb+ " fctr(x^100-y^100); " + \\ |
and call the stanck machine command \\ |
and call the stack machine command \\ |
\verb+ SM_executeStringByLocalParser + \\ |
\verb+ SM_executeStringByLocalParser + \\ |
then the server executes the asir command \\ |
then the server executes the asir command \\ |
\verb+ fctr(x^100-y^100); + |
\verb+ fctr(x^100-y^100); + |
Line 132 the Asir client to the {\tt ox\_sm1} server: |
|
Line 132 the Asir client to the {\tt ox\_sm1} server: |
|
\end{verbatim} |
\end{verbatim} |
Here, {\tt ox\_sm1} is an OpenXM server based on Kan/sm1. |
Here, {\tt ox\_sm1} is an OpenXM server based on Kan/sm1. |
|
|
The current OpenXM package is implemented on the OpenXM for TCP/IP, |
The OpenXM package is implemented on the OpenXM for TCP/IP, |
which uses the client-server model. |
which uses the client-server model. |
The OpenXM on MPI \cite{MPI} is currently running on Risa/Asir |
The OpenXM on MPI \cite{MPI} is currently running on Risa/Asir |
as we will see in Section \ref{section:homog}. |
as we will see in Section \ref{section:homog}. |