===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v
retrieving revision 1.14
retrieving revision 1.33
diff -u -p -r1.14 -r1.33
--- OpenXM/src/kan96xx/Doc/changelog-ja.tex	2005/06/17 03:50:34	1.14
+++ OpenXM/src/kan96xx/Doc/changelog-ja.tex	2013/09/25 07:30:52	1.33
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.13 2005/02/28 12:53:43 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.32 2013/09/22 08:07:51 takayama Exp $
 \documentclass{jarticle}
 \title{ChangeLog \\ ---kan96xx, kxx, k097}
 \author{Nobuki Takayama}
@@ -415,5 +415,338 @@ ox texmacs が正しく動作するのか要テスト.
 \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}
+
+\section{2005-07-18, Error Message}
+\begin{enumerate}
+\item  サーバはエラーの位置およびエラーの位置での読み込みデータを
+XML 形式で送る.
+\begin{verbatim}
+ (ox.sm1) run  sm1connectr
+ oxsm1.ccc (1 shell) oxsubmit 
+ oxsm1.ccc oxpopcmo  ::
+\end{verbatim}
+\item {\tt scanner.c}, {\tt scanner2.c} で {\tt ScannerBuf} に
+ 読み込んだデータを書き込む.
+\item {\tt stackmachineError()} で 
+ 大域変数 {\tt MsgStackTrace}, {\tt MsgSourceTrace} に書き込んでおく.
+\item {\tt kxx/sm1stackmachine.c} の {\tt Sm1\_pushError2} で,
+上の大域変数に設定されたメッセージをもとに,  error package
+の文字列に XML 形式で error message を書く.
+\item \verb@ [(traceShowScannerBuf)] extension :: @
+\item Todo: {\tt executeToken} の中までみないと, すでに定義された関数のどの位置でエラーを起こしたのかがわからない.
+\end{enumerate}
+
+\section{2006-01-26, -engineLogToStdout}
+\begin{enumerate}
+\item   engine を xterm 内部で動かさないで呼び出したプログラム
+の標準出力へつないだまま動かす.
+\begin{verbatim}
+ (ox.sm1) run 
+ /Xm_engineLogToStdout 1 def
+ asirconnectr 
+ ((x-2)^2). fctr ::
+\end{verbatim}
+\item   cfep への対応.
+\begin{verbatim}
+  ox_texmacs --view cfep --engineLogToStdout
+  ox_texmacs --view debug --engineLogToStdout
+\end{verbatim}
+\end{enumerate}
+
+ソースの変更.
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Doc/ox.sm1} 1.46
+\item {\tt OpenXM/src/kxx/ox\_texmacs.c} 1.26
+\item {\tt OpenXM/src/kxx/ox100start.c}  1.7
+\item {\tt OpenXM/src/util/ox\_pathfinder.c, h} 1.30
+\end{enumerate}
+
+\section{2006-01-30, class の body を得る.}
+\begin{verbatim}
+[1,2,3] (error) dc /ff set  %%CLASSNAME_ERROR_PACKET を生成. bodyは[1,2,3]
+ff (body) dc   %% [classのタグ番号, class の body object] を戻す.
+--> [1,2,3]
+\end{verbatim}
+関連. {\tt KnewErrorPacketObj()}
+
+ソースの変更.
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Kan/kclass.c} 1.6
+\end{enumerate}
+
+\section{2006-02-01, 新しい error packet}
+\begin{verbatim}
+(ox.sm1) run
+sm1connectr
+oxsm1.ccc (1 shell) oxsubmit
+oxsm1.ccc oxpopcmo ::
+\end{verbatim}
+\verb@ errorPacket (body) dc 3 get  @ が
+リスト(キーワード,値)となる. 場所(where)や理由(reason),
+処理系によっては, line や parse error の場所.
+関連事項: misc-2005/A1/cfep.
+{\tt oxclearstack}. 
+
+ox\_texmacs で tunnel channel 0 へ cfep 用のエラー命令を送る.
+({\tt outputStringToTunnel()})
+\begin{verbatim}
+ox_texmacs --view debug
+!sm1;^E
+1 shell ^E
+\end{verbatim}
+
+
+ソースの変更.
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Kan/stackmachine.c} 1.34
+\item {\tt OpenXM/src/kan96xx/Doc/ox.sm1}  1.48
+\item {\tt OpenXM/src/kxx/sm1stackmachine.c}   1.6
+\item {\tt OpenXM/src/kxx/ox\_texmacs.c}   1.27
+\item {\tt OpenXM/doc/OpenXM-specs/OX-RFC-103.oxw} 1.6
+\end{enumerate}
+
+\section{2006-02-04, メッセージの localization (ox用)}
+オリジナル {\tt misc-2005/A1/cfep/packages/misc}.
+\begin{verbatim}
+/localizedString.file (Resource/sm1-ja_JP.eucJP.sm1) def
+localizedString.load              %% 辞書をロードする.
+[(parse) (ox.sm1) pushfile] extension
+sm1connectr 
+oxsm1.ccc ( hoge ) oxsubmit 
+oxsm1.ccc oxpopcmo /e1 set
+e1 translateErrorForCfep message  %% エラー obj の翻訳
+\end{verbatim}
+エラー object の構造.
+[serial, 共通エラー番号, message, core]
+空欄のときは, $-1$ か null object.
+
+ソースの変更.
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Kan/dr.sm1} 1.53,  localizedString を追加.
+\item {\tt OpenXM/src/kan96xx/Doc/ox.sm1} 1.52,  translateErrorForCfep を修正
+\item {\tt OpenXM/src/kan96xx/Doc/Resource}  翻訳のためのリソース.
+\item {\tt OpenXM/src/kxx/Makefile.in} 1.36, Resource をコピー.
+\end{enumerate}
+
+\section{2006-02-04, {\tt -authEncoding file} の実装}
+
+OX-RFC-104 の {\tt -authEncoding file} を実装.
+\begin{verbatim}
+~/.openxm/tmp.opt/c.txt   -->  1435  (Do not put the newline character.)
+~/.openxm/tmp.opt/d.txt   -->  1234
+chmod 700 ~/.openxm/tmp.opt
+ox -ox ox_sm1 -authEncoding file -passControl c.txt -passData d.txt
+[(oxCreateClient) (localhost) 1300 1200 [(1435) (1234)]] extension ;
+                              data ctrl  ctrl    data
+\end{verbatim}
+
+cfep で MyOpenGLView の event 入力用の delegate ox server ``ox\_nextevent''
+は ox\_asir  のサーバである.
+``ox\_nextevent'' は 
+MyOpenGLView から NSPipe, NSTask を用いて MyOpenGLView の出力を
+stdin で受信できる状態でないといけない.
+MyOpenGLView は {\tt ox} を用いて{\tt ox\_asir} よりの順方向接続をまつ予定.
+\begin{enumerate}
+\item {\tt OpenXM/src/kxx/oxmain.c} 1.22
+\end{enumerate}
+
+\section{2006-12-21, UseDsmall option}
+
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Kan/output.c}
+\item {\tt OpenXM/src/kan96xx/Kan/global.c}
+\item {\tt OpenXM/src/kan96xx/Kan/kanExport0.c}
+\item {\tt OpenXM/src/kan96xx/Kan/option.c}
+\item {\tt OpenXM/src/kan96xx/Kan/usage.c}
+\end{enumerate}
+
+{\tt makeDsmall()}.
+
+\verb@ [(UseDsmall) 1] system_variable @ で
+出力の時だけ D が小文字になる.
+asir \verb@ print_tex_form @ を呼び出すため導入.
+
+\section{2007-6-3,  mgkz}
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Doc/gkz.sm1} 1.2 
+\item {\tt OpenXM/src/kan96xx/Doc/printhelp.sm1} 1.9
+\end{enumerate}
+	
+mgkz (メモ的な数学ノートは misc-2006/04) コマンドを追加.
+Modified A-hypergeometric system を生成.
+printhelp.sm1 に キーワード mgkz を追加.
+
+プログラム作成方法のメモ.
+まず, gkz を mgkz としてコピー.
+\verb@ (  ) error @ をプログラムの各部分に入れながら,
+[ ] mgkz を実行して, debug.
+すると変数の値を観察できて簡単.
+
+\section{2009-8-26,  gfan}
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Doc/gfan.sm1} 1.13 
+\end{enumerate}
+
+Grobner cone で 線型空間を除いたものの
+次元が $1$ or $0$ の時は正しく動作しない.
+この時に エラーメッセージを出す.
+(cf. taka: i-hg/crest09/Prog/fan1.sm1, fan2.sm1)
+
+\section{2009-9-4,  gfan}
+\begin{enumerate}
+\item {\tt OpenXM/src/kan96xx/Doc/gfan.sm1} 1.17
+\item {\tt OpenXM/src/kan96xx/trans/yy\_polymake.y} 1.5
+\item {\tt OpenXM/src/kan96xx/trans/yylex\_polymake.c} 1.5
+\item {\tt OpenXM/src/kan96xx/trans/data} 
+\end{enumerate}
+
+gfan.sm1 package は polymake 2.0 の出力に対しては正しく動作する.
+しかし 2.2, 2.3 に対して動作しない.
+{\tt trans/data/data1b.txt} は 2.0 の出力,
+{\tt trans/data/data1.txt} は 2.3 の出力,
+入力 property は INEQUALITIES で FACETS を 出力 property としている.
+
+{\tt trans/data/data2.txt} は簡単な例.
+
+2.3 では VERTICES が UNDEF となる. これを正しく parse するように polymake2tfb を
+変更した.
+\begin{verbatim}
+ ./polymake2tfb <data/data1.txt
+\end{verbatim}
+VERTICES の出力がないので, gfan.sm1 で使えない.
+gfan は web service を default と呼ぶようにした.
+
+\verb@ (gfan) usage ; @ が gfan についての説明を出力するようにした.
+
+debug 用に便利なコマンド.
+\begin{verbatim}
+ oxshell.facets([[1,0,0],[1,2,0],[1,0,3],[1,1,1]]); 
+ sm1.sm1(0,"/doPolymake load message ");   OoHG を読んでいるか, いないか?
+
+ [(keep_tmp_files) (1) ] oxshell   作業ファイルを /tmp  or $TMP に保存.
+ rr (UNDEF) getNode ::
+ i-hg/crest09/Prog/fan*.sm1 (private)
+\end{verbatim}
+%$
+
+関係あるfiles.
+Doc/cgi.sm1, trans/, 
+
+oxshell で polymake を実行. 出力を tfb に変換. これを sm1 object に
+k0 server で変換 ({\tt QuoteMode(1); }.
+
+trans/polymake.sm1 は, 組み込みマクロとなる.
+doPolymake は local のものを呼ぶ.
+
+\section{2012-9-16,  syz}
+
+syz が存在しない場合に syz (hol.sm1) が warning を出力する件.
+getRing を 空リストに対してやっていることが原因.
+kanExport0.c の data\_conversion の key を出力することにより debug. 
+
+\section{2012-10-29, doPolymake}
+
+doPolymake の仕組みを見て, 処理の bug を修正する予定.
+shell.c に help を追加.
+\begin{verbatim}
+  [(parse) (cgi.sm1) pushfile] extension
+  /doPolymake {doPolymake.OoHG} def
+  [(keep_tmp_files) (1)] oxshell
+ /afo (Hello! ) def [(cat) (stringIn://afo)] oxshell
+\end{verbatim}
+{\tt \$TMP} に 作業ファイルを保存.
+{\tt kan96xx/trans} で データ形式の変換.
+作業ファイルの生成は 
+{\tt generateTMPfiles()} ({\tt util/ox\_pathfinder.c}).
+
+\section{2013-09-20, doPolymake}
+bug fix. 有理数を accept. oxshell のマニュアルを更新.
+
+class の利用法を思い出す.
+\begin{verbatim}
+ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,1,1/2]])))]
+         doPolymake /rr set 
+rr 1 get /ff set
+ff (array) dc ::     % class を array へ変換.
+\end{verbatim}
+{\tt primitive.c} で class を search.
+KclassDataConversion() 関数を読めばよいことがわかる.
+grep すると {\tt kclass.c} を探せばいい.
+ここに tag がいろいろある.
+usage に note-class を追加.
+
+\section{2013-09-22, oxdecode\_post}
+
+mime 形式の post message を URL encoding に変換
+(mime の判定等は現状なんちゃって).
+これで, reverse proxy 経由でも正常動作.
+
+\begin{verbatim}
+cat t.txt
+FACETS POINTS
+1 0 0
+1 1 0
+1 0 1
+
+ curl -F oxMessageBody=@t.txt http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-polymake.sh
+\end{verbatim}
+
+\begin{verbatim}
+library(RCurl);
+postForm("http://polymake.math.kobe-u.ac.jp/cgi-bin/cgi-polymake.sh",
+  oxMessageBody="FACETS POINTS\n1 0 0\n1 1 0\n1 0 1")
+[1] "POINTS\n1 0 0\n1 1 0\n1 0 1\r\n\nFACETS\n1 -1 -1\n0 1 0\n0 0 1\n\n
+ AFFINE_HULL\n\n\n_version 2.0\n_application polytope\n\n"
+attr(,"Content-Type")
+                  charset 
+"text/plain"      "UTF-8" 
+\end{verbatim}
+
+{\tt cgiPolymake.log} に 1 を代入しておくと(既定値)
+sm1log で /tmp/sm1log.txt に post message を記録.
+date 関数を追加.
+
+curl を用いた呼び出しのテスト.
+\begin{verbatim}
+(cgi.sm1) run
+/cgiQueryPolymake { cgiQueryPolymake.curl } def
+ [(FACETS) (polymake.data(polymake.POINTS([[1,0,0],[1,1,0],[1,0,1],[1,1,1/2]])))] /ff set
+ff doPolymake.OoHG /rr set
+\end{verbatim}
+
+\section{2013-09-25, usePolymake.*}
+polymake のスイッチ. version により振る舞いが違うので注意.
+
+各種 log の場所.
+\begin{enumerate}
+\item server side. {\tt /tmp/sm1log.txt}: cgi-post の encoded 文字列.
+\item server side.  cgi-polymake.sh に tee を追加すると, oxdecode\_post 前の文字列を
+保存できる.
+\item client side. oxshell で work file を {\tt \$TMP} に残すには
+oxshell の usage を見て, keep\_tmp\_files を使う.
+local 版では {\tt @@@doPolymake.vars} に記録あり.
+asir では {\tt polymake.log()} に格納.
+\item {\tt usePolymake.OoHG.curl} の時は {\tt /tmp/sm1-q-cgi*.txt}
+に cgi に問い合わせる時の文字列が格納される.
+\end{enumerate}
+
+なお mac 版は error で bus error を起こす場合あり. 
+サンプル code は, {\tt misc-2013/09/genpos/mac.sm1}. 
+これは ticket.
 \end{document}