version 1.61, 2021/01/20 07:57:24 |
version 1.63, 2021/02/22 00:46:53 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.60 2021/01/19 23:52:34 takayama Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.62 2021/02/04 08:12:12 takayama Exp $ |
\input texinfo-ja |
\input texinfo-ja |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
Line 3281 L - (1/N)*dt*M が I の元となる. したがって |
|
Line 3281 L - (1/N)*dt*M が I の元となる. したがって |
|
@tex |
@tex |
$L \cdot \int_a^b f(x,t) dt - {{1}\over{N}}[M\cdot f]_{t=a}^{t=b} = 0$ |
$L \cdot \int_a^b f(x,t) dt - {{1}\over{N}}[M\cdot f]_{t=a}^{t=b} = 0$ |
@end tex |
@end tex |
|
@end iftex |
@ifinfo |
@ifinfo |
L integral(f(x,t),[t,a,b]) - (1/N)[(Mf)(a)-(Mf)(b)]=0 |
L integral(f(x,t),[t,a,b]) - (1/N)[(Mf)(a)-(Mf)(b)]=0 |
@end ifinfo |
@end ifinfo |
Line 3373 $ 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 |
@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 |