2002 Fiscal Year Annual Research Report

高性能計算代数ソフトウェアの開発

Research Project

Project/Area Number	14340036
Research Institution	Kobe University
Principal Investigator	野呂正行神戸大学, 理学部, 教授 (50332755)
Co-Investigator(Kenkyū-buntansha)	村尾裕一電気通信大学, 電気通信学部, 講師 (60174265) 横山和弘九州大学, 理学部, 教授 (30333454) 高山信毅神戸大学, 理学部, 教授 (30188099) 齋藤政彦神戸大学, 理学部, 教授 (80183044) 小原功任金沢大学, 理学部, 助手 (00313635)
Keywords	b関数 / 多項式因数分解 / グレブナー基底 / 多項式イデアル / 準素分解 / 極小素因子 / 最少多項式 / 超幾何関数
Research Abstract	この研究により得られた結果は以下の通り. 1.b-関数計算の効率化および実装超曲面の不変量のみならず,D-加群に関する種々の算法で重要となるb関数については,大阿久-高山により計算法が提案されているが,この算法を,より複雑な入力に対しても計算が効率できるよう改良した.主な改良点は,b関数を,ある作用素の最小多項式として直接計算するようにしたこと,入力に対して適切なweightを設定してグレブナー基底計算を行うようにしたことであり,いずれにも,有限体上の計算が応用されている.この算法を,研究代表者らが開発中の計算代数ソフトウェアRisa/Asir上に実装して効果を実証した. 2.有限体上の多項式因数分解算法の開発および実装多変数多項式を有限体で因数分解する場合にボトルネックとなる,2変数多項式の因数分解において,グレブナー基底の概念を用いた新しい多項式時間算法を提案した.この算法を,有限体の原始根表現を用いてRisa/Asir上に実装し,効果を実証した.この実装をもとに,一般の多変数多項式の,小位数有限体上での因数分解機能をRisa/Asirに実装した. 3.正標数の場合のイデアルの極小素因子計算算法の開発および実装正標数の場合,イデアルの極小素因子計算には,標数0の場合には生じない困難が生じるが,これを,イデアルに対するseparable closureの計算および,松本による根基計算算法により計算可能にした.有限体上のグレブナー基底計算,最小多項式計算,および上記多項式因数分解機能を応用して,Risa/Asir上に実装し,効果を実証した. 4.多変数超幾何関数の効率的数値計算法多変数超幾何関数の数値を求める問題はあまり研究されていない.微分作用素環のグレブナー基底を用いて多変数超幾何関数の満たす微分方程式を数値計算しやすいように加工し,その値を効率的に計算する方法を提案した. 以上の結果は学術論文に発表されたことを付記しておく。

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] M.Noro, K.Yokoyama: "Yet Another Practical Implementation of Polynomial Factorization over Finite Fields"Proc. ISSAC2002, ACM press. 200-206 (2003)
[Publications] M.Noro: "An Efficient Modular Algorithm for Computing the Global b-function"Proc. ICMS2002, World Scientific. 147-157 (2002)
[Publications] M.Noro: "A Computer Algebra System : Risa/Asir"Algebra, Geometry and Software, M.Joswig and N.Takayama (eds.), Springer. 147-162 (2002)
[Publications] K.Ohara, Y.Sugiki, N.Takayama: "Quadratic Relations for Generalized Hypergeometric Functions _pF_<p-1>"Funkcialaj Ekvacioj. (印刷中). (2003)
[Publications] H.Anai, K.Yokoyama: "Radical representation of polynomial roots"日本数式処理学会誌. Vol9, No.1. 53-79 (2002)
[Publications] K.Yokoyama: "Prime Decomposition of Polynomial Ideals over Finite Fields"Proc. ICMS2002, World Scientific. 217-227 (2002)

2002 Fiscal Year Annual Research Report

高性能計算代数ソフトウェアの開発

Principal Investigator

野呂 正行 神戸大学, 理学部, 教授 (50332755)

Research Products

[Publications] M.Noro, K.Yokoyama: "Yet Another Practical Implementation of Polynomial Factorization over Finite Fields"Proc. ISSAC2002, ACM press. 200-206 (2003)

[Publications] M.Noro: "An Efficient Modular Algorithm for Computing the Global b-function"Proc. ICMS2002, World Scientific. 147-157 (2002)

[Publications] M.Noro: "A Computer Algebra System : Risa/Asir"Algebra, Geometry and Software, M.Joswig and N.Takayama (eds.), Springer. 147-162 (2002)

[Publications] K.Ohara, Y.Sugiki, N.Takayama: "Quadratic Relations for Generalized Hypergeometric Functions _pF_<p-1>"Funkcialaj Ekvacioj. (印刷中). (2003)

[Publications] H.Anai, K.Yokoyama: "Radical representation of polynomial roots"日本数式処理学会誌. Vol9, No.1. 53-79 (2002)

[Publications] K.Yokoyama: "Prime Decomposition of Polynomial Ideals over Finite Fields"Proc. ICMS2002, World Scientific. 217-227 (2002)

野呂正行神戸大学, 理学部, 教授 (50332755)