Algorithm for efficiently computing a Groebner basis with high probability
Project/Area Number |
23654035
|
Research Category |
Grant-in-Aid for Challenging Exploratory Research
|
Allocation Type | Multi-year Fund |
Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
Research Institution | Kobe University |
Principal Investigator |
NORO Masayuki 神戸大学, 理学(系)研究科(研究院), 教授 (50332755)
|
Project Period (FY) |
2011 – 2013
|
Project Status |
Completed (Fiscal Year 2013)
|
Budget Amount *help |
¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2012: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Keywords | 応用数学 / 計算代数 / グレブナー基底 / モジュラー計算 / 分散並列計算 / modular計算 / 有限体 |
Research Abstract |
We found that the cost of integer-rational number conversion in the procedure for computing Groebner bases over the rationals by combining modular Groebner bases by Chinese remainder theorem can be reduced by converting all the polynomials with the same degree together. In order to show the correctness of a Groebner basis candidate, we developed an algorithm which computes an exact generating relation for each element in the candidate. We first compute a generating relation over a finite field. Then we replace the coefficients with variables to obtain a huge system of linear equations. By using the information obtained by solving the system over the finite field, we can reduce the size of the system and the solution is made unique. Then we can apply Hensel lifting for solving the system and we can efficiently solve the system.
|
Report
(4 results)
Research Products
(24 results)
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 数式処理の理論概説2011
Author(s)
野呂正行
Organizer
第20回日本数式処理学会大会
Place of Presentation
神戸大学理学部
Year and Date
2011-09-10
Related Report
Invited
-
-
-
-
-
-
-
-
-
-
-
-
-