On Tue, Sep 26, 2017 at 09:19:50AM -0500, Sebastian Pop wrote: > Sven, is there already a function that computes the sum of all > strides in a proximity map? Maybe you have code that does > something similar in pet or ppcg?
What exactly do you want to sum? If this involves any counting, then it cannot currently be done in pet or ppcg since isl does not support counting yet and the public version of barvinok is GPL licensed. Also, it's better to ask such questions on the isl mailing list isl-developm...@googlegroups.com skimo