Abstract Algebra with Maple