Nyo digunakan le implementasi paleng efisien dari pembagi persekutuan teurayek polynomial, aljabar linier eksak ngen algoritma basis Gröbner ateh bilangan bulat ngen bilangan rasional.