Applying Buchberger's criteria on Montes's DisPGB algorithm

Document Type : Research Paper

Authors

1 Isfahan university of technology

2 Isfahan University of Technology

Abstract

The concept of comprehensive Grobner bases was introduced by
Weispfenning. Montes has proposed an efficient algorithm for computing
these bases. But he has not explicitly used Buchberger's
criteria in his algorithm. In this paper we prove that we can
apply these criteria on Montes algorithm. We propose a modified
version of Montes algorithm and evaluate its performance via some
examples.

Keywords

Main Subjects