Learning Algebra in a Computer Algebra Environment.