Re: Motion 11
I agree with Frederic that reverse operator are essential to branch and
prune algorithm. We use it extensively in our algorithms with usually a
very positive effect. But this positive effect is also obtained because
we are working hard to implement reverse operation efficiently.
Motion 11 is interesting if indeed having basic reverse operations in
the standard will allow to speed up their computation time. But most of
the time this is not sufficient. For example consider x^2+y^2+2y+1=0
This expression can be deal with Motion 11 but symbolic pre-processing
will be more efficient. Indeed when dealing with the pruning of x you
will write x^2= -y^2-2y-1 and any symbolic tool will tell you that the
right term factor out to (y+1)^2, usually leading to a better pruning
for x. My 2 cents
JPM