Kaanggén olih implementasi sané pinih efisien saking papalihan persekutuan sané pinih ageng ring polinomial, aljabar linier sané patut miwah algoritma dasar Gröbner antuk wilangan bulat miwah wilangan rasional.