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
