OpenXM/doc/issac2000/design-outline.tex - diff

Return to design-outline.tex CVS log

Up to [local] / OpenXM / doc / issac2000

version 1.10, 2000/01/16 02:31:49

version 1.13, 2000/01/17 08:06:15

Line 1

% $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}

Line 66 two systems.

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

decomposition.

\item We have been profitted from increasing number

\item We have been profited from increasing number

of mathematical softwares.

These are usually ``expert'' systems in one area of mathematics

such as ideals, groups, numbers, polytopes, and so on.

Line 112 it should follow a grammar that can be parsed with oth

it may accept and execute not only stack machine commands,

but also its original command sequences.

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) \\

\verb+ " fctr(x^100-y^100); " + \\

and call the stanck machine command \\

and call the stack machine command \\

\verb+ SM_executeStringByLocalParser + \\

then the server executes the asir command \\

\verb+ fctr(x^100-y^100); +

Line 132 the Asir client to the {\tt ox\_sm1} server:

\end{verbatim}

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.

The OpenXM on MPI \cite{MPI} is currently running on Risa/Asir

as we will see in Section \ref{section:homog}.