On Mon, 1 Mar 2004 11:36:39 +0800
Valery Pipin <pip@iszf.irk.ru> wrote:
> Thanks for the reference!
> My impression is that he skips many problem that are out of Mupad abilities,
> eg tensors. Currently I have no time to check it detally.
>
> You mentioned wester.mac. Does it include all problems that are solved in
> Wester's review?
I suppose it could - it doesn't exist yet ;-). It was just a suggestion. Right now there would be a large # of failures we aren't in a position to deal with. (IIRC, isn't the Great Source Downcasing next? That ought to be good for a few months of fun.) I just thought it was something we should keep in mind when we get to the point where fixing things like our inequalities system is a high priority.
CY