[BACK]Return to design-outline.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / issac2000

Diff for /OpenXM/doc/issac2000/design-outline.tex between version 1.7 and 1.8

version 1.7, 2000/01/15 03:23:59 version 1.8, 2000/01/15 03:47:58
Line 1 
Line 1 
 % $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}
Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>