version 1.28, 2008/11/19 03:25:38 |
version 1.30, 2009/02/23 04:00:53 |
|
|
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.27 2008/11/11 08:18:50 ohara Exp $ |
%% $OpenXM: OpenXM/src/asir-doc/exp/exp-ja.texi,v 1.29 2009/02/23 03:41:26 nakayama Exp $ |
\input texinfo |
\input texinfo |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
|
|
この関数は 2008-9-12 にコミットされた. |
この関数は 2008-9-12 にコミットされた. |
変更をう瘢雹けたソ・踉札好魁��ドは builtin/time.c (1.6) でう髟阡擦�. |
変更をう瘢雹けたソ・踉札好魁��ドは builtin/time.c (1.6) でう髟阡擦�. |
@end itemize |
@end itemize |
|
|
|
@node nk_restriction.restriction,,, ��存嚇�斗佑隆愎� |
|
@subsection @code{nk_restriction.restriction} |
|
@comment --- 索引用キ・踉札錙��ド |
|
@findex nk_restriction.restriction |
|
|
|
@comment --- 関数の簡単な説明 --- |
|
@table @t |
|
@item nk_restriction.restriction(@var{Id}, @var{VL}, @var{DVL}, @var{W}) |
|
:: ホロノミック D イデウ髟阡札� @var{Id} を重みベクトル @var{W} についての制限加群を返す。 |
|
@end table |
|
|
|
@comment --- 引数の簡単な説明 --- |
|
@table @var |
|
@item Id |
|
イデウ髟阡札襪寮言�気離螢好� |
|
@item VL |
|
変数のリスト |
|
@item DVL |
|
変数のリスト(@var{VL} に対応する微分作用素の方の変数) |
|
@item W |
|
重みベクトルを表すリスト |
|
@end table |
|
|
|
@itemize @bullet |
|
@item |
|
@var{W} の要素は非負整数で・髟阡�0 番目の要素から櫓髟阡斬海靴得気寮或瑤��蕕覆韻譴个覆蕕覆ぁ� |
|
(すなわち・髟阡�@code{[1,1,0,0,0]} は OK だが・髟阡� @code{[1,0,1,0,0]} はダメ) |
|
@item |
|
正の重みを持つ変数についての制限を行う瘢雹。 |
|
例えば・髟阡�@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} でう髟阡擦譴� |
|
x,y について制限を行う瘢雹。 |
|
@end itemize |
|
|
|
以王踉擦蓮���イデウ髟阡札� |
|
@tex |
|
$I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $ |
|
@end tex |
|
の |
|
@tex $x$ @end tex |
|
についての制限加群を計算した例でう髟阡擦襦� |
|
@example |
|
[1432] nk_restriction.restriction([x*dx-1,y*dy-1],[x,y],[dx,dy],[1,0]); |
|
-- generic_bfct_and_gr :0.001sec(0.001629sec) |
|
generic bfct : [[1,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0.000999sec(0.0005109sec) |
|
[[y*dy-1,(y*dy-1)*dx,-1],[[1],[0]]] |
|
[1433] |
|
@end example |
|
|
|
@node nk_restriction.restriction_ideal,,, D 加群の制限に関する関数 |
|
@subsection @code{nk_restriction.restriction_ideal} |
|
@comment --- 索引用キ・踉札錙��ド |
|
@findex nk_restriction.restriction_ideal |
|
|
|
@comment --- 関数の簡単な説明 --- |
|
@table @t |
|
@item nk_restriction.restriction_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W}) |
|
:: ホロノミック D イデウ髟阡札� @var{Id} を重みベクトル @var{W} についての制限イデウ髟阡札襪鯤屬后� |
|
@end table |
|
|
|
@comment --- 引数の簡単な説明 --- |
|
@table @var |
|
@item Id |
|
イデウ髟阡札襪寮言�気離螢好� |
|
@item VL |
|
変数のリスト |
|
@item DVL |
|
変数のリスト(@var{VL} に対応する微分作用素の方の変数) |
|
@item W |
|
重みベクトルを表すリスト |
|
@end table |
|
|
|
@itemize @bullet |
|
@item |
|
@var{W} の要素は非負整数で・髟阡�0 番目の要素から櫓髟阡斬海靴得気寮或瑤��蕕覆韻譴个覆蕕覆ぁ� |
|
(すなわち・髟阡�@code{[1,1,0,0,0]} は OK だが・髟阡� @code{[1,0,1,0,0]} はダメ) |
|
@item |
|
正の重みを持つ変数についての制限を行う瘢雹。 |
|
例えば・髟阡�@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} でう髟阡擦譴� |
|
x,y について制限を行う瘢雹。 |
|
@end itemize |
|
|
|
以王踉擦蓮���イデウ髟阡札� |
|
@tex |
|
$I = D \cdot \{x \partial_x -1, y \partial_y - 1\} $ |
|
@end tex |
|
の |
|
@tex $x$ @end tex |
|
についての制限イデウ髟阡札襪魴彁擦靴仁磴任���る。 |
|
@example |
|
[1346] nk_restriction.restriction_ideal([x*dx-1,y*dy-1],[x,y],[dx,dy],[1,0]); |
|
-- generic_bfct_and_gr :0.002sec(0.001652sec) |
|
generic bfct : [[1,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0sec(0.000566sec) |
|
-- restriction_ideal_internal :0.001sec(0.0007441sec) |
|
[-1] |
|
[1347] |
|
@end example |
|
|
|
@node nk_restriction.integration,,, ��存嚇�斗佑隆愎� |
|
@subsection @code{nk_restriction.integration} |
|
@comment --- 索引用キ・踉札錙��ド |
|
@findex nk_restriction.integration |
|
|
|
@comment --- 関数の簡単な説明 --- |
|
@table @t |
|
@item nk_restriction.integration(@var{Id}, @var{VL}, @var{DVL}, @var{W}) |
|
:: ホロノミック D イデウ髟阡札� @var{Id} を重みベクトル @var{W} についての積分加群を返す。 |
|
@end table |
|
|
|
@comment --- 引数の簡単な説明 --- |
|
@table @var |
|
@item Id |
|
イデウ髟阡札襪寮言�気離螢好� |
|
@item VL |
|
変数のリスト |
|
@item DVL |
|
変数のリスト(@var{VL} に対応する微分作用素の方の変数) |
|
@item W |
|
重みベクトルを表すリスト |
|
@end table |
|
|
|
@comment --- ここで関数の��椶靴だ睫� --- |
|
@comment --- @itemize~@end itemize は箇��鮟颪� --- |
|
@comment --- @bullet は黒点付き --- |
|
@itemize @bullet |
|
@item |
|
@var{W} の要素は非負整数で・髟阡�0 番目の要素から櫓髟阡斬海靴得気寮或瑤��蕕覆韻譴个覆蕕覆ぁ� |
|
(すなわち・髟阡�@code{[1,1,0,0,0]} は OK だが・髟阡� @code{[1,0,1,0,0]} はダメ) |
|
@item |
|
正の重みを持つ変数についての積分を行う瘢雹。 |
|
例えば・髟阡�@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} でう髟阡擦譴� |
|
x,y について積分を行う瘢雹。 |
|
@end itemize |
|
|
|
以王踉擦蓮���イデウ髟阡札� |
|
@tex |
|
$I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $ |
|
@end tex |
|
の |
|
@tex $t$ @end tex |
|
についての積分イデウ髟阡札襪魴彁擦靴仁磴任���る。([SST, Ex5.5.2, Ex5.5.6]) |
|
@example |
|
[1351] nk_restriction.integration([2*t*dx+dt,2*x*dx+t*dt+2],[t,x], |
|
[dt,dx],[1,0]); |
|
-- generic_bfct_and_gr :0.001sec(0.001796sec) |
|
generic bfct : [[1,1],[s,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0.001sec(0.0006731sec) |
|
[[4*x*dx^2+6*dx,-4*t*x*dx^2-6*t*dx,2*x*dx+1,-2*t*x*dx,2*t*dx],[[1],[0]]] |
|
@end example |
|
|
|
@node nk_restriction.integration_ideal,,, ��存嚇�斗佑隆愎� |
|
@subsection @code{nk_restriction.integration_ideal} |
|
@comment --- 索引用キ・踉札錙��ド |
|
@findex nk_restriction.integration_ideal |
|
|
|
@comment --- 関数の簡単な説明 --- |
|
@table @t |
|
@item nk_restriction.integration_ideal(@var{Id}, @var{VL}, @var{DVL}, @var{W}) |
|
:: ホロノミック D イデウ髟阡札� @var{Id} を重みベクトル @var{W} についての積分イデウ髟阡札襪鯤屬后� |
|
@end table |
|
|
|
@comment --- 引数の簡単な説明 --- |
|
@table @var |
|
@item Id |
|
イデウ髟阡札襪寮言�気離螢好� |
|
@item VL |
|
変数のリスト |
|
@item DVL |
|
変数のリスト(@var{VL} に対応する微分作用素の方の変数) |
|
@item W |
|
重みベクトルを表すリスト |
|
@end table |
|
|
|
@comment --- ここで関数の��椶靴だ睫� --- |
|
@comment --- @itemize~@end itemize は箇��鮟颪� --- |
|
@comment --- @bullet は黒点付き --- |
|
@itemize @bullet |
|
@item |
|
@var{W} の要素は非負整数で・髟阡�0 番目の要素から櫓髟阡斬海靴得気寮或瑤��蕕覆韻譴个覆蕕覆ぁ� |
|
(すなわち・髟阡�@code{[1,1,0,0,0]} は OK だが・髟阡� @code{[1,0,1,0,0]} はダメ) |
|
@item |
|
正の重みを持つ変数についての積分を行う瘢雹。 |
|
例えば・髟阡�@var{VL} @code{=[x,y,z]}, @var{W} @code{=[1,1,0]} でう髟阡擦譴� |
|
x,y について積分を行う瘢雹。 |
|
@end itemize |
|
|
|
以王踉擦蓮���イデウ髟阡札� |
|
@tex |
|
$I = D \cdot \{2 t \partial_x + \partial_t, t \partial_t + 2 x \partial_x + 2\} $ |
|
@end tex |
|
の |
|
@tex $t$ @end tex |
|
についての積分イデウ髟阡札襪魴彁擦靴仁磴任���る。([SST, Ex5.5.2, Ex5.5.6]) |
|
@example |
|
[1431] nk_restriction.integration_ideal([2*t*dx+dt,t*dt+2*x*dx+2],[t,x], |
|
[dt,dx],[1,0]); |
|
-- generic_bfct_and_gr :0.002999sec(0.002623sec) |
|
generic bfct : [[1,1],[s,1],[s-1,1]] |
|
S0 : 1 |
|
B_{S0} length : 2 |
|
-- fctr(BF) + base :0.001sec(0.001091sec) |
|
-- integration_ideal_internal :0.002sec(0.001879sec) |
|
[2*x*dx+1] |
|
[1432] |
|
@end example |
|
|
|
@noindent |
|
ChangeLog |
|
@itemize @bullet |
|
@item これらの関数は OpenXM/src/asir-contrib/packages/src/nk_restriction.rr で定義されている. nk_restriction.rr, 1.1--1.6 を見よ. |
|
@end itemize |
|
|
|
|
|
|
@comment ----------- 以王踉擦聾��. ��辰垢�. |
@comment ----------- 以王踉擦聾��. ��辰垢�. |
@comment **************************************************************** |
@comment **************************************************************** |