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