===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v
retrieving revision 1.6
retrieving revision 1.9
diff -u -p -r1.6 -r1.9
--- OpenXM/src/kan96xx/Doc/changelog-ja.tex	2004/09/11 03:18:02	1.6
+++ OpenXM/src/kan96xx/Doc/changelog-ja.tex	2004/09/19 00:47:47	1.9
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.5 2004/09/06 01:52:27 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.8 2004/09/13 11:24:10 takayama Exp $
 \documentclass{jarticle}
 \title{ChangeLog \\ ---kan96xx, kxx, k097}
 \author{Nobuki Takayama}
@@ -164,4 +164,112 @@ list $B$N(B {\tt cons} $B$rF3F~(B.  rest $B$bF3F~
 {\tt ,,,} $B$r(B {\tt \_\_\_} $B$XJQ99$7$?(B.
 \end{enumerate}
 
-\end{document}
\ No newline at end of file
+\section{2004-09-11,12, infix operator $B$rF3F~(B}
+\begin{enumerate}
+\item {\tt getattr} $B$r2C$($?(B (step 1). 
+\item {\tt attr} $B$K(B {\tt ATTR\_INFIX} $BB0@-(B bit $B$rN)$F$F(B,
+infix operator $B$H$9$k(B.
+\item {\tt attr} $B$N(B PROTECT $BB0@-$r(B bit $B$G=hM}$9$k$h$&$KJQ99(B (step 2).
+$B%F%9%H$O(B {\tt k0} $B$G(B
+\begin{verbatim}
+sm1(" [(getattr) /cons] extension :: ");
+cons = 1;
+\end{verbatim}
+Warning $B$,I=<($5$l$k$+(B?
+\item infix $BB0@-$,$"$k$H$-(B, {\tt getokenSM(GET)} $B$G<!$N(B token $B$rFI$_9~$_(B
+$B$=$l$r(B {\tt executeToken} $B$7$F$+$i(B, infix $BB0@-$N$"$k%^%/%m$r<B9T$9$l$P(B
+$B$$$$$+$H$$$&$H(B, $B$=$l$G$O(B top level  $B$N=hM}$7$+$G$-$J$$(B.
+$B$?$H$($P(B, tokenArray $B$r=gHV$K=hM}$7$F$$$k$h$&$J>l9g$O$@$a(B.
+$B$h$C$F(B, {\tt executeToken} $B$NLa$jCM$N(B status $B$NCM$r(B
+$BMQ$$$k(B.  status $B$O(B {\tt loop} $B$+$i(B {\tt exit} $B$9$k$H$-$K$b;H$o$l$F$$$k(B
+$B$N$G(B, status $B$NH=DjJ}K!$r8+D>$9I,MW$,$"$k(B.
+\end{enumerate}
+
+\section{2004-09-13, $BItJ,E*$J(B ecart division}
+
+\noindent Debug $BMQ$N%G!<%?(B 1.
+{\footnotesize \begin{verbatim}
+[ [( (x Dx)^2 + (y Dy)^2 -1) ] (x,y) 
+  [ [ (Dx) 1 ] [(x) -1 (y) -1 (Dx) 1 (Dy) 1]] 
+  [(partialEcartGlobalVarX) [(x) (y)]] ] ecart.gb /ff set
+
+ff getRing ring_def show_ring
+
+\end{verbatim}
+}
+
+\noindent Debug $BMQ$N%G!<%?(B 2.
+{\footnotesize \begin{verbatim}
+/ecart.checkOrder { 1 } def
+[(DebugReductionEcart) 3] system_variable
+[ [(1-x-y-z) (1-z)] (x,y,z) 
+  [ [(y) -1 (z) -1 (Dy) 1 (Dz) 1] [(x) 1 (Dx) 1]] 
+  [(partialEcartGlobalVarX) [(x)]] ] ecart.gb /ff set
+
+ff getRing ring_def show_ring
+
+ [ [(1-z) (-x+1-y-z)] (x,y,z) 
+  [ [(y) -1 (z) -1 (Dy) 1 (Dz) 1] [(x) 1 (Dx) 1]] 
+  [(partialEcartGlobalVarX) [(x)]] ] /std set
+(1+x^3) std ecartd.reduction
+(x*y*z) std ecartd.reduction
+\end{verbatim}
+}
+GlobalVarX $B$NJQ?t$K$D$$$F$O(B local order $B$G$O$$$1$J$$(B.
+$BL58B%k!<%W$H$J$k(B.
+{\tt ecart.checkOrder} $B$b=q$-D>$5$J$$$H$$$1$J$$(B.
+
+\begin{enumerate}
+\item \verb@ ringp->partialEcart @ $B$O(B int $B$NG[Ns(B
+\verb@ ringp->partialEcartGlobalVarX @ $B$ND9$5(B.
+$B$3$NG[Ns$K(B local $B$G$J$$JQ?t(B (first weight $B$,(B non-negative $B$J(B x $BJQ?t(B) $B$N%j%9%H$rF~$l$k(B.
+{\tt ecartGetEllPartial()} $B$GMxMQ$5$l$k(B.
+\item Todo: ring $B$N%a%s%P(B {\tt ringInInputForm} $B$N3hMQ(B. ( weight vector $B$d(B
+input $B7A<0$N(B ring $B$r(B object $B$H$7$F3JG<(B.
+\item Todo: {\tt KgetRingInfo} $B$r<BAu$9$k(B. index $B$+$i(B $BJQ?t(B, $BJQ?t$+$i(B index $BEy(B.
+\end{enumerate}
+
+\section{2004-09, {\tt ATTR\_EXPORT} $B$H(B {\tt RestrictedMode}}
+
+\noindent
+$B8=:_$N(B RestrictedMode $B$K$O0J2<$N@H<e@-$,$"$k(B (2004.9.19).
+\begin{verbatim}
+(cohom.sm1) run
+[(or_attr) 8 /gb] extension 
+[(or_attr) 8 /;] extension ;
+[(RestrictedMode) 1] system_variable ;
+[ [{(hello) message } ] (x,y) ] gb ;
+hello     <----  error $B$r5/$3$9A0$K(B {(hello) message} $B$,<B9T$5$l$F$7$^$&(B.
+ERROR(sm): 
+<< /name object def >>  or  << object /name set >>
+\end{verbatim}
+\noindent $B860x(B: 
+$B0z?t$K(B executableArray $B$rM?$($k$3$H$K$h$j(B, $BI>2A$,M^@)$5$l(B
+{\tt ATTR\_EXPORT} bit $B$,%;%C%H$5$l$?4X?t$NI>2A$,$O$8$^$C$F$+$i(B
+executableArray $B$,JQ?t(B {\tt arg1} $B$KBeF~$5$l(B, $B$=$NJQ?t$r(B scanner
+$B$,I>2A$9$k$3$H$K$h$j(B, executableArray $B$,I>2A$5$l$k(B.
+
+\noindent $BBP:v(B:
+{\tt isThereExecutableArrayOnStack(ob)} $B$G%9%?%C%/$r8!::$9$k$h$&$K$9$k(B.
+\begin{verbatim}
+(cohom.sm1) run
+[(or_attr) 8 /gb] extension 
+[(or_attr) 8 /;] extension ;
+0 1 10 { pop pop } for
+[(RestrictedMode) 1] system_variable ;
+[ [{(hello) message } ] (x,y) ] gb ;
+\end{verbatim}
+
+$B%F%9%H(B 2 ($B$3$A$i$O@5>o$KF0$/$O$:(B).
+\begin{verbatim}
+(ox.sm1) run
+[(or_attr) 8 /fctr] extension 
+[(or_attr) 8 /pmat] extension ;
+[(or_attr) 8 /;] extension ;
+0 1 10 { pop pop } for
+[(RestrictedMode) 1] system_variable ;
+[ (x^2-1) (x,y) ] fctr pmat ;
+\end{verbatim}
+
+\end{document}
+