CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell@cs.unipr.it 2005-04-15 10:41:10 Modified files: src : Congruence.inlines.hh Congruence.defs.hh Congruence.cc Log message: Add versions of reduced_scalar_product_assign and scalar_product_assign which accept parameters. Add method set_is_equality. In normalize set the inhomogeneous term to the modulus when the coefficients are all zero. Correct the loading of the "m" in ascii_load. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.diff... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroot...