Incremental loop transformations and enumeration of parametyric sets door S. Verdoolaege