Se utiliza por las implementaciones más eficientes del máximo común divisor polinómico, el álgebra lineal exacto y los algoritmos de base de Gröbner sobre los enteros y los números racionales.