
11 May
2006
11 May
'06
2:57 p.m.
CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell@cs.unipr.it 2006-05-11 14:57:44
Modified files: src : Grid_simplify.cc
Log message: Rework the post-reduction part of simplify(cgs) to better handle the case when the given system is empty or all zeroes, and to save the check on reduced_num_rows in the zero row clipping block.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsr...