version 1.6, 2012/03/02 03:49:30 |
version 1.8, 2017/08/31 06:31:47 |
|
|
\input texinfo |
\input texinfo-ja |
@iftex |
@iftex |
@catcode`@#=6 |
@catcode`@#=6 |
@def@fref#1{@xrefX[#1,,@code{#1},,,]} |
@def@fref#1{@xrefX[#1,,@code{#1},,,]} |
|
|
@catcode`@#=@other |
@catcode`@#=@other |
@end iftex |
@end iftex |
@overfullrule=0pt |
@overfullrule=0pt |
|
@documentlanguage ja |
@c -*-texinfo-*- |
@c -*-texinfo-*- |
@comment %**start of header |
@comment %**start of header |
|
|
@comment --- GNU info ファイルの名前 --- |
@comment --- GNU info <ゃ --- |
@setfilename asir-contrib-ns_twistedlog |
@setfilename asir-contrib-ns_twistedlog |
|
|
@comment --- タイトル --- |
@comment --- 帥ゃ --- |
@settitle ns_twistedlog.rr |
@settitle ns_twistedlog.rr |
|
|
@comment %**end of header |
@comment %**end of header |
@comment %@setchapternewpage odd |
@comment %@setchapternewpage odd |
|
|
@comment --- おまじない --- |
@comment --- 障 --- |
@ifinfo |
@ifinfo |
@macro fref{name} |
@macro fref{name} |
@ref{\name\,,@code{\name\}} |
@ref{\name\,,@code{\name\}} |
|
|
@end iftex |
@end iftex |
|
|
@titlepage |
@titlepage |
@comment --- おまじない終り --- |
@comment --- 障腟 --- |
|
|
@comment --- タイトル, バージョン, 著者名, 著作権表示 --- |
@comment --- 帥ゃ, 若吾с, , 篏罔茵腓 --- |
@title ns_twistedlog.rr |
@title ns_twistedlog.rr |
@subtitle ns_twistedlog.rr User's Manual |
@subtitle ns_twistedlog.rr User's Manual |
@subtitle Edition 1.0 |
@subtitle Edition 1.0 |
Line 45 Copyright @copyright{} Keisuke Nishitani |
|
Line 46 Copyright @copyright{} Keisuke Nishitani |
|
2012. All rights reserved. |
2012. All rights reserved. |
@end titlepage |
@end titlepage |
|
|
@comment --- おまじない --- |
@comment --- 障 --- |
@synindex vr fn |
@synindex vr fn |
@comment --- おまじない終り --- |
@comment --- 障腟 --- |
|
|
@comment --- @node は GNU info, HTML 用 --- |
@comment --- @node GNU info, HTML --- |
@comment --- @node の引数は node-name, next, previous, up --- |
@comment --- @node 綣違 node-name, next, previous, up --- |
@node Top,, (dir), (dir) |
@node Top,, (dir), (dir) |
|
|
@comment --- @menu は GNU info, HTML 用 --- |
@comment --- @menu GNU info, HTML --- |
@comment --- chapter 名を正確に並べる --- |
@comment --- chapter 罩g∈筝鴻 --- |
@menu |
@menu |
* ns_twistedlog.rr:: |
* ns_twistedlog.rr:: |
* Index:: |
* Index:: |
@end menu |
@end menu |
|
|
@comment --- chapter の開始 --- |
@comment --- chapter 紮 --- |
@comment --- 親 chapter 名を正確に --- |
@comment --- 荀 chapter 罩g∈ --- |
@node ns_twistedlog.rr,,, Top |
@node ns_twistedlog.rr,,, Top |
@chapter ns_twistedlog.rr |
@chapter ns_twistedlog.rr |
|
|
@comment --- section 名を正確に並べる --- |
@comment --- section 罩g∈筝鴻 --- |
@menu |
@menu |
* ns_twistedlog.rrについて:: |
* ns_twistedlog.rrゃ:: |
* Twisted logarithmic cohomology 群の計算に関する関数:: |
* Twisted logarithmic cohomology 臂ゃ荐膊≪∽:: |
* その他の関数:: |
* 篁∽:: |
@end menu |
@end menu |
|
|
@comment --- section の開始 --- |
@comment --- section 紮 --- |
@node ns_twistedlog.rr について,,, ns_twistedlog.rr |
@node ns_twistedlog.rr ゃ,,, ns_twistedlog.rr |
@section ns_twistedlog.rr について |
@section ns_twistedlog.rr ゃ |
|
|
@comment --- 書体指定について --- |
@comment --- 娯絎ゃ --- |
@comment --- @code{} はタイプライタ体表示 --- |
@comment --- @code{} 帥ゃゃ推茵腓 --- |
@comment --- @var{} は斜字体表示 --- |
@comment --- @var{} 絖篏茵腓 --- |
@comment --- @b{} はボールド表示 --- |
@comment --- @b{} 若茵腓 --- |
@comment --- @samp{} はファイル名などの表示 --- |
@comment --- @samp{} <ゃ茵腓 --- |
|
|
@samp{ns_twistedlog.rr} は twisted logarithmic cohomology 群の計算, およびそれに基づいて, 多項式ベキの積分から定まるあるクラスの超幾何積分の満たす差分方程式系の計算と, 指数関数と多項式ベキの積分から定まるあるクラスの超幾何積分の満たす微分方程式系の計算を行うためのパッケージである. |
@samp{ns_twistedlog.rr} twisted logarithmic cohomology 臂ゃ荐膊, 潟冴ャ, 紊綣腥絎障鴻莇綛鞘腥羣綏合綣靗祉荐膊, 育∽違紊綣腥絎障鴻莇綛鞘腥羣緇合綣靗祉荐膊茵宴若吾с. |
|
|
@node Twisted logarithmic cohomology 群の計算に関する関数 ,,, ns_twistedlog.rr |
@node Twisted logarithmic cohomology 臂ゃ荐膊≪∽ ,,, ns_twistedlog.rr |
@section Twisted logarithmic cohomology 群の計算に関する関数 |
@section Twisted logarithmic cohomology 臂ゃ荐膊≪∽ |
|
|
@comment --- 関数名を正確に --- |
@comment --- ∽医罩g∈ --- |
@comment --- 複数の関数をまとめて説明できる --- |
@comment --- 茲違∽違障茯с --- |
@menu |
@menu |
* ns_twistedlog.twisted_log_cohomology:: |
* ns_twistedlog.twisted_log_cohomology:: |
* ns_twistedlog.twisted_log_cohomology(option):: |
* ns_twistedlog.twisted_log_cohomology(option):: |
Line 98 Copyright @copyright{} Keisuke Nishitani |
|
Line 99 Copyright @copyright{} Keisuke Nishitani |
|
* ns_twistedlog.differential_equation(option):: |
* ns_twistedlog.differential_equation(option):: |
@end menu |
@end menu |
|
|
@comment --- 個々の関数の説明の開始 --- |
@comment --- ∽違茯紮 --- |
@comment --- section 名を正確に --- |
@comment --- section 罩g∈ --- |
@node ns_twistedlog.twisted_log_cohomology,,, Twisted logarithmic cohomology 群の計算に関する関数 |
@node ns_twistedlog.twisted_log_cohomology,,, Twisted logarithmic cohomology 臂ゃ荐膊≪∽ |
@subsection @code{ns_twistedlog.twisted_log_cohomology} |
@subsection @code{ns_twistedlog.twisted_log_cohomology} |
@comment --- 索引用キーワード |
@comment --- 膣√若若 |
@findex ns_twistedlog.twisted_log_cohomology |
@findex ns_twistedlog.twisted_log_cohomology |
|
|
@comment --- 関数の簡単な説明 --- |
@comment --- ∽違膂≦茯 --- |
@table @t |
@table @t |
@item ns_twistedlog.twisted_log_cohomology(@var{FL},@var{PL},@var{VL}) |
@item ns_twistedlog.twisted_log_cohomology(@var{FL},@var{PL},@var{VL}) |
:: Twisted logarithmic cohomology 群の middle cohomology 群の基底を返す. |
:: Twisted logarithmic cohomology 臂ゃ middle cohomology 臂ゃ阪菴. |
@end table |
@end table |
|
|
@comment --- 引数の簡単な説明 --- |
@comment --- 綣違膂≦茯 --- |
@table @var |
@table @var |
@item @var{FL} |
@item @var{FL} |
多項式のリスト |
紊綣鴻 |
@item @var{PL} |
@item @var{PL} |
パラメータのリスト |
<若帥鴻 |
@item @var{VL} |
@item @var{VL} |
変数のリスト |
紊違鴻 |
@end table |
@end table |
|
|
@comment --- ここで関数の詳しい説明 --- |
@comment --- ч∽違荅潟茯 --- |
@comment --- @itemize〜@end itemize は箇条書き --- |
@comment --- @itemize@end itemize 膊≧吾 --- |
@comment --- @bullet は黒点付き --- |
@comment --- @bullet 藥剛 --- |
@itemize @bullet |
@itemize @bullet |
@item |
@item |
@var{PL} に属する変数は, 係数体に属する整数でない不定元と見なして計算される. |
@var{PL} 絮紊違, 篆遺絮贋違с筝絎荀荐膊. |
従って, これらの変数に依存する generic @var{b}-関数の根は最大整数根とはならず, またグレブナ基底の計算において, これらの変数を係数に含む先頭項は0にはならない. |
緇c, 紊違箴絖 generic @var{b}-∽違鴻紊ф贋井鴻, 障違阪荐膊, 紊違篆違0. |
このような事情により, パラメータが変数の場合と整数の場合とでは出力結果が異なる場合がある. |
篋, <若帥紊違翫贋違翫с阪腟違翫. |
@item |
@item |
3 変数以上の場合だと, twisted logarithmic cohomology 群からくる@var{D}-加群がホロノミックでない場合がある. |
3 紊遺札筝翫, twisted logarithmic cohomology 臂ゃ@var{D}-臂ゃс翫. |
そのような場合には twisted logarithmic cohomology 群は計算できない. |
翫 twisted logarithmic cohomology 臂ゃ荐膊с. |
@end itemize |
@end itemize |
|
|
@comment --- @example〜@end example は実行例の表示 --- |
@comment --- @example@end example 絎茵箴茵腓 --- |
@example |
@example |
[1] ns_twistedlog.twisted_log_cohomology([x,y,1-x-y],[a,b,c],[x,y]); |
[1] ns_twistedlog.twisted_log_cohomology([x,y,1-x-y],[a,b,c],[x,y]); |
-- nd_weyl_gr :0.003848sec(0.008291sec) |
-- nd_weyl_gr :0.003848sec(0.008291sec) |
Line 167 asir-contrib/packages/src/nk_restriction.rr" |
|
Line 168 asir-contrib/packages/src/nk_restriction.rr" |
|
(debug) |
(debug) |
@end example |
@end example |
|
|
@comment --- 参照(リンク)を書く --- |
@comment --- (潟)吾 --- |
@table @t |
@table @t |
@item 参照 |
@item |
ns_twistedlog.twisted_log_cohomology(option) |
ns_twistedlog.twisted_log_cohomology(option) |
@end table |
@end table |
|
|
@node ns_twistedlog.twisted_log_cohomology(option),,, Twisted logarithmic cohomology 群の計算に関する関数 |
@node ns_twistedlog.twisted_log_cohomology(option),,, Twisted logarithmic cohomology 臂ゃ荐膊≪∽ |
@subsection @code{ns_twistedlog.twisted_log_cohomology(option)} |
@subsection @code{ns_twistedlog.twisted_log_cohomology(option)} |
@findex ns_twistedlog.twisted_log_cohomology(option) |
@findex ns_twistedlog.twisted_log_cohomology(option) |
|
|
@table @t |
@table @t |
@item ns_twistedlog.twisted_log_cohomology(...| exp = @var{f}, check = @var{n}, s0 = @var{m}, excp = @var{v}) |
@item ns_twistedlog.twisted_log_cohomology(...| exp = @var{f}, check = @var{n}, s0 = @var{m}, excp = @var{v}) |
:: ns_twistedlog.twisted_log_cohomology のオプションの説明 |
:: ns_twistedlog.twisted_log_cohomology 激с潟茯 |
@end table |
@end table |
|
|
|
|
@table @var |
@table @var |
@item f |
@item f |
多項式 |
紊綣 |
@item n |
@item n |
0 または 1 |
0 障 1 |
@item m |
@item m |
整数 |
贋 |
@item v |
@item v |
0 または 1 |
0 障 1 |
@end table |
@end table |
|
|
@itemize @bullet |
@itemize @bullet |
@item |
@item |
@code{exp} を指定すると, 外微分の twisted の項に指数関数 exp(@var{f}) が含まれる場合の twisted logarithmic cohomology 群の計算を行う. |
@code{exp} 絎, 紊緇 twisted 育∽ exp(@var{f}) 障翫 twisted logarithmic cohomology 臂ゃ荐膊茵. |
@item |
@item |
@var{n} が 0 でないとき, twisted logarithmic cohomlogy 群からくる@var{D}-加群がホロノミックであるか否かの判定を行う. |
@var{n} 0 с, twisted logarithmic cohomlogy 臂ゃ@var{D}-臂ゃсゅ茵. |
@item |
@item |
@code{s0} を指定すると, @var{s-m} を generic @var{b}-関数として計算を行う. 本来の generic @var{b}-関数の計算は行わない. |
@code{s0} 絎, @var{s-m} generic @var{b}-∽違荐膊茵. ャ generic @var{b}-∽違荐膊茵. |
@item |
@item |
@var{v} が 0 でないとき, 除外集合の計算を行う. パラメータに現れる変数は整数でないと仮定しており, その情報は出力されない. |
@var{v} 0 с, ゅ荐膊茵. <若帥憗紊違贋違с篁絎, 宴阪. |
@code{excp} を指定するとグレブナ基底計算において Buchberger アルゴリズムがそのまま用いられるため, 計算は格段に遅くなる. |
@code{excp} 絎違阪荐膊 Buchberger ≪眼冴障丞, 荐膊惹泣. |
@end itemize |
@end itemize |
|
|
@example |
@example |
|
|
@end example |
@end example |
|
|
|
|
@node ns_twistedlog.difference_equation,,, Twisted logarithmic cohomology 群の計算に関する関数 |
@node ns_twistedlog.difference_equation,,, Twisted logarithmic cohomology 臂ゃ荐膊≪∽ |
@subsection @code{ns_twistedlog.difference_equation} |
@subsection @code{ns_twistedlog.difference_equation} |
@findex ns_twistedlog.difference_equation |
@findex ns_twistedlog.difference_equation |
|
|
@comment --- 関数の簡単な説明 --- |
@comment --- ∽違膂≦茯 --- |
@table @t |
@table @t |
@item ns_twistedlog.difference_equation(@var{FL},@var{PL},@var{VL}) |
@item ns_twistedlog.difference_equation(@var{FL},@var{PL},@var{VL}) |
:: 多項式ベキの積分から定まる超幾何関数の満たす差分方程式系を返す. |
:: 紊綣腥絎障莇綛鞘∽違羣綏合綣靗祉菴. |
@end table |
@end table |
|
|
@table @var |
@table @var |
@item FL |
@item FL |
多項式のリスト |
紊綣鴻 |
@item PL |
@item PL |
多項式のベキのリスト(パラメータに対応) |
紊綣鴻(<若帥絲上) |
@item VL |
@item VL |
積分を行う変数のリスト |
腥茵紊違鴻 |
@end table |
@end table |
|
|
@itemize @bullet |
@itemize @bullet |
@item |
@item |
Twisted logarithmic cohomology 群の基底を用いて, 多項式ベキの積分から定まる超幾何積分の満たす斉次差分方程式系を計算する. |
Twisted logarithmic cohomology 臂ゃ阪, 紊綣腥絎障莇綛鞘腥羣罨≦勲合綣靗祉荐膊. |
@item |
@item |
差分方程式が計算できるのは, パラメータが多項式のベキのみに存在する場合に限る. |
綏合綣荐膊с, <若帥紊綣帥絖翫. |
パラメータに現れる変数は整数でない不定元として扱われる. |
<若帥憗紊違贋違с筝絎宴. |
さらに, 多項式のベキの形には以下を仮定している. |
, 紊綣綵≪篁ヤ篁絎. |
@enumerate |
@enumerate |
@item 多項式のベキは有理数であるか, またはパラメータを表す1文字+有理数の形をしている. |
@item 紊綣違с, 障<若帥茵1絖+違綵≪. |
@item パラメータに現れる変数は全て相異なる. |
@item <若帥憗紊違悟違. |
@item パラメータに現れる変数の係数は1である. |
@item <若帥憗紊違篆違1с. |
@end enumerate |
@end enumerate |
この仮定を満たさない入力に対しては正しい出力が得られない. |
篁絎羣ュ絲障罩c阪緇. |
@item |
@item |
3 変数以上の場合には, twisted logarithmic cohomology 群からくる@var{D}-加群がホロノミックとならないために, 計算できない場合がある. |
3 紊遺札筝翫, twisted logarithmic cohomology 臂ゃ@var{D}-臂ゃ, 荐膊с翫. |
@end itemize |
@end itemize |
|
|
以下は, @code{p(a,b,c) = \int_C x^@{a-1@}y^@{b-1@}(1-x-y)^@{c-1@} dxdy}の満たす差分方程式系を計算した例である. |
篁ヤ, @code{p(a,b,c) = \int_C x^@{a-1@}y^@{b-1@}(1-x-y)^@{c-1@} dxdy}羣綏合綣靗祉荐膊箴с. |
|
|
@example |
@example |
[8] ns_twistedlog.difference_equation([x,y,1-x-y],[a,b,c],[x,y]); |
[8] ns_twistedlog.difference_equation([x,y,1-x-y],[a,b,c],[x,y]); |
|
|
@end example |
@end example |
|
|
|
|
以下のような入力に対しては正しく動かない. |
篁ヤュ絲障罩c. |
|
|
@example |
@example |
[9] ns_twistedlog.difference_equation([x,y,1-x-y],[a,b,a-b],[x,y]); |
[9] ns_twistedlog.difference_equation([x,y,1-x-y],[a,b,a-b],[x,y]); |
|
|
@end example |
@end example |
|
|
@table @t |
@table @t |
@item 参照 |
@item |
ns_twistedlog.difference_equation(option) |
ns_twistedlog.difference_equation(option) |
@end table |
@end table |
|
|
|
|
@node ns_twistedlog.difference_equation(option),,, Twisted logarithmic cohomology 群の計算に関する関数 |
@node ns_twistedlog.difference_equation(option),,, Twisted logarithmic cohomology 臂ゃ荐膊≪∽ |
@subsection @code{ns_twistedlog.difference_equation(option)} |
@subsection @code{ns_twistedlog.difference_equation(option)} |
@findex ns_twistedlog.difference_equation(option) |
@findex ns_twistedlog.difference_equation(option) |
|
|
Line 320 ns_twistedlog.difference_equation(option) |
|
Line 321 ns_twistedlog.difference_equation(option) |
|
@table @t |
@table @t |
@item ns_twistedlog.difference_equation(... | exp = @var{f}, check = @var{n}, inhomo = @var{h}, shift = @var{p}, |
@item ns_twistedlog.difference_equation(... | exp = @var{f}, check = @var{n}, inhomo = @var{h}, shift = @var{p}, |
@item order = @var{m}, excp = @var{v}) |
@item order = @var{m}, excp = @var{v}) |
:: @code{ns_twistedlog.difference_equation} のオプションの説明. |
:: @code{ns_twistedlog.difference_equation} 激с潟茯. |
@end table |
@end table |
|
|
@table @var |
@table @var |
@item f |
@item f |
多項式 |
紊綣 |
@item n |
@item n |
0 または 1 |
0 障 1 |
@item h |
@item h |
0 または 1 |
0 障 1 |
@item p |
@item p |
パラメータ |
<若 |
@item m |
@item m |
整数 |
贋 |
@item v |
@item v |
0 または 1 |
0 障 1 |
@end table |
@end table |
|
|
@itemize @bullet |
@itemize @bullet |
@item |
@item |
@code{exp} を指定すると, 被積分関数に指数関数 exp(@var{f}) がある場合の差分方程式系を計算する. |
@code{exp} 絎, 茴腥∽違育∽ exp(@var{f}) 翫綏合綣靗祉荐膊. |
@item |
@item |
@var{n} が0でないとき, twisted logarithmic cohomlogy 群からくる@var{D}-加群がホロノミックであるか否かの判定を行う. |
@var{n} 0с, twisted logarithmic cohomlogy 臂ゃ@var{D}-臂ゃсゅ茵. |
@item |
@item |
@var{h} が0でないとき, 非斉次項部分の計算を行う. |
@var{h} 0с, 罨♂荐膊茵. |
@item |
@item |
@code{shift} を指定すると, 指定されたパラメータに関する差分方程式のみを計算する. これは差分方程式系から消去法を行うよりも, 効率のよい計算である. |
@code{shift} 絎, 絎<若帥≪綏合綣帥荐膊. 綏合綣靗祉羔サ羈茵, 合荐膊с. |
@item |
@item |
@code{s0} を指定すると, @var{s-m} を generic @var{b}-関数として計算を行う. 本来の generic @var{b}-関数の計算は行わない. |
@code{s0} 絎, @var{s-m} generic @var{b}-∽違荐膊茵. ャ generic @var{b}-∽違荐膊茵. |
@item |
@item |
@var{v} が 0 でないとき, 除外集合の計算を行う. パラメータに現れる変数は整数でないと仮定しており, その情報は出力されない. |
@var{v} 0 с, ゅ荐膊茵. <若帥憗紊違贋違с篁絎, 宴阪. |
@code{excp} を指定するとグレブナ基底計算において Buchberger アルゴリズムがそのまま用いられるため, 計算は格段に遅くなる. |
@code{excp} 絎違阪荐膊 Buchberger ≪眼冴障丞, 荐膊惹泣. |
@code{excp} は @code{inhomo}, @code{shift}, @code{order} と併用できない. |
@code{excp} @code{inhomo}, @code{shift}, @code{order} 篏窮с. |
@end itemize |
@end itemize |
|
|
@example |
@example |
|
|
@end example |
@end example |
|
|
|
|
@node ns_twistedlog.differential_equation,,, Twisted logarithmic cohomology 群の計算に関する関数 |
@node ns_twistedlog.differential_equation,,, Twisted logarithmic cohomology 臂ゃ荐膊≪∽ |
@subsection @code{ns_twistedlog.differential_equation} |
@subsection @code{ns_twistedlog.differential_equation} |
@findex ns_twistedlog.differential_equation |
@findex ns_twistedlog.differential_equation |
|
|
@table @t |
@table @t |
@item ns_twistedlog.differential_equation(@var{EXP},@var{FL},@var{PL},@var{TVL},@var{XVL}) |
@item ns_twistedlog.differential_equation(@var{EXP},@var{FL},@var{PL},@var{TVL},@var{XVL}) |
:: 指数関数と多項式ベキの積分から定まる超幾何関数の満たす微分方程式系を返す. |
:: 育∽違紊綣腥絎障莇綛鞘∽違羣緇合綣靗祉菴. |
@end table |
@end table |
|
|
@table @var |
@table @var |
@item EXP |
@item EXP |
多項式 |
紊綣 |
@item FL |
@item FL |
多項式のリスト |
紊綣鴻 |
@item PL |
@item PL |
多項式のベキのリスト |
紊綣鴻 |
@item TVL |
@item TVL |
積分を行う変数のリスト |
腥茵紊違鴻 |
@item XVL |
@item XVL |
パラメータの変数のリスト |
<若帥紊違鴻 |
@end table |
@end table |
|
|
@itemize @bullet |
@itemize @bullet |
@item |
@item |
Twisted logarithmic cohomology 群の基底を用いて, 指数関数と多項式ベキの積分から定まる超幾何関数の満たす斉次微分方程式系を計算する. |
Twisted logarithmic cohomology 臂ゃ阪, 育∽違紊綣腥絎障莇綛鞘∽違羣罨≦小合綣靗祉荐膊. |
@item |
@item |
微分方程式が計算できるのは, パラメータが指数関数に存在する場合に限る. |
緇合綣荐膊с, <若帥育∽違絖翫. |
多項式のベキに変数が存在しても構わないが, その変数は固定されたものと見なされる. |
紊綣紊違絖罕, 紊違阪荀. |
パラメータに現れる変数および多項式のベキに現れる変数は, 整数でない不定元として扱われる. |
<若帥憗紊違喝綣憗紊違, 贋違с筝絎宴. |
@item |
@item |
3変数以上の場合には, twisted logarithmic cohomology 群からくる@var{D}-加群がホロノミックとならないために, 計算できない場合がある. |
3紊遺札筝翫, twisted logarithmic cohomology 臂ゃ@var{D}-臂ゃ, 荐膊с翫. |
@end itemize |
@end itemize |
|
|
以下は @code{f(x_1,x_2) = \int_C exp(x1*t1+x2*t2) t1^@{a-1@}*t2^@{b-1@}dt1dt2} の満たす微分方程式系を計算した例である. |
篁ヤ @code{f(x_1,x_2) = \int_C exp(x1*t1+x2*t2) t1^@{a-1@}*t2^@{b-1@}dt1dt2} 羣緇合綣靗祉荐膊箴с. |
|
|
@example |
@example |
[13] ns_twistedlog.differential_equation(x1*t1+x2*t2,[t1,t2],[a,b],[t1,t2],[x1,x2]) |
[13] ns_twistedlog.differential_equation(x1*t1+x2*t2,[t1,t2],[a,b],[t1,t2],[x1,x2]) |
|
|
@end example |
@end example |
|
|
@table @t |
@table @t |
@item 参照 |
@item |
ns_twistedlog.differential_equation(option) |
ns_twistedlog.differential_equation(option) |
@end table |
@end table |
|
|
|
|
@node ns_twistedlog.differential_equation(option),,, Twisted logarithmic cohomology 群の計算に関する関数 |
@node ns_twistedlog.differential_equation(option),,, Twisted logarithmic cohomology 臂ゃ荐膊≪∽ |
@subsection @code{ns_twistedlog.differential_equation(option)} |
@subsection @code{ns_twistedlog.differential_equation(option)} |
@findex ns_twistedlog.differential_equation(option) |
@findex ns_twistedlog.differential_equation(option) |
|
|
@table @t |
@table @t |
@item ns_twistedlog.differential_equation(... | check = @var{n}, inhomo = @var{h}, diff = @var{p}, |
@item ns_twistedlog.differential_equation(... | check = @var{n}, inhomo = @var{h}, diff = @var{p}, |
@item order = @var{m}, excp = @var{v}) |
@item order = @var{m}, excp = @var{v}) |
:: @code{ns_twistedlog.differential_equation} のオプションの説明 |
:: @code{ns_twistedlog.differential_equation} 激с潟茯 |
@end table |
@end table |
|
|
|
|
@table @var |
@table @var |
@item n |
@item n |
0 または 1 |
0 障 1 |
@item h |
@item h |
0 または 1 |
0 障 1 |
@item p |
@item p |
パラメータ |
<若 |
@item m |
@item m |
整数 |
贋 |
@item v |
@item v |
0 または 1 |
0 障 1 |
@end table |
@end table |
|
|
@itemize @bullet |
@itemize @bullet |
@item |
@item |
@var{n} が0でないとき, twisted logarithmic cohomlogy 群からくる@var{D}-加群がホロノミックであるか否かの判定を行う. |
@var{n} 0с, twisted logarithmic cohomlogy 臂ゃ@var{D}-臂ゃсゅ茵. |
@item |
@item |
@var{h} が0でないとき, 非斉次項部分の計算を行う. |
@var{h} 0с, 罨♂荐膊茵. |
@item |
@item |
@code{diff} を指定すると, 指定されたパラメータに関する微分方程式のみを計算する. これは微分方程式系から消去法を行うよりも, 効率のよい計算である. |
@code{diff} 絎, 絎<若帥≪緇合綣帥荐膊. 緇合綣靗祉羔サ羈茵, 合荐膊с. |
@item |
@item |
@code{s0} を指定すると, @var{s-m} を generic @var{b}-関数として計算を行う. 本来の generic @var{b}-関数の計算は行わない. |
@code{s0} 絎, @var{s-m} generic @var{b}-∽違荐膊茵. ャ generic @var{b}-∽違荐膊茵. |
@item |
@item |
@var{v} が 0 でないとき, 除外集合の計算を行う. パラメータに現れる変数は整数でないと仮定しており, その情報は出力されない. |
@var{v} 0 с, ゅ荐膊茵. <若帥憗紊違贋違с篁絎, 宴阪. |
@code{excp} を指定するとグレブナ基底計算において Buchberger アルゴリズムがそのまま用いられるため, 計算は格段に遅くなる. |
@code{excp} 絎違阪荐膊 Buchberger ≪眼冴障丞, 荐膊惹泣. |
@code{excp} は @code{inhomo}, @code{diff}, @code{order} と併用できない. |
@code{excp} @code{inhomo}, @code{diff}, @code{order} 篏窮с. |
@end itemize |
@end itemize |
|
|
@example |
@example |
|
|
[x1*dx1+a] |
[x1*dx1+a] |
@end example |
@end example |
|
|
@node その他の関数,,, ns_twistedlog.rr |
@node 篁∽,,, ns_twistedlog.rr |
@section その他の関数 |
@section 篁∽ |
|
|
@menu |
@menu |
* ns_twistedlog.twisted_deRham:: |
* ns_twistedlog.twisted_deRham:: |
|
|
@end menu |
@end menu |
|
|
|
|
@node ns_twistedlog.twisted_deRham,,, その他の関数 |
@node ns_twistedlog.twisted_deRham,,, 篁∽ |
@subsection @code{ns_twistedlog.twisted_deRham} |
@subsection @code{ns_twistedlog.twisted_deRham} |
@findex ns_twistedlog.twisted_deRham |
@findex ns_twistedlog.twisted_deRham |
|
|
@table @t |
@table @t |
@item ns_twistedlog.twisted_deRham(@var{F},@var{P},@var{VL}) |
@item ns_twistedlog.twisted_deRham(@var{F},@var{P},@var{VL}) |
:: Twisted de Rham cohomology 群の middle cohomology 群の基底を返す. |
:: Twisted de Rham cohomology 臂ゃ middle cohomology 臂ゃ阪菴. |
@end table |
@end table |
|
|
@table @var |
@table @var |
@item F |
@item F |
多項式 |
紊綣 |
@item P |
@item P |
パラメータ |
<若 |
@item VL |
@item VL |
変数のリスト |
紊違鴻 |
@end table |
@end table |
|
|
@itemize @bullet |
@itemize @bullet |
@item |
@item |
@var{P} が変数の場合, 係数体に属する整数でない不定元と見なして計算される. |
@var{P} 紊違翫, 篆遺絮贋違с筝絎荀荐膊. |
従って, これらの変数に依存する generic @var{b}-関数の根は最大整数根とはならず, またグレブナ基底の計算において, これらの変数を係数に含む先頭項は0にはならない. |
緇c, 紊違箴絖 generic @var{b}-∽違鴻紊ф贋井鴻, 障違阪荐膊, 紊違篆違0. |
このような事情により, パラメータが変数の場合と整数の場合とでは出力結果が異なる場合がある. |
篋, <若帥紊違翫贋違翫с阪腟違翫. |
@end itemize |
@end itemize |
|
|
@example |
@example |
|
|
[x,y,1] |
[x,y,1] |
@end example |
@end example |
|
|
@node ns_twistedlog.holonomic,,, その他の関数 |
@node ns_twistedlog.holonomic,,, 篁∽ |
@subsection @code{ns_twistedlog.holonomic} |
@subsection @code{ns_twistedlog.holonomic} |
|
|
@table @t |
@table @t |
@item ns_twistedlog.holonomic(@var{Id}, @var{VL}, @var{DVL}) |
@item ns_twistedlog.holonomic(@var{Id}, @var{VL}, @var{DVL}) |
:: @var{D} の左イデアル @var{Id} がホロノミックならば標準単項式のリストを返す. ホロノミックでないならば-1を返す. |
:: @var{D} 綏ゃ≪ @var{Id} 井羣綣鴻菴. с-1菴. |
@end table |
@end table |
|
|
|
|
@table @var |
@table @var |
@item Id |
@item Id |
イデアルの生成元のリスト |
ゃ≪鴻 |
@item VL |
@item VL |
変数のリスト |
紊違鴻 |
@item DVL |
@item DVL |
変数のリスト (@var{VL} に対応する微分作用素の方の変数) |
紊違鴻 (@var{VL} 絲上緇篏膣鴻紊) |
@end table |
@end table |
|
|
|
|
|
|
@end example |
@end example |
|
|
|
|
@comment --- おまじない --- |
@comment --- 障 --- |
@node Index,,, Top |
@node Index,,, Top |
@unnumbered Index |
@unnumbered Index |
@printindex fn |
@printindex fn |
|
|
@summarycontents |
@summarycontents |
@contents |
@contents |
@bye |
@bye |
@comment --- おまじない終り --- |
@comment --- 障腟 --- |