[PPL-devel] Complexity of remove_dimensions

[Mario Mendez]

Hi again,

I'm wondering what is the complexity (worst case, O(f(x,y)) for the 
'remove_dimensions' method offered in the library. I checked the source 
code but it is kind of difficult to me to figure out the exact function.

Another question: is there any "standard" algorithm to project a system 
of linear (in)equations on certain dimensions, in the same way 
'remove_dimensions' is doing? If so, what is its name?

Thank you!

Mario Mendez