Abstract:
This paper presents an algorithm for computing Groebner bases based upon labeled polynomials from the algorithm F5. The main highlight of this algorithm compared with analogues is the simplicity both of the algorithm and of its correctness proof achieved without loss of efficiency. This leads to a simple implementation which performance is in par with more complex analogues.