A computer algebra system specially designed for dealing with polynomials and algebraic numbers.