On Fri, Dec 4, 2009 at 11:08, Cédric Bastoul <cedric.bast...@inria.fr> wrote: > We usually call this case (parameter times IV) "fully parametric". > Armin Grosslinger looked at it before finding a more general solution,
I don't want the more general solution: IV * IV doesn't commonly happen, but parameter * IV does, and ought to be handled separately. > it's not easy and typically it leads to a massive versioning :-/... In which cases do you see versioning? Do you have a paper that describes the problems you are speaking about? Sebastian
