[PPL-devel] Equivalent dimensions

Hi again,

I wonder if there is any way (by using the API) to discover which dimensions are equal. Right now, I inspect the constraint system looking for 1*X + -1 *Y = 0, but that 'ad-hoc' solution simply does not look right. Can you help me? Thanks!