Oops! %o3 should be 0. To fully simplify, we need
an expand (or ratsimp)
I think there are cases where this reflection rule
bug causes problems *without* a tellsimp rule.
Also, I think the test suite uses ratsimp to test for
equality. This makes these kind of bugs difficult
to detect in the test suite.
Log in to post a comment.