===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v
retrieving revision 1.3
retrieving revision 1.9
diff -u -p -r1.3 -r1.9
--- OpenXM/src/kan96xx/Doc/changelog-ja.tex	2004/08/31 04:45:41	1.3
+++ 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.2 2004/08/22 02:00:24 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}
@@ -67,17 +67,21 @@
 %%Mail/openxm-cvs.inbox ??
 \end{enumerate}
 
-\section{2004-08-22, lcm, polylcm, gcd, polygcd}
+\section{2004-08-22, lcm, polylcm, gcd, polygcd, その他}
 \begin{enumerate}
 \item polylcm, polygcd は ox を用いる.
-\item mpzext (lcm, gcd).  int32 は universalNumber (mpz_int) へ自動変換.
+\item mpzext (lcm, gcd).  int32 は universalNumber (mpz\_int) へ自動変換.
 \item ox.sm1 は起動の時から load すべきだがまだやってない.
 %%Mail/openxm-cvs.inbox ??
+\item \verb@[(exponents) ...] gbext @ で exponents を取り出せる. 始めの版は 8 月頃.
+\item {\tt exponents} のformat を変えた. (9/5. cf.gfan.sm1, cone.sm1) \\
+{\tt OpenXM/src/kan96xx/Kan/kanExport1.c} 1.16.
 \end{enumerate}
 
 \section{2004-08-31, weight ベクトルで univNum を受け取る}
 \begin{enumerate}
-\item {\tt to\_int}, {\tt Kto\_int} で univNum を int32 へ.
+\item {\tt to\_int32}, {\tt Kto\_int32} で univNum を int32 へ.
+\item {\tt to\_int} は {\tt to\_univNum} に同値. どちらかを廃止しよう.
 \item 内部関数の変更: {\tt KordWsAll()}, {\tt KsetUpRing()}, {\tt oInitW()}
 \item マクロ: {\tt ord\_w}, {\tt weight\_vector}, {\tt s\_weight\_vector},
 {\tt w\_to\_vec}, {\tt ecart.weight\_vector}, {\tt ord\_ws\_all}
@@ -85,4 +89,187 @@
 %%Mail/openxm-cvs.inbox ??
 \end{enumerate}
 
-\end{document}
\ No newline at end of file
+\section{2004-09-5, error および ctrl-C でマクロの呼び出し履歴を表示(trace)}
+\begin{enumerate}
+\item {\tt traceShowStack()} を呼び出すと呼び出し履歴が表示される.
+履歴を文字列で戻す.
+\item \verb@ ctrlC_hook @ の実行中にエラーをおこすと, ox103\_reset が
+よばれ, これが無限ループを生む. これを防止.
+\item {\tt executeToken} する前に関数の名前を trace 用のスタック
+{\tt TraceNameStack} へ push.
+実行がおわれば pop することにより, 履歴表示をコントロール.
+\item extension で履歴のクリア, 強制表示ができる.
+\item ctrl-C で履歴の表示, クリアをする. これは各 ox server で対処の必要あり.
+\item 
+{\tt OpenXM/src/kan96xx/Kan/ext.c} 1.24 \\
+{\tt OpenXM/src/kan96xx/Kan/kanExport0.c} 1.30 \\
+{\tt OpenXM/src/kan96xx/Kan/stackmachine.c} 1.15--1.18  \\
+{\tt OpenXM/src/kan96xx/Kan/usage.c} 1.30 \\
+{\tt OpenXM/src/k097/ox\_k0.c} 1.6 \\
+{\tt OpenXM/src/kxx/ox\_texmacs.c} 1.19 \\
+{\tt OpenXM/src/kxx/oxserver00.c} 1.15 \\
+{\tt OpenXM/src/kxx/sample\_kanlib.c} 1.2
+\end{enumerate}
+
+\section{2004-09-05, EUC等 8-bit の名前を受け付ける}
+\begin{enumerate}
+\item hash 値の計算方法にバグがあった. hash の値は負ではいけない.
+\item {\tt OpenXM/src/kan96xx/Kan/stackmachine.c} 1.17
+\end{enumerate}
+
+
+\section{2004-09-05, グレブナfanの計算}
+\begin{enumerate}
+\item polymake が必要.  9/1, 9/2, 9/3, 9/4 のノートも参照.
+\item OpenXM の cvs への commit は大きい区切りで. 
+      細かい変更は {\tt eventail/cone.sm1} で.
+\item {\tt OpenXM/src/kan96xx/Doc/gfan.sm1} 1.1
+\end{enumerate}
+
+\section{2004-09-05, グレブナfanの計算}
+\begin{enumerate}
+\item polymake が必要.  9/1, 9/2, 9/3, 9/4 のノートも参照.
+\item OpenXM の cvs への commit は大きい区切りで. 
+      細かい変更は {\tt eventail/cone.sm1} で.
+\item {\tt OpenXM/src/kan96xx/Doc/gfan.sm1} 1.1
+\end{enumerate}
+
+\section{2004-09-09, 11, list の強化}
+\begin{enumerate}
+\item array の {\tt join} を行うとメモリの無だ使いがはげしい.
+list の {\tt cons} を導入.  rest も導入. join は使えるが危険.
+\item 
+{\tt arrayToList}, {\tt listToArray} : 変換関数を準備.
+\item {\tt get} がリストでも動くように.
+\item {\tt Kan/dr.sm1} 1.35--1.36, 1.38 \\
+{\tt Kan/extern.h} 1.24--1.25 \\
+{\tt Kan/ext.c} 1.25 \\
+{\tt Kan/kanExport0.c} 1.31--1.33 \\
+{\tt Kan/list.c} 1.3--1.5 \\
+{\tt Kan/primitive.c} 1.12 \\
+{\tt Kan/smacro.sm1} 1.5 \\
+{\tt Kan/usage.c} 1.32 \\
+{\tt Kan/usage.sm1} 1.9
+\end{enumerate}
+
+\section{2004-09-10, コンマ {\tt ,} の扱いの変更}
+\begin{enumerate}
+\item  コンマ {\tt ,} はいままでマクロであったが, 空白として扱うように変更する.
+\item  システムの変更は以下の通り. \\
+{\tt Kan/scanner.c} 1.5--1.6 \\
+{\tt Kan/scanner2.c} 1.4--1.5 \\
+{\tt Kan/dr.sm1} 1.37 \\
+{\tt Kan/smacro.sm1} 1.6 
+\item その他はライブラリ内部で {\tt ,,} を {\tt \_\_} へ,
+{\tt ,,,} を {\tt \_\_\_} へ変更した.
+\end{enumerate}
+
+\section{2004-09-11,12, infix operator を導入}
+\begin{enumerate}
+\item {\tt getattr} を加えた (step 1). 
+\item {\tt attr} に {\tt ATTR\_INFIX} 属性 bit を立てて,
+infix operator とする.
+\item {\tt attr} の PROTECT 属性を bit で処理するように変更 (step 2).
+テストは {\tt k0} で
+\begin{verbatim}
+sm1(" [(getattr) /cons] extension :: ");
+cons = 1;
+\end{verbatim}
+Warning が表示されるか?
+\item infix 属性があるとき, {\tt getokenSM(GET)} で次の token を読み込み
+それを {\tt executeToken} してから, infix 属性のあるマクロを実行すれば
+いいかというと, それでは top level  の処理しかできない.
+たとえば, tokenArray を順番に処理しているような場合はだめ.
+よって, {\tt executeToken} の戻り値の status の値を
+用いる.  status は {\tt loop} から {\tt exit} するときにも使われている
+ので, status の判定方法を見直す必要がある.
+\end{enumerate}
+
+\section{2004-09-13, 部分的な ecart division}
+
+\noindent Debug 用のデータ 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 用のデータ 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 の変数については local order ではいけない.
+無限ループとなる.
+{\tt ecart.checkOrder} も書き直さないといけない.
+
+\begin{enumerate}
+\item \verb@ ringp->partialEcart @ は int の配列
+\verb@ ringp->partialEcartGlobalVarX @ の長さ.
+この配列に local でない変数 (first weight が non-negative な x 変数) のリストを入れる.
+{\tt ecartGetEllPartial()} で利用される.
+\item Todo: ring のメンバ {\tt ringInInputForm} の活用. ( weight vector や
+input 形式の ring を object として格納.
+\item Todo: {\tt KgetRingInfo} を実装する. index から 変数, 変数から index 等.
+\end{enumerate}
+
+\section{2004-09, {\tt ATTR\_EXPORT} と {\tt RestrictedMode}}
+
+\noindent
+現在の RestrictedMode には以下の脆弱性がある (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 を起こす前に {(hello) message} が実行されてしまう.
+ERROR(sm): 
+<< /name object def >>  or  << object /name set >>
+\end{verbatim}
+\noindent 原因: 
+引数に executableArray を与えることにより, 評価が抑制され
+{\tt ATTR\_EXPORT} bit がセットされた関数の評価がはじまってから
+executableArray が変数 {\tt arg1} に代入され, その変数を scanner
+が評価することにより, executableArray が評価される.
+
+\noindent 対策:
+{\tt isThereExecutableArrayOnStack(ob)} でスタックを検査するようにする.
+\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}
+
+テスト 2 (こちらは正常に動くはず).
+\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}
+