19 Apr
2005
19 Apr
'05
2:15 p.m.
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...