=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v retrieving revision 1.11 retrieving revision 1.15 diff -u -p -r1.11 -r1.15 --- OpenXM/src/kan96xx/Doc/changelog-ja.tex 2004/12/17 00:13:08 1.11 +++ OpenXM/src/kan96xx/Doc/changelog-ja.tex 2005/07/07 06:07:46 1.15 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.10 2004/11/23 12:14:48 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.14 2005/06/17 03:50:34 takayama Exp $ \documentclass{jarticle} \title{ChangeLog \\ ---kan96xx, kxx, k097} \author{Nobuki Takayama} @@ -336,6 +336,100 @@ sm1 でやるテストの手順は以下のとおり. Windows, Debian package の build のテストはまだ. ({\tt gnuplot4ox} は {\tt gnuplot} に. {\tt gnuplot\_x11} は {\tt libexec} の下へ install されるため.) + +Bug: {\tt plot\_dots} で, 計算しながら表示するという方法がうまくいかない. +大きなデータを渡すとうまく動かない. cf. {\tt heat()}. + +\section{2005-01-23, EUC等 8-bit の名前を受け付ける. bug fix} +\begin{enumerate} +\item scanner2 の bug により, トップレベル以外では 8 bit の名前をうけつけ + なかった. +\item {\tt OpenXM/src/kan96xx/Kan/scanner2.c} 1.7 +\end{enumerate} + +\section{2005-02-28, ox, bug fix} + +\begin{enumerate} +\item Engine のみを quit すると control server が残るバグ. +解決: oxmain.c で SIGCHLD を受け取るようにした. +\item Engine を quit してしまったあと, Engine でデータをおくろうとすると, +SIGPIPE で クライアントが終了してしまうバグ. +\begin{verbatim} + (ox.sm1) run + sm1connectr + oxsm1.ccc (quit) oxsubmit + oxsm1.ccc oxpopcmo --> クライアント終了. +\end{verbatim} +まだ完全に解決してない. +ox texmacs が正しく動作するのか要テスト. +\end{enumerate} + +\section{2005-06-9, 16, attribute, options.} +\begin{enumerate} +\item 全ての object に attr (attribute field) をつけた. +効率に関する調査は {\tt misc-2005/06/gfan/test1.sm1} (taka). +時間的効率についてはあまり問題ない. +\item 構造体の {\tt attr} フィールドを初期化するため {\tt OINIT} マクロを +加えた. {\tt stackm.h} +初期化がないと segfault する場合も. +\item {\tt @s/2005/06/16-note.pdf} (taka) に開発メモあり. +\item {\tt attr} を {\tt groebner}, {\tt gb} 等で活用する. +\end{enumerate} + +ソースの変更は多岐にわたるので一部のみ記す. +\begin{enumerate} +\item {\tt OpenXM/src/kan96xx/Kan/dr.sm1} 1.49, {\tt setAttribute} 等のマクロ. +\item {\tt OpenXM/src/kan96xx/kan/gb.c} 1.10,11, {\tt groebner} が attr で gb かどうかの情報を戻す. +\item {\tt OpenXM/src/kan96xx/Doc/hol.sm1} 1.23, gb, pgb, gb\_h が option を attr で受け取れるようにする変更. +\end{enumerate} + +例: +{\footnotesize +\begin{verbatim} + ob key getAttribute value + Example: [(x-1) (y-1)] (gb) 1 setAttribute /ff set + ff (gb) getAttribute :: + + ob getAttributeList attr-obj + Example: [(x-1) (y-1)] [(gb) 1] setAttributeList /ff set + ff getAttributeList :: + + sm1> [(x0,x1) ring_of_polynomials 0] define_ring + [(x0^2+x1^2-h^2). (x0 x1 -4 h^2).] /ff set ; + sm1>[ff [(gbCheck)]] groebner /gg set ; + 3.gbCheck failed. + Note that the result is NOT groebner basis. + + Completed. + sm1>gg getAttributeList :: + [ $gb$ , 0 ] + + + [ [( (x Dx)^2 + (y Dy)^2 + 1) ( x y Dx Dy -1)] (x,y) + [ [ (Dx) 1 ] ] ] [(gbCheck) 1] setAttributeList gb getAttributeList :: + + [ [[(h+x) (x^3 + 2 h^3 + 2 x h^2)] [(x) (x)]] (x)] + [(reduceOnly)] setAttributeList gb_h pmat + + +\end{verbatim} +} + +\section{2005-07-07, gfan.sm1} +\begin{enumerate} +\item Collar-Kalkbrener-Moll のアルゴリズムを実装した. +\item {\tt getNextCone}, {\tt ckmFlip} +\item {\tt cone.ckmFlip} が 1 の時 CKM アルゴリズムを用いる. +\item {\tt cone.DhH} が 1 の時 $\partial x = x \partial + hH$, +0 の時 $\partial x = x \partial + h^2$ を選択. +{\tt cone.gb}, {\tt cone.reduction}, {\tt cone.gb\_gr}. +\item 関連する sm1 本体の変更. +\item {\tt eventail/data/test35.sm1}, {\tt test36.sm1}. +\end{enumerate} + +\begin{enumerate} +\item {\tt OpenXM/src/kan96xx/Doc/gfan.sm1} 1.10, 1.11. +\end{enumerate} \end{document}