===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v
retrieving revision 1.6
retrieving revision 1.8
diff -u -p -r1.6 -r1.8
--- OpenXM/src/kan96xx/Doc/changelog-ja.tex	2004/09/11 03:18:02	1.6
+++ OpenXM/src/kan96xx/Doc/changelog-ja.tex	2004/09/13 11:24:10	1.8
@@ -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.7 2004/09/11 23:49:34 takayama Exp $
 \documentclass{jarticle}
 \title{ChangeLog \\ ---kan96xx, kxx, k097}
 \author{Nobuki Takayama}
@@ -162,6 +162,71 @@ list $B$N(B {\tt cons} $B$rF3F~(B.  rest $B$bF3F~
 {\tt Kan/smacro.sm1} 1.6 
 \item $B$=$NB>$O%i%$%V%i%jFbIt$G(B {\tt ,,} $B$r(B {\tt \_\_} $B$X(B,
 {\tt ,,,} $B$r(B {\tt \_\_\_} $B$XJQ99$7$?(B.
+\end{enumerate}
+
+\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}
 
 \end{document}
\ No newline at end of file