CVSROOT: /usr/local/cvsroot/pma2000
Module name: Polyhedra
Changes by: roberto(a)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.
