[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.61

version 1.59, 2020/09/09 00:33:25 version 1.61, 2021/01/20 07:57:24
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.60 2021/01/19 23:52:34 takayama Exp $
 \input texinfo-ja  \input texinfo-ja
 @iftex  @iftex
 @catcode`@#=6  @catcode`@#=6
Line 3270  $\{(x^2-x) \partial_x^2+((a+b+1)x-c) \partial_x+ab \}
Line 3270  $\{(x^2-x) \partial_x^2+((a+b+1)x-c) \partial_x+ab \}
 @{(x^2-x)dx^2+((a+b+1)x-c)dx+ab @} - 1/1 @{ dt (-t+1)dx @} \in I  @{(x^2-x)dx^2+((a+b+1)x-c)dx+ab @} - 1/1 @{ dt (-t+1)dx @} \in I
 であることを意味する.  であることを意味する.
 @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 tex
   @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}

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

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