A computer algebra system