CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-04-19 14:15:12

Modified files: src : Grid_simplify.cc

Log message: Include the divisor in the parameter version of le_pc_reduce. In the congruence version consider every row (instead of leaving out the last row) and skip modifying virtual rows.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_simplify.cc.diff?cvsr...