Subject: expand is broken bug / don't remove expand though
From: Daniel Lemire
Date: Mon, 04 Feb 2002 11:49:50 -0400
Ok. Well, then I suggest we make this a requirement for the next
release. alphalessp has to be fixed.
Richard Fateman wrote:
> 1. alphalessp is broken. It can easily be fixed. There is a fix.
> 2. As long as alphalessp is broken, many things are broken. In
> particular, anything that depends on the simplifier. So it is far
> more than expand.
> 3. The bug didn't show up previously because it requires upper and lower
> case in the same expression to show up.
>
> Making a better alphalessp might speed up the system, too.
>
> RJF
>
>
>