CVSROOT: /cvs/ppl Module name: ppl Changes by: ericci@cs.unipr.it 2002-09-24 19:05:50

Modified files: src : Integer.defs.hh Integer.inlines.hh Polyhedron.cc

Log message: Added the functions lcm_assign(Integer& x, const Integer& y) and lcm_assign(Integer& x, const Integer& y, const Integer& z) in Integer. Modified the function Polyhedron::BBRZ02_widening_assing() so that in the first technique we choose the constraints to add in the right system and we normalize the vectors using a bad approximation of the norm; corrected also an error in the third technique in the case of rays with negative coefficients.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.defs.hh.diff?cvsro... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Integer.inlines.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...