12 Jun
2001
12 Jun
'01
12:28 p.m.
CVSROOT: /usr/local/cvsroot/pma2000 Module name: Polyhedra Changes by: ericci@sandbox.cs.unipr.it 01/06/12 12:28:11
Modified files: src : Polyhedron.cc
Log message: Little changes in Polyhedron::OK() in the part of generator_are_minimize: we must normalize before checking if the two matrices are equal. The part added is preceded by #ifndef LASA.