Go to the first, previous, next, last section, table of contents.
- taji_alc.fbt(num,den,var)
-
:: 有理関数num/denが定める代数的局所コホモロジー類のフーリエ・ボレル変換を行う.
- return
-
[指数多項式リスト,...] なるリスト
- num
-
(有理関数の分子の) 多項式
- den
-
(有理関数の分母の) 多項式
または (有理関数の分母をQ上で既約分解した) [[因子,重複度],...] なるリスト
- var
-
不定元 (像の独立変数)
- switch
-
オプション指定
case 0 : 指数多項式リストの2番目の成分を有理数係数多項式で返す.
case 1 : 指数多項式リストの2番目の成分を整数係数化リストで返す.
default : case 0
- 変数は2種類必要(代数的局所コホモロジー類の変数と像の独立変数).
num/denの不定元とvarの不定元が衝突しないよう注意.
- taji_alc.fbt()は, Res(Rat*exp(z*x))なる形の有理形関数の留数を求める.
この有理形関数の留数は指数多項式となるため, 指数多項式リストで返す.
- 内部のアルゴリズムはtaji_alc.residue()とほぼ同じであり, 実際にtaji_alc.residue()を呼び出して計算を行っている.
[235] taji_alc.fbt(1,(x^3-x-1)^3,z);
[[x^3-x-1,(9/529*z^2-81/529*z-4905/12167)*x^2+(-27/1058*z^2-9/529*z+45
63/12167)*x+11/1058*z^2+135/529*z+3270/12167]]
- 参照
-
section
taji_alc.residue
ChangeLog
Go to the first, previous, next, last section, table of contents.