Implementation of Algorithms described in "Modern Computer Algebra"