a general-purpose computer algebra system