| 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); + |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to design-outline.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / issac2000