On 10/8/06, laurent couraud <l.couraud at free.fr> wrote:
>
> I try to solve a system of equations including binary variables
> and non binary variables... tellsimp...
>
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?
-s