Comprehensive structural Gröbner basis detection (Computer Algebra : Foundations and Applications)
-
- OSHIMATANI, RYO
- GRADUATE SCHOOL OF HUMAN DEVELOPMENT AND ENVIRONMENT, KOBE UNIVERSITY
-
- NAGASAKA, KOSAKU
- GRADUATE SCHOOL OF HUMAN DEVELOPMENT AND ENVIRONMENT, KOBE UNIVERSITY
Bibliographic Information
- Other Title
-
- パラメータを伴ったGröbner基底の構造的な検出について
- パラメータを伴ったGrobner基底の構造的な検出について
- パラメータ オ トモナッタ Grobner キテイ ノ コウゾウテキ ナ ケンシュツ ニ ツイテ
Search this article
Abstract
In this talk, we introduce a method to find a term order such that the given F, a set of polynomials with parameters is a Gröbner basis for the ideal〈F〉.This problem without parameters is called the Gröbner basis detection (GBD) and there is also its simpler problem called the structural Gröbner basis detection (SGBD). GBD can be solved by the equivalent classes of term orders computed by the affine Newton polyhedron of F, and SGBD can be reduced to the maximum matching problem of bipartite graph and linear-inequality feasibility problem. Especially for SGBD with parameters, our method divides the parameter space comprehensively, and then solves each SGBD without parameters. Moreover, we also introduce some improvements using affine Newton polyhedron and comprehensive Gröbner system over modules.
Journal
-
- RIMS Kokyuroku
-
RIMS Kokyuroku 2224 79-94, 2022-06
京都大学数理解析研究所
- Tweet
Details 詳細情報について
-
- CRID
- 1050576966671363712
-
- NII Book ID
- AN00061013
-
- HANDLE
- 2433/279674
-
- NDL BIB ID
- 032427804
-
- ISSN
- 18802818
-
- Text Lang
- ja
-
- Article Type
- departmental bulletin paper
-
- Data Source
-
- IRDB
- NDL