Springer IDEALS, VARIETIES, AND ALGORITHMS: AN INTRODUCTION TO COMPUTATIONAL ALGEBR