| version 1.6, 2004/09/11 03:18:02 |
version 1.8, 2004/09/13 11:24:10 |
|
|
| % $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} |
\documentclass{jarticle} |
| \title{ChangeLog \\ ---kan96xx, kxx, k097} |
\title{ChangeLog \\ ---kan96xx, kxx, k097} |
| \author{Nobuki Takayama} |
\author{Nobuki Takayama} |
| Line 162 list $B$N(B {\tt cons} $B$rF3F~(B. rest $B$bF3F~ |
|
| Line 162 list $B$N(B {\tt cons} $B$rF3F~(B. rest $B$bF3F~ |
|
| {\tt Kan/smacro.sm1} 1.6 |
{\tt Kan/smacro.sm1} 1.6 |
| \item $B$=$NB>$O%i%$%V%i%jFbIt$G(B {\tt ,,} $B$r(B {\tt \_\_} $B$X(B, |
\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. |
{\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{enumerate} |
| |
|
| \end{document} |
\end{document} |
| |
|
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to changelog-ja.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / kan96xx / Doc