=================================================================== RCS file: /home/cvs/OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex,v retrieving revision 1.9 retrieving revision 1.10 diff -u -p -r1.9 -r1.10 --- OpenXM/doc/Papers/rims-2003-12-16-ja-ohp.tex 2003/12/12 08:34:10 1.9 +++ 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.8 2003/12/12 06:07:02 noro 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.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(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$rZ(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@-$rZ$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$OJN,(B. $B$"$H$G(B 16 $B8D$N%5!<%P$Nl9g(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} @@ -590,7 +613,7 @@ def d_mul(F1,F2) \noindent \pagetitle{$B