10 Jun
2001
10 Jun
'01
11:38 p.m.
CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: roberto@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?