[BACK]Return to exp-ja.texi CVS log [TXT][DIR] Up to [local] / OpenXM / src / asir-doc / exp

Diff for /OpenXM/src/asir-doc/exp/exp-ja.texi between version 1.59 and 1.62

version 1.59, 2020/09/09 00:33:25 version 1.62, 2021/02/04 08:12:12
Line 1 
Line 1 
 %% $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  \input texinfo-ja
 @iftex  @iftex
 @catcode`@#=6  @catcode`@#=6
Line 3271  $\{(x^2-x) \partial_x^2+((a+b+1)x-c) \partial_x+ab \}
Line 3271  $\{(x^2-x) \partial_x^2+((a+b+1)x-c) \partial_x+ab \}
 であることを意味する.  であることを意味する.
 @end ifinfo  @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 加群の積分イデアルの非斉次部分に関する関数  @node nk_restriction.trans_inhomo,,, D 加群の積分イデアルの非斉次部分に関する関数
 @subsection @code{nk_restriction.trans_inhomo}  @subsection @code{nk_restriction.trans_inhomo}
 @comment --- 索引用キーワード  @comment --- 索引用キーワード
Line 3357  $ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t 
Line 3373  $ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t 
 @end iftex  @end iftex
 @ifinfo  @ifinfo
 \int_0^∞ exp((-t^3+t)x) dt  \int_0^∞ exp((-t^3+t)x) dt
 の非積分関数の満たすホロノミックイデアルは  の被積分関数の満たすホロノミックイデアルは
 I = < dt +(3t^2-1)x, dx+t^3-t >  I = < dt +(3t^2-1)x, dx+t^3-t >
 であるから, これを入力として次のように計算を行う.  であるから, これを入力として次のように計算を行う.
 @end ifinfo  @end ifinfo

Legend:
Removed from v.1.59  
changed lines
  Added in v.1.62

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>