Modern Computer Algebra