===================================================================
RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v
retrieving revision 1.20
retrieving revision 1.37
diff -u -p -r1.20 -r1.37
--- OpenXM/src/kan96xx/Doc/changelog-ja.tex	2006/02/01 04:16:54	1.20
+++ OpenXM/src/kan96xx/Doc/changelog-ja.tex	2020/03/14 00:50:55	1.37
@@ -1,8 +1,9 @@
-% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.19 2006/02/01 00:30:05 takayama Exp $
+% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.36 2018/05/02 02:28:13 takayama Exp $
 \documentclass{jarticle}
 \title{ChangeLog \\ ---kan96xx, kxx, k097}
 \author{Nobuki Takayama}
 \date{}
+\usepackage{url}
 \begin{document}
 \maketitle
 
@@ -129,6 +130,7 @@
 \section{2004-09-05, グレブナfanの計算}
 \begin{enumerate}
 \item polymake が必要.  9/1, 9/2, 9/3, 9/4 のノートも参照.
+@s/2004/08/21-note.pdf に変数等の説明あり.
 \item OpenXM の cvs への commit は大きい区切りで. 
       細かい変更は {\tt eventail/cone.sm1} で.
 \item {\tt OpenXM/src/kan96xx/Doc/gfan.sm1} 1.1
@@ -519,6 +521,462 @@ ox_texmacs --view debug
 \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.
