OpenXM/src/asir-doc/exp/exp-ja.texi - diff

Return to exp-ja.texi CVS log

Up to [local] / OpenXM / src / asir-doc / exp

version 1.59, 2020/09/09 00:33:25

version 1.63, 2021/02/22 00:46:53

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.62 2021/02/04 08:12:12 takayama Exp $

\input texinfo-ja

@iftex

@catcode`@#=6

Line 3271 $\{(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 tex

@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 --- 索引用キーワード

Line 3357 $ I = \langle \partial_t +(3t^2-1)x, \partial_x+t^3-t

Line 3374 $ 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