CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@sandbox.cs.unipr.it 01/09/20 18:27:03

Modified files: test : Makefile.am Makefile.in bug3.cc bug3.dat

Log message: bug3 shows what may or may be not a bug. In any case, Polyhedra::conversion() is entered with a big (but not terrible) polyhedron and control seems not to comes back, while memory usage seems to grow slowly but continuously. It may be "the concrete effects of combinatorial explosion" or a genuine bug.