===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v
retrieving revision 1.23
retrieving revision 1.32
diff -u -p -r1.23 -r1.32
--- OpenXM/src/kan96xx/Doc/changelog-ja.tex	2006/12/21 05:29:49	1.23
+++ OpenXM/src/kan96xx/Doc/changelog-ja.tex	2013/09/22 08:07:51	1.32
@@ -1,4 +1,4 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.22 2006/02/04 10:44:22 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.31 2013/09/22 05:17:17 takayama Exp $
 \documentclass{jarticle}
 \title{ChangeLog \\ ---kan96xx, kxx, k097}
 \author{Nobuki Takayama}
@@ -581,7 +581,152 @@ MyOpenGLView は {\tt ox} を用いて{\tt ox\_
 出力の時だけ 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}
 \end{document}