Comprehensive structural Gröbner basis detection (Computer Algebra : Foundations and Applications)

HANDLE Web Site Open Access

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

    京都大学数理解析研究所

Details 詳細情報について

Report a problem

Back to top