CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto at sandbox.cs.unipr.it 01/06/10 23:38:58 Modified files: test : bug3.dat Log message: Assume almost nothing from the input: only generators are up to date and not even necessarily minimized. Wild guess: perhaps add_and_minimize() does not minimize?