version 1.12, 2000/01/16 10:55:40 |
version 1.13, 2000/01/17 08:06:15 |
|
|
% $OpenXM: OpenXM/doc/issac2000/design-outline.tex,v 1.11 2000/01/16 06:02:41 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. |
|
|
if we send the following string to the {\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); + |