CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-06-10 11:37:47 Modified files: src : Grid_public.cc Pointset_Powerset.cc Pointset_Powerset.defs.hh Log message: In Grid::join_assign_if_exact(), added an assertion. In Pointset_Powerset.defs.hh corrected and improved brief description for approximate_partition(). In Pointset_Powerset.cc, in approximate_partition(), ensure congruence system of grid q is minimized before copying; in approximate_partition_aux(), now there is no need to minimize the congruence system here. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.cc.diff?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Pointset_Powerset.defs.hh....