O l'é deuviou inte implementaçioin ciù efficaçe do MDC polinomiale, de l'algebra lineare esatta e di algoritmi de base de Gröbner in scî intreghi e in scî numeri raçionali.