16 Oct
2001
16 Oct
'01
2:44 p.m.
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