| 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)
|
|---|
| 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.
|
