Applying Buchberger's criteria on Montes's DisPGB algorithm

Document Type : Research Paper


1 Isfahan university of technology

2 Isfahan University of Technology


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


Main Subjects