===================================================================
RCS file: /home/cvs/OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex,v
retrieving revision 1.6
retrieving revision 1.10
diff -u -p -r1.6 -r1.10
--- OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex	2003/12/12 01:54:05	1.6
+++ OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex	2003/12/13 02:09:30	1.10
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex,v 1.5 2003/12/12 01:30:45 takayama Exp $
+% $OpenXM: OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex,v 1.9 2003/12/12 08:34:10 noro Exp $
 %% xdvi -paper a4r rims-2003-12-16-ja-ohp
 %% dvips -f -t landscape  rims-2003-12-16-ja-ohp| psnup -8 -r | lpr -Pxerox6
 %% dvipdfm -l rims-2003-12-16-ja-ohp
@@ -21,6 +21,7 @@
 \def\nnn{ {\color{red} $\bullet$}\ }    %% $B;v<B(B
 \def\eee{ {\color{magenta} Example}:\ } %% $BNc(B
 \def\ttt{ {\color{red} $\bullet$}\ }   %% $BDjM}(B
+\def\ppp{ {\color{blue} $\bullet$}\ }
 
 \def\pagetitle#1{ \fbox{{\color{magenta} #1 }}}
 
@@ -56,11 +57,13 @@
 \end{enumerate}
 \newpage
 
+%C OpenXM $B$O(B ... $B$NN,$G$3$3$K=q$$$F$"$k$h$&$J$3$H$rL\I8$K?tG/A0$+$i(B
+%C $B%Q%C%1!<%8$N3+H/(B, $B%W%m%H%3%k$N3+H/$r$7$F$$$^$9(B.
 \noindent  \quad \\
-\nnn $B?t3X$G$NJBNs7W;;(B,  \\
-\nnn $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B Conglomerate $B2=(B (A.Solomon) \\
-\nnn $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management) \\
-\nnn $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/(B 
+\ppp $B?t3X$G$NJBNs7W;;(B,  \\
+\ppp $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B Conglomerate $B2=(B (A.Solomon) \\
+\ppp $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management) \\
+\ppp $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/(B 
 
 \noindent  \quad \\
 \nnn OpenXM 1.1.1 (January 24, 2000): $B:G=i$N<B83HG(B. \\
@@ -100,7 +103,7 @@ $\Rightarrow$ {\color{red} ox\_ntl}
 \end{verbatim}
 }
 
-$B<BAu$K$h$jL@$i$+$K$J$C$?$3$H(B: \\
+$B<BAu$K$h$jL@$i$+$K$J$C$?$3$H(B: \quad ox\_toolkit $B$NM-8z@-(B,
 ox\_toolkit $B$NLdBjE@$N2~A1(B, LLL $B$r$h$V$?$a$K(B CMO array $B$bI,MW(B.
 
 \rightline{$B3+H/(B: $B4d:,(B ($B>.86(B)}
@@ -149,7 +152,8 @@ FACETS
 \newpage
 
 \pagetitle{ Polymake $B$N(B OX 100, 101 $B%5!<%P2=$G2?$,LdBj$G$"$C$?$+(B?}
-%todo OX 100 $B$N35N,$,I,MW$+(B?
+%C $B>\$7$$$3$H$O$3$3$K=q$$$F$k$3$H$rFI$s$G$b$i$&$3$H$K$7$F(B, $B0l8@$G$$$($P(B
+%C C $B$N30It%W%m%0%i%`8F$S=P$7%7%9%F%`%3!<%k(B system $B$N5!G=$r6/2=$7$h$&$H$$$&$3$H(B
 
 $B?7$7$$(B OX RFC 100 $B=`5r$N%5!<%P$r:n$k>l9g$K$O(B
 $B%?!<%2%C%H$H$9$k?t3X%=%U%H%&%(%"%7%9%F%`$N%=!<%9%3!<%I$K(B OX RFC 100 $BBP1~ItJ,(B
@@ -164,6 +168,7 @@ unix $B$N(B shell ($B$d(B Windows $B$N%3%^%s%I%W%
 $B$+$iMxMQ2DG=$J$h$&$K:n$i$l$F$$$k(B: {\color{red} $B%P%C%A=hM}BP1~%"%W%j%1!<%7%g%s(B}.
 $B%5!<%P$H$NDL?.$NIQEY$OLdBj$K$h$k$,$"$kDxEYBg$-$$7W;;$N>l9g$ODL?.;~4V$OL5;k$G$-$k(B.
 Polymake $B$OBPOCE*MxMQ$OA[Dj$7$F$*$i$:%5!<%P$N7W;;$rCfCG$7$F(B, $B:FEY3+;O$9$k$J$I$NI,MW$,$J$$(B.
+$\Rightarrow$ {\tt system} $B4X?t(B. $BLdBjE@(B: $B%U%!%$%k(B, OS $B$N0c$$(B, $B%W%m%;%94IM}(B
 $\Rightarrow$ {\tt system} $B$N6/2=HG(B {\color{blue} oxshell}
 \newpage
 
@@ -196,6 +201,7 @@ Oxshell $B$rMQ$$$F(B OX $B%5!<%P$r<B8=$9$k$N$,E,@Z$
 ($BC1=c;E;v(B, $B$7$+$7(B,  ZPG $B$N6KCW(B; unix $B$H(B windows $B0c$$(B,
 /bin/sh $B$NB8:_(B, $B%W%m%0%i%`$,BgJQFI$_$K$/$/J]<i$b$7$K$/$$(B)
 
+%C $B%"%$%G%#%"$O0l8@$G$$$($P<!$N0l9T$N$_(B.
 {\tt oxshell} $B$G$O$3$N;E;v$O<!$N(B 1 $B9T$G=q$/(B. \\
 {\color{red} \verb@[(polymake) (stringInOut://$B%9%?%C%/%^%7%sJQ?tL>(B.poly) $BF0:n(B] oxshell@}\\
 $B%9%?%C%/%^%7%s$NJQ?t$r%U%!%$%k$r$_$J$7$F$$$k(B.
@@ -204,6 +210,7 @@ Oxshell $B$rMQ$$$F(B OX $B%5!<%P$r<B8=$9$k$N$,E,@Z$
 $BNc(B: Java $B$N(B io.StringReader ( io.InputStreamReader $B$NBe$o$j(B). \\
 $BNc(B: $B%9%/%j%W%H8@8l$G$"$k(B Python
   \verb@ x=os.popen("abc","r").read(); @
+%C netscape $B$N(B plugin $B$J$I$bFbItE*$K$O;w$?%"%$%G%#%"$rMQ$$$F$$$k$H;W$o$l$k(B. 
 
 \noindent
 {\color{blue} $B?7$7$$ItJ,(B}:
@@ -231,6 +238,8 @@ lion
 
 \pagetitle{ oxshell.facets() $B$N<BAu(B, $B?t3X4X?t$N<BAuNc(B }
 
+%C $B$b$&0l$D$N%]%$%s%H$O(B tfb, OpenMath $B$NM-8z@-$N<B>Z(B.
+%C $BEv$jA0$@$,L5$/$F$O$J$i$J$$8&5f$@$C$?(B.
 \nnn $B%G!<%?JQ49$K$O(B tfb/2 ($BEDB<(B)format $B$rMxMQ(B, OpenMath $B%"!<%-%F%/%A%c$rMxMQ(B.
 {\color{blue}$B@.2L(B}: $B$=$NM-8z@-$r<B>Z$G$-$?(B.)
 %% $B$3$l$b?7$7$$E@$G$"$m$&(B.
@@ -242,7 +251,8 @@ lion
   Outputs to stdout and stderr ]
 \end{verbatim} }
 
-
+%C $B?t3XE*$K$O<!$NF05!(B.  D-module $B$N7W;;$G(B facet $B$@$;$k(B.
+%C ($B:XF#$`$D$_$N(B) $b$ function $B$r(B polytope algorithm $B$G5a$a$k=i$a$F$N<BAu(B.
 {\color{red} taka\_ahg.b(A,Idx)}(OpenXM/src/asir-contrib/packages/src/taka\_ahg.rr)
 oxshell $B$K$h$k(B polymake $B8F$S=P$75!G=$rMQ$$$??t3X4X?t(B.
 $B$3$N4X?t$O(B $B9TNs(B {\tt A} $B$KIU?o$7$?(B $BJ}8~(B {\tt Idx} $B$N$"$k(B $b$ $B4X?t$r7W;;$9$k(B.
@@ -344,7 +354,18 @@ ScaLAPACK $BIw$K(B, $B9TNs$rJ,;6J];}$7$FJBNs7W;;(B
 \underline{$B;EMM(B}
 
 MPI-2 $B$N(B, $BF0E*%W%m%;%9@8@.(B, $B%W%m%;%9%0%k!<%W4V(B broadcast $B$N;EMM$r(B
-$B;29M$K$9$k(B
+$B;29M$K$9$k(B.  {\tt http://www-unix.mcs.anl.gov/mpi}
+
+\underline{$B?7$7$$E@(B}
+
+OX RFC 100 $B$rA0Ds(B $\Rightarrow$ $B%G!<%?7?$N4IM}$NI,MW$,$J$$(B,
+100 $B$NCfCG%W%m%H%3%k$N3HD%(B,
+$B$J$I(BMPI $B$h$jMF0W$KMxMQ2DG=(B. 
+%C $B$^$?(B, $B%7%9%F%`$N@_7W$G4sM?$G$-$J$/$F$b(B, $B<BNc$G$NM-8z@-(B, $B$"$kFCDj$NLdBj$G$N(B
+%C $B@_7W$N2~A1Ey$r9M$($k(B.  $B2f!9$O(B Shoup $B$N(B $B%"%k%4%j%:%`$,8zN(NI$/<BAu$G$-$k(B
+%C $B$3$H$r<($7$?(B.
+
+
 \newpage
 
 \noindent
@@ -427,6 +448,7 @@ $\Rightarrow$ $B%G%C%I%m%C%/$K$J$i$J$$(B
 
 \newpage
 
+%C $B:YIt$O>JN,(B. $B$"$H$G(B 16 $B8D$N%5!<%P$N<BNc$G@bL@(B.
 \noindent
 \pagetitle{reduction $B$N<jB3$-(B}
 
@@ -477,6 +499,7 @@ reduction $B$N>l9g(B, $B%G!<%?$NN.$l$O5U$K$J$k(B (
 $BLp0u$,5U(B)
 \newpage
 
+%C $B$3$l$O%*%j%8%J%k(B.
 \noindent
 \pagetitle{$B%(%i!<=hM}(B}
 
@@ -547,7 +570,7 @@ $Server$ $B$K(B {\tt SM\_reset\_102} $B$rAw$k(B
 
 $B<1JL;R(B $Root$ $B$N(B server $B$r(B root $B$H$7$F(B, $B%0%k!<%WFb$G(B broadcast $B$9$k(B.
 $Data$ $B$,;XDj$5$l$?>l9g(B, $B%9%?%C%/$K%W%C%7%e$5$l$k(B.
-$B$r;XDj$9$kI,MW$,$"$k(B. $B<1JL;R$,(B $Root$ $B$KEy$7$$(B server $B$G(B, $B%9%?%C%/(B
+$B<1JL;R$,(B $Root$ $B$KEy$7$$(B server $B$G(B, $B%9%?%C%/(B
 $B$+$i%G!<%?$,%]%C%W$5$l(B, $B$=$N%G!<%?$,(B, $B3F8F$S=P$7$NLa$jCM$H$J$k(B.
 
 \item {\tt ox\_reduce\_102($Root$,$Operation$[,$Data$])} (collective)
@@ -564,10 +587,53 @@ $Data$ $B$,;XDj$5$l$?>l9g(B, $B%9%?%C%/$K%W%C%7%e$7
 \newpage
 
 \noindent
-\pagetitle{$B%Q%U%)!<%^%s%9(B}
+\pagetitle{$B<B9TNc(B : $B0lJQ?tB?9`<0$N@Q(B (master $BB&(B)}
 
+\begin{verbatim}
+def d_mul(F1,F2)
+{
+    Procs = getopt(proc);
+    /* process $B;XDj$,$J$$>l9g$K$O(B, $B<+J,$G7W;;(B */
+    if ( type(Procs) == -1 ) return umul(F1,F2);
+    if ( !var(F1) || !var(F2) ) return F1*F2;
+    NP = length(Procs);
+    /* $B0z?t$r(B server 0 $B$KAw$k(B */
+    ox_push_cmo(0,[F1,F2]);
+    /* $B3F(B server $B$K(B, server 0 $B$r(B root $B$H$7$F;E;v$r;O$a$k$h$&0MMj(B */
+    for ( I = 0; I < NP; I++ ) 
+        ox_cmo_rpc(I,"d_mul_main",0);
+    /* server 0 $B$+$i7k2L$r<u$1<h$k(B */
+    R = ox_pop_cmo(0);
+    return R;
+}
+\end{verbatim}
+
+\newpage
+
+\noindent
+\pagetitle{$B<B9TNc(B : $B0lJQ?tB?9`<0$N@Q(B (server $BB&(B; collective)}
+\begin{verbatim}
+def d_mul_main(Root)   /* Shoup's algorithm */
+{
+    /* server $B$NAm?t(B, $B<+J,$N(B id $B$rCN$k(B */
+    Id = ox_get_rank_102(); NP = Id[0]; Rank = Id[1];
+    /* Root $B$K$"$k0z?t$r(B broadcast $B$G6&M-(B */
+    Arg = ox_bcast_102(Root); F1 = Arg[0]; F2 = Arg[1];
+    L = setup_modarrays(F1,F2,NP);
+    Marray = L[0]; MIarray = L[1]; M = L[2];
+    R = umul_chrem(F1,F2,MIarray[Rank],Marray[Rank],M);
+    Arg = 0; F1 = 0; F2 = 0;
+    /* $B3F(B server $B$N7k2L$rB-$79g$o$;$F(B, Root $B$KCV$/(B */
+    R = ox_reduce_102(Root,"+",R);
+    /* Root $B$N$_(B, $B7k2L$r(B normalize $B$9$k(B */
+    if ( Rank == Root )
+        R = uadj_coef(R%M,M,ishift(M,1));
+    return R;
+}
+\end{verbatim}
+
 \rightline{$B3+H/(B: $BLnO$(B}
 
 \end{document}
 
-%%$Id: rims-2003-12-16-ja-ohp.tex,v 1.6 2003/12/12 01:54:05 noro Exp $ at misc-2003/12/RIMS
+%%$Id: rims-2003-12-16-ja-ohp.tex,v 1.10 2003/12/13 02:09:30 takayama Exp $ at misc-2003/12/RIMS