===================================================================
RCS file: /home/cvs/OpenXM/src/asir-doc/exp/exp-ja.texi,v
retrieving revision 1.59
retrieving revision 1.62
diff -u -p -r1.59 -r1.62
--- OpenXM/src/asir-doc/exp/exp-ja.texi	2020/09/09 00:33:25	1.59
+++ OpenXM/src/asir-doc/exp/exp-ja.texi	2021/02/04 08:12:12	1.62
@@ -1,4 +1,4 @@
-%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.58 2020/09/06 03:26:47 noro Exp $
+%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.61 2021/01/20 07:57:24 takayama Exp $
 \input texinfo-ja
 @iftex
 @catcode`@#=6
@@ -3271,6 +3271,22 @@ $\{(x^2-x) \partial_x^2+((a+b+1)x-c) \partial_x+ab \}
 であることを意味する.
 @end ifinfo
 
+この例のように積分変数が1変数 t, パラメータ変数が x のとき
+イデアル I に対する inhomo=1 での積分アルゴリズムの出力が
+[[L],[[[[dt,M]],N]]] である場合,
+L は x のみの微分作用素, M は x, t の微分作用素, N は数で,
+L - (1/N)*dt*M が I の元となる. したがって f(x,t) が I で零化される
+函数とすれば,
+@iftex
+@tex
+$L \cdot \int_a^b f(x,t) dt - {{1}\over{N}}[M\cdot f]_{t=a}^{t=b} = 0$
+@end iftex
+@ifinfo
+L integral(f(x,t),[t,a,b]) - (1/N)[(Mf)(a)-(Mf)(b)]=0
+@end ifinfo
+が成り立つ.
+
+
 @node nk_restriction.trans_inhomo,,, D 加群の積分イデアルの非斉次部分に関する関数
 @subsection @code{nk_restriction.trans_inhomo}
 @comment --- 索引用キーワード
@@ -3357,7 +3373,7 @@ $ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t 
 @end iftex
 @ifinfo
 \int_0^∞ exp((-t^3+t)x) dt
-の非積分関数の満たすホロノミックイデアルは
+の被積分関数の満たすホロノミックイデアルは
 I = < dt +(3t^2-1)x, dx+t^3-t >
 であるから, これを入力として次のように計算を行う.
 @end ifinfo