[PPL-devel] ppl/src ConSys.cc GenSys.cc Matrix.defs.hh Mat ...

[Enea Zaffanella]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	zaffanella at 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&r1=1.58&r2=1.59
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.77&r2=1.78
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.44&r2=1.45
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.inlines.hh.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron_chdims.cc.diff?cvsroot=ppl&r1=1.3&r2=1.4