Grant-in-Aid for Scientific Research (B)
|Allocation Type||Single-year Grants|
General mathematics (including Probability theory/Statistical mathematics)
|Research Institution||KOBE UNIVERSITY|
NORO Masayuki Kobe University, Faculty of Science, Professor, 理学部, 教授 (50332755)
TAKAYAMA Nobuki Kobe University, Faculty of Science, Professor, 理学部, 教授 (30188099)
YOKOYAMA Kazuhiro Kyushu University, Graduate School of Mathematics, Professor, 理学部, 教授 (30333454)
村尾 裕一 電気通信大学, 電気通信学部, 講師 (60174265)
OHARA Katsuyoshi Kanazawa University, Faculty of Science, Research Associate, 理学部, 助手 (00313635)
SAITO Masahiko Kobe University, Faculty of Science, Professor, 理学部, 教授 (80183044)
|Project Period (FY)
2002 – 2004
Completed(Fiscal Year 2004)
|Budget Amount *help
¥8,700,000 (Direct Cost : ¥8,700,000)
Fiscal Year 2004 : ¥1,500,000 (Direct Cost : ¥1,500,000)
Fiscal Year 2003 : ¥3,400,000 (Direct Cost : ¥3,400,000)
Fiscal Year 2002 : ¥3,800,000 (Direct Cost : ¥3,800,000)
|Keywords||Computer algebra / Groebner Basis / Algebraic analysis / Hypergeometric function / polynomial factorization / Ideal decomposition / Polynomial system solving / Vertex operator algebra / b関数 / 多項式因数分解 / グレブナー基底 / 多項式イデアル / 準素分解 / 極小素因子 / 最少多項式|
We developed the following new algorithms and implemented them in Risa/Asir :
(1)a polynomial-time bivariate polynomial factorization algorithm over small finite fields,
(2)an algorithm for computing minimal prime divisors of a polynomial ideal over small finite fields,
(3)an algorithm for computing the global b-function,
(4)an efficient algorithm for numerical computation of multivariate hypergeometric functions,
(5)a method for deriving quadratic relations for generalized hypergeometric functions,
(6)a tangent cone algorithm in the ring of differential operators over power series ring.
We implemented the following new facilities in Risa/Asir :
(1)a new package for computing Groebner basis with a new data representation,
(2)a new package for efficient computation in algebraic number fields.
We gave the following applications.
(1)We exactly solved a polynomial system concerned with quantum computing.
(2)We proved that W_3 algebra of central charge 6/5 is realized as a subalgebra of a lattice vertex operator algebra and classify its irreducible modules.