CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-04-10 12:22:26

Modified files: src : ConSys.cc GenSys.cc Matrix.defs.hh Matrix.inlines.hh Polyhedron_chdims.cc

Log message: Added method Matrix::remove_columns(dimension_type new_n_columns) with the expected semantics. The method ensures that the resulting matrix is in normal form, thus correcting the bug shown by removedim10.cc. The new method is now used everywhere we remove columns from a matrix.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?...