이 질문은 다항식 집합 (Mathematica, Singular, GAP, Macaulay2, MatLab 등)에서 Groebner Basis를 계산할 수있는 컴퓨터 대수학 시스템을 의미합니다. .Groebner Basis가 발견되면 그 원소를 반환합니다.
전체 grobner 기초가 계산하기에 너무 어려운 다항식 시스템으로 작업하고 있습니다. 그러나 찾을 수있는 groebner 기본 요소를 인쇄 할 수 있으면 유용 할 것입니다. 특정 다항식이 grobner 기반인지 확인하십시오. 이 일을 할 수있는 방법이 있습니까?
독자적으로 Buchberger 알고리즘을 구현하면 발견 된 요소 만 인쇄 할 수 있습니다.
Mathematica를 사용하고 있다면이 코드를 출발점으로 사용할 수 있습니다.
는 함수 BuchbergerSteps를 참조하십시오.Buchberger 알고리즘이 작동하는 방식 (예 : Wikipedia 또는 IVA 참조)으로 인해 중간 결과를 인쇄하여 얻을 수있는 부분 결과가 그래 브너 기준을 구성하지 않을 수 있습니다.
궁극적 인 목표에 따라 Ritt-Wu의 알고리즘 (IVA 또는 Shang-Ching Chou's book 참조)과 같은 이상적인 삼각형 화 알고리즘을 대신 사용해보십시오. 이는 선형 대수학의 행 에셜론 형태로의 축소와 다소 비슷합니다. 알고리즘의 어느 부분에서든 중단되어 부분적으로 감소 된 다항식 방정식을 얻을 수 있습니다.