=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Doc/changelog-ja.tex,v retrieving revision 1.26 retrieving revision 1.27 diff -u -p -r1.26 -r1.27 --- OpenXM/src/kan96xx/Doc/changelog-ja.tex 2009/08/26 04:54:40 1.26 +++ OpenXM/src/kan96xx/Doc/changelog-ja.tex 2009/09/04 11:13:11 1.27 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.25 2007/06/03 01:46:52 takayama Exp $ +% $OpenXM: OpenXM/src/kan96xx/Doc/changelog-ja.tex,v 1.26 2009/08/26 04:54:40 takayama Exp $ \documentclass{jarticle} \title{ChangeLog \\ ---kan96xx, kxx, k097} \author{Nobuki Takayama} @@ -606,6 +606,52 @@ 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