On Fri, Dec 4, 2009 at 10:44, Cédric Bastoul <cedric.bast...@inria.fr> wrote: > I see no way to do this with affine scattering. We would need > polynomial functions like Armin Grosslinger is doing, see > http://www.infosun.fim.uni-passau.de/cl/publications/docs/MIP-0803.pdf > but I think that's too slow at the moment...
I think that this is only needed to address expressions of the form IV times IV, and not for parameter times IV. Sebastian