+
+screenflow による覚え書きは,
+fe の {\tt /Movies/oxvh/2013-09-25-polymake}.
+
+\section{2015-10-10, cygwin64, msys64}
+
+cygwin64, msys64 対応.
+\begin{enumerate}
+\item gc には patch. cygwin64 の gc.h はすでに patch が当たってる.
+  よって gc が更新されたら patch は多分不要.
+\item sigsetjmp を {\tt \_setjmp} にしないとたとえば
+微分作用素環の掛け算で segfault.  原因はよくわからず.
+\item string.h, stdlib.h 等の prototype 宣言をしておかないと {\tt ox\_sm1} が segfault.
+\item msys では cmd.exe が新しい window を開かないので(謎), mintty を使う.
+\end{enumerate}
+fe の {\tt /Movies/archive} の bandicam にも記録.
+
+Todo, ctrl-C が一度しか有効でない. sigaction を利用するべき?
+
+{\tt ox\_sm1} の segfault の debug
+{\tiny
+\begin{verbatim}
+  misc-2015/10/cygwin-for-sm1 に
+  oxserver00-d.c Makefile-for-ox_sm1d tmp-o.txt あり.
+  tmp-o.txt は ( (1).. (0).. div ) oxsubmit で エラーを起こす命令を,
+  stream dump したもの.  cf. (ox.sm1) run (extension-oxLog) usage
+  oxpipe.c を oxserver00.c へ組み込んだもの. gdb 用.  ox_sm1d
+  523  rm ox_sm1d
+  525  make -f Makefile-for-ox_sm1d  ox_sm1d
+  526  ./ox_sm1d <tmp-o.txt
+
+cygwin, msys の gdb は run <file が出来ないことに注意.
+$ gdb ./ox_sm1d
+GNU gdb (GDB) 7.9
+Copyright (C) 2015 Free Software Foundation, Inc.
+License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
+This is free software: you are free to change and redistribute it.
+There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
+and "show warranty" for details.
+This GDB was configured as "x86_64-pc-msys".
+Type "show configuration" for configuration details.
+For bug reporting instructions, please see:
+<http://www.gnu.org/software/gdb/bugs/>.
+Find the GDB manual and other documentation resources online at:
+<http://www.gnu.org/software/gdb/documentation/>.
+For help, type "help".
+Type "apropos word" to search for commands related to "word"...
+Reading symbols from ./ox_sm1d...done.
+(gdb) break main
+Breakpoint 1 at 0x10049b7b8: file oxserver00-d.c, line 37.
+(gdb) run
+Starting program: /home/Nobuki/OX4/OpenXM/src/kxx/ox_sm1d
+[New Thread 11260.0x17c8]
+[New Thread 11260.0x2e50]
+[New Thread 11260.0x8ac]
+[New Thread 11260.0x29d0]
+[New Thread 11260.0x27b8]
+
+Breakpoint 1, main (argc=1, argv=0x24cb10) at oxserver00-d.c:37
+37      main(int argc, char *argv[]) {
+(gdb) call dup2(open("tmp-o.txt",0),0)
+// run <file する代わり. cf. stackoverflow  [cygwin gdb pipe]
+$1 = 0
+(gdb) break Sm1_popErrorMessage
+Breakpoint 2 at 0x100402720: file sm1stackmachine.c, line 205.
+(gdb) continue
+Continuing.
+[New Thread 11260.0x2f84]
+oxserver00-d.c for debug.
+[New Thread 11260.0x2a28]
+sm1>macro package : dr.sm1,   9/26,1995 --- Version 09/22, 2013.
+sm1>macro package : module1.sm1, 1994 -- Nov 8, 1998
+sm1 version : 3.050615
+sm1 url : http://www.math.kobe-u.ac.jp/KAN
+name = ox_sm1
+sm1>---------------------------------------------------
+engineByteOrder=0
+Hello world.
+Set EnvOfChildServer.
+Set EnvOfStackMachine.
+
+mtag is 514 (serial=11) :  OX_DATA
+(CMO_STRING[4],[size=17],$ (1).. (0).. div $),
+mtag is 513 (serial=12) :  OX_COMMAND
+
+function_id is 268; SM_executeStringByLocalParser
+KSexecuteString( (1).. (0).. div )
+
+ERROR(kanExport[0|1].c): KisInvalidRational(): zero division. You have f/0.
+Trace: div<-;
+
+Breakpoint 2, Sm1_popErrorMessage (s=0x10049d084 "executeString: ")
+    at sm1stackmachine.c:205
+205     char *Sm1_popErrorMessage(char *s) {
+(gdb) print s
+$2 = 0x10049d084 "executeString: "
+(gdb) print ErrorMessageMode
+$3 = 2
+(gdb) break popErrorStackByString
+Breakpoint 3 at 0x1004033f0: file stackmachine.c, line 1445.
+(gdb) continue
+Continuing.
+
+Breakpoint 3, popErrorStackByString () at stackmachine.c:1445
+1445    char *popErrorStackByString(void) {
+(gdb) list
+1440      }else{
+1441        return( (ErrorStack.ostack)[--(ErrorStack.sp)]);
+1442      }
+1443    }
+1444
+1445    char *popErrorStackByString(void) {
+1446      struct object obj = OINIT;
+1447      struct object eobj = OINIT;
+1448      eobj = popErrorStack();
+1449      if (ectag(eobj) != CLASSNAME_ERROR_PACKET) {
+(gdb) break sGC_malloc
+Breakpoint 4 at 0x1004035a0: file stackmachine.c, line 1510.
+(gdb) continue
+Continuing.
+
+Breakpoint 4, sGC_malloc (n=93) at stackmachine.c:1510
+1510    void *sGC_malloc(size_t n) { /* synchronized function */
+(gdb) up
+#1  0x000000010040276b in Sm1_popErrorMessage (s=0x10049d084 "executeString: ")
+    at sm1stackmachine.c:221
+221         a = (char *) sGC_malloc(sizeof(char)*(strlen(s)+strlen(e)+2));
+(gdb) print s
+$4 = 0x10049d084 "executeString: "
+(gdb) print e
+$5 = 0x6008d4d70 "\nERROR(kanExport[0|1].c): KisInvalidRational(): zero division. You have f/0."
+//  正常
+(gdb) continue
+Continuing.
+     14 [main] ox_sm1d 11260 cygwin_exception::open_stackdumpfile: Dumping stack trace to ox_sm1d.exe.stackdump
+[Thread 11260.0x2e50 exited with code 35584]
+[Thread 11260.0x8ac exited with code 35584]
+[Thread 11260.0x29d0 exited with code 35584]
+[Thread 11260.0x2f84 exited with code 35584]
+[Thread 11260.0x2a28 exited with code 35584]
+[Inferior 1 (process 11260) exited with code 0105400]
+(gdb) quit
+
+GC_malloc や strcpy 等が怪しいとにらむ.
+  
+
+  char * 系 void * 系の宣言なしが segfault の原因?
+  strcpy が変.
+  
+  kxx/serversm.h に
+#include <string.h>
+void *sGC_malloc(int n);
+を加える.
+  ./ox_sm1d <tmp-o.txt  が正常終了.
+\end{verbatim}
+} %% end tiny
+
+\noindent
+解決: OpenXM/src/util/mysig.c に sigaction を用いた signal emulation を加えた.
+これにより上記のようなトラブルは解消.
+
+\section{doPolymake の構造メモ (2020.03.12)}
+doPolymake に起因する bug を fix. その時に doPolymake の流れを読み直した.
+
+テスト用の入力(polymake は サーバーを利用).
+{\tiny
+\begin{verbatim}
+export OX_XTERM_GEOMETRY=80x20+0+0
+sm1
+(cgi.sm1) run ;
+usePolymake.OoHG.curl polymake.start ;
+[(FACETS) (polymake.data(polymake.POINTS([[1,0],[1,1]])))]
+doPolymake /rr set ;
+rr ::
+\end{verbatim}
+}
+{\tt rr} には sm1 の class.tree データが格納される.
+{\tt OX\_XTERM\_GEOMETRY} を設定することで ox server が iconic にならない.
+polymake へ OOHG で問い合わせている本体は,
+{\tt cgi.sm1} の {\tt cgiQueryPolymake.curl}.
+これを読むと仕組みがわかる.
+polymake http server 側では次のコード(cgi-polymake.sh)で post message を受取り, polymake で計算して, 結果を戻す.
+{\tiny
+\begin{verbatim}
+#!/bin/bash
+# $OpenXM: OpenXM/src/polymake/cgi/cgi-polymake.sh,v 1.1 2004/09/27 01:20:46 takayama Exp $ 
+PATH=/usr/local/polymake/bin:$PATH
+export TMP=/tmp
+source /home/taka/OpenXM/rc/dot.bashrc
+WFILE=/tmp/tmp-post-$$.txt
+tee /tmp/t.txt | oxdecode_post >${WFILE}
+env CONTENT_LENGTH=`wc -m ${WFILE} | awk '{print $1}'` sm1 -q -s "[(parse) (cgi.sm1) pushfile] extension cgiPolymake quit " <${WFILE}
+rm -f ${WFILE}
+exit 0
+: rm -f ${WFILE}
+\end{verbatim}
+}
+送信側の {\tt cgiQueryPolymake.curl} は curl の form option を用いて
+post message をする.
+キーは {\tt oxMessageBody} である.
+送る form は {\tt /tmp/sm1-q-cgi.txt???} に生成される.
+ここで ??? は pid である.
+結果を受け取ったらこの一時ファイルは {\tt OpenXM\_tmp} 環境変数で指定される
+folder へ移動される.
+{\rm /tmp/sm1-q-cgi*} は動作エラー等により残ることがあるので定期的に削除することが
+望ましい.
+{\tt cgiQueryPolymake.curl} は polymake version 2 形式の出力を文字列の list として戻す.
+
+これを tree 形式等に変換しているのは {\tt kan96xx/trans} 内のソースである.
+このフォルダはデータ形式の変換等のテストケースとして作成された.
+考え方としては,
+\begin{center}
+\fbox{tree 形式のデータ} $\Leftrightarrow$
+\fbox{tfb 形式のデータ} $\Leftrightarrow$ \fbox{polymake 形式} 
+$\Leftrightarrow$ \fbox{polymake web server}
+\end{center}
+{\tt polymake2tfb} は polymake version 2 のファイルを入力とすると
+tfb 形式のデータを出力する.
+{\tiny
+\begin{verbatim}
+polymake2tfb < ~/.OpenXM_tmp/sm1-q-cgi-out.txt37402
+polymake.data(polymake.POINTS([[1,0],[1,1]]),polymake.FACETS([[1,-1],[0,1]]),polymake.AFFINE_HULL())
+\end{verbatim}
+}
+tfb 形式のデータは {\tt ox\_k0} が parse して, それを tree 形式に変換している.
+逆変換も {\tt ox\_k0} が行う
+(ソース {\tt polymake.sm1}, 関数 {\tt tfbToTree} を参照).
 
 \end{document}