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

Volume 38, Issue 3 - Serial Number 3
September 2012
Pages 715-724
  • Receive Date: 17 July 2010
  • Revise Date: 21 April 2011
  • Accept Date: 21 April 2011
  • First Publish Date: 15 September 2012