CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@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... 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.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/Polyhedron.cc.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.cc.diff?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Row.defs.hh.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/conversion.cc.diff?cvsroot...