===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/parts/appendix.texi,v
retrieving revision 1.9
retrieving revision 1.16
diff -u -p -r1.9 -r1.16
--- OpenXM/src/asir-doc/parts/appendix.texi	2002/09/03 01:50:57	1.9
+++ OpenXM/src/asir-doc/parts/appendix.texi	2018/03/29 02:48:36	1.16
@@ -1,4 +1,4 @@
-@comment $OpenXM: OpenXM/src/asir-doc/parts/appendix.texi,v 1.8 2002/08/13 07:44:06 noro Exp $
+@comment $OpenXM: OpenXM/src/asir-doc/parts/appendix.texi,v 1.15 2018/03/28 08:43:19 takayama Exp $
 \BJP
 @node 付録,,, Top
 @appendix 付録
@@ -133,7 +133,7 @@
 \E
 \BEG
 <option>:
-    Character sequence beginning with an alphabetical letter @samp{=} <expression>
+    Character sequence beginning with an alphabetical letter @samp{=} <expr>
 \E
 @end example
 
@@ -440,20 +440,22 @@ factorization @code{af()}. (@xref{asq af af_noalg}.)
 x^9-15*x^6-87*x^3-125
 0msec
 [177] af(Alg[5],[newalg(Alg[5])]);
-[[1,1],[75*x^2+(10*#0^7-175*#0^4-470*#0)*x+(3*#0^8-45*#0^5-261*#0^2),1],
-[75*x^2+(-10*#0^7+175*#0^4+395*#0)*x+(3*#0^8-45*#0^5-261*#0^2),1],
-[25*x^2+(25*#0)*x+(#0^8-15*#0^5-87*#0^2),1],[x^2+(#0)*x+(#0^2),1],
-[x+(-#0),1]]
+[[1,1],[75*x^2+(10*#0^7-175*#0^4-470*#0)*x
++(3*#0^8-45*#0^5-261*#0^2),1],
+[75*x^2+(-10*#0^7+175*#0^4+395*#0)*x
++(3*#0^8-45*#0^5-261*#0^2),1],
+[25*x^2+(25*#0)*x+(#0^8-15*#0^5-87*#0^2),1],
+[x^2+(#0)*x+(#0^2),1],[x+(-#0),1]]
 3.600sec + gc : 1.040sec
 @end example
 @item ifplot
 \BJP
-描画 (@ref{ifplot conplot plot plotover}) のための例. @code{IS[]} には有名な
+描画 (@ref{ifplot conplot plot polarplot plotover}) のための例. @code{IS[]} には有名な
 曲線の例, 変数 @code{H, D, C, S} にはトランプのハート, ダイヤ, クラブ, 
 スペード (らしき) 曲線の例が入っている. 
 \E
 \BEG
-Examples for plotting. (@xref{ifplot conplot plot plotover}.)
+Examples for plotting. (@xref{ifplot conplot plot polarplot plotover}.)
 Vector @code{IS[]} contains several famous algebraic curves.
 Variables @code{H, D, C, S} contains something like the suits
 (Heart, Diamond, Club, and Spade) of cards.
@@ -480,7 +482,8 @@ is defined.  Its returns a rather complex result.
 [84] load("ratint")$
 [102] ratint(x^6/(x^5+x+1),x);
 [1/2*x^2,
-[[(#2)*log(-140*x+(-2737*#2^2+552*#2-131)),161*t#2^3-23*t#2^2+15*t#2-1],
+[[(#2)*log(-140*x+(-2737*#2^2+552*#2-131)),
+161*t#2^3-23*t#2^2+15*t#2-1],
 [(#1)*log(-5*x+(-21*#1-4)),21*t#1^2+3*t#1+1]]]
 @end example
 \BJP
@@ -513,13 +516,30 @@ result and then summing them up all.
 \E
 @item primdec
 \BJP
-多項式イデアルの準素イデアル分解とその根基の素イデアル分解
+有理数体上の多項式イデアルの準素イデアル分解とその根基の素イデアル分解
 (@pxref{primadec primedec}).
 \E
 \BEG
 Primary ideal decomposition of polynomial ideals and prime compotision
-of radicals (@pxref{primadec primedec}).
+of radicals over the rationals (@pxref{primadec primedec}).
 \E
+@item primdec_mod
+\BJP
+有限体上の多項式イデアルの根基の素イデアル分解
+(@pxref{primedec_mod}).
+\E
+\BEG
+Prime decomposition of radicals of polynomial ideals
+over finite fields (@pxref{primedec_mod}).
+\E
+@item bfct
+\BJP
+b 関数の計算.
+\E
+\BEG
+Computation of b-function.
+\E
+(@pxref{bfunction bfct generic_bfct ann ann0}).
 @end table
 
 \BJP
@@ -594,8 +614,8 @@ available for UNIX commands, including @samp{asir}.
 [[1,1],[x-1,1],[x^4+x^3+x^2+x+1,1]]
 [1] !!                              /* !!+Return                      */
 \BJP
-fctr(x^5-1);                        /* 直前の入力が現れるて編集できる */
-...                                 /* 編集+Return                    */
+fctr(x^5-1);                        /* 直前の入力が現れて編集できる */
+...                                 /* 編集+Return                  */
 \E
 \BEG
 fctr(x^5-1);                        /* The last input appears.        */
@@ -967,11 +987,32 @@ and it is displayed in the hexadecimal form.
 \E
 
 @menu
+* ChangeLog::
 * Version 990831::
 * Version 950831::
 * Version 940420::
 @end menu
 
+\JP @node ChangeLog,,, 変更点
+\EG @node ChangeLog,,, Changes
+@subsection ChangeLog
+\BJP
+詳しくは 
+@uref{http://www.openxm.org}
+の cvsweb を参照.
+@itemize
+@item 2018-03-28,  ctrl のスイッチ一覧の表示.  builtin/ctrl.c, ...
+@item 2018-03-28, abs が pure func に. N!. top level の break. parse/puref.c, ...
+@item 2018-03-27, ox_pari server に ox_reset が実装された. ox_pari/ox_pari.c
+@item 2018-03-27, sin(数字) 等が不定元として大量に生成される問題の解決案. parse/puref.c, ...
+@end itemize
+\E
+
+\BEG
+See the Japanese document and the cvsweb at
+@uref{http://www.openxm.org}
+\E
+
 \JP @node Version 990831,,, 変更点
 \EG @node Version 990831,,, Changes
 @subsection Version 990831
@@ -1197,6 +1238,10 @@ Proc. ISSAC'92, 387-396.
 Noro, M., Yokoyama, K., "A Modular Method to Compute the Rational Univariate
 Representation of Zero-Dimensional Ideals", 
 J. Symb. Comp. 28/1 (1999), 243-263.
+@item [Saito,Sturmfels,Takayama]
+Saito, M., Sturmfels, B., Takayama, N.,
+"Groebner deformations of hypergeometric differential equations",
+Algorithms and Computation in Mathematics 6, Springer-Verlag (2000).
 @item [Shimoyama,Yokoyama]
 Shimoyama, T., Yokoyama, K.,
 "Localization and primary decomposition of polynomial ideals",
@@ -1208,5 +1253,7 @@ J. Symb. Comp. 20 (1995), 364-397.
 Traverso, C., "Groebner trace algorithms", Proc. ISSAC '88(LNCS 358), 125-138.
 @item [Weber]
 Weber, K., "The accelerated Integer GCD Algorithm", ACM TOMS, 21, 1(1995), 111-122.
+@item [Yokoyama]
+Yokoyama, K., "Prime decomposition of polynomial ideals over finite fields", 
+Proc. ICMS, (2002), 217-227.
 @end table
-