On 10/8/06, Stavros Macrakis <macrakis at gmail.com> wrote:
> I'm not sure that pattern matching is the right way to approach this. Why
> not adjoin the equation x=x^2 (which of course implies x=x^a for all
> positive integers a) to your system for each binary variable?
"More than one way to do it" is OK by me so long as every method
works as advertised. What is problematic in Maxima is that often
enough the obvious method fails and instead one must try some kind
of obscure workaround; that is the unhelpful kind of MTOWTDI.
tellsimpafter seems to have resolved the problem to Laurent's satisfaction,
so I guess we should be happy for that.
Do you know if tellrat would be useful in this context?
I don't know enough about it.
All the best
Robert Dodier