Gröbner bases using SAC2

Abstract
No abstract available