Library for computer algebra work.