A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy