CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella@cs.unipr.it 2003-01-20 09:22:50

Modified files: src : Row.defs.hh Row.cc Matrix.cc minimize.cc simplify.cc

Log message: Strong normalization of Row objects now enforce the first non-zero coefficient to be positive. When creating a matrix having n copies of the same row, the matrix is now declared to be sorted (since sortedness by itself does not implies that it has no duplicates); this also includes the case of empty matrices. Some improvements in methods Matrix::gauss() and Matrix::back_substitute().

Patches: 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/Row.cc.diff?cvsroot=ppl&am... 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/minimize.cc.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplify.cc.diff?cvsroot=p...