Performance of Buchberger's Improved Algorithm using Prime Based Ordering

Peter Horan, John Carminati

Prime-based ordering which is proved to be admissible, is the encoding of indeterminates in power-products with prime numbers and ordering them by using the natural number order. U…