[PPL-devel] ppl/src ConSys.cc GenSys.cc Matrix.cc Matrix.d ...

[Elisa Ricci]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	ericci at cs.unipr.it	2001-12-05 18:58:21

Modified files:
	src            : ConSys.cc GenSys.cc Matrix.cc Matrix.defs.hh 
	                 Polyhedron.cc Row.cc Row.defs.hh conversion.cc 

Log message:
	The method Row::normalize() has been restored so that it only ensures
	coefficients are mutually prime.  The new method
	Row::strong_normalize() also ensures that the first non-zero
	coefficient of lines and equalities is negative.  The new method
	Matrix::strong_normalize() that calls strongly normalizes each row.
	Strong normalization is now used wherever it is guaranteed to be both
	safe and efficient.
	The "EXTRA_NORMALIZATION" flag is used to decide whether
	strong_normalization is also used in Row::libear_combine() (since in
	this case strong normalization can incur performance penalties).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/ConSys.cc.diff?cvsroot=ppl&r1=1.20&r2=1.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GenSys.cc.diff?cvsroot=ppl&r1=1.23&r2=1.24
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.cc.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Matrix.defs.hh.diff?cvsroot=ppl&r1=1.9&r2=1.10
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot=ppl&r1=1.88&r2=1.89
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&r1=1.15&r2=1.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot=ppl&r1=1.10&r2=1.11