L’è duperà dai implementaziun püsee eficas del maximo comun divisur polinominal, del algebra linear exacta e di algoritmi de bas de Gröbner süi inter e süi numer raziunal.