Am 06.08.2011 23:10, schrieb Janus Weil:
I'm know that this does not exactly fit in any of your categories.
However, I still think that throwing an error for every case where we
can not prove that the expressions are equal is a good approximation
for the purpose, and everything beyond that is mostly academic.
And this is where I disagree, I think we should not raise an error
if we cannot prove that what the user did was wrong. This would
be a rejects-valid bug.
As for the a+b+c vs. c+b+a issue, I have asked on c.l.f.
Regards
Thomas
