[PPL-devel] remove_dimensions

[P M Hill]

Hi,

I want to try and adapt the append code (partly as an exercise in
using the ppl)...

Looking at the code for append.cc, I see that there
a procedure remove_dimensions/1 in Polyhedron.cc
However, there seems to be no information on this in the documentation.
In fact, it does not seem to exist in the documentation - ??
I have found the definition only by searching the src directory.

ciao,
  Pat