[PPL-devel] ppl tests/Grid/removespacedims1.cc tests/Grid/ ...

[Matthew Mundell]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	grids
Changes by:	mundell at cs.unipr.it	2005-07-06 20:21:08

Modified files:
	tests/Grid     : removespacedims1.cc grid2.cc grid1.cc 
	                 congruencesystem2.cc 
	src            : Grid_public.cc Grid_nonpublic.cc 
	                 Congruence_System.defs.hh Congruence_System.cc 

Log message:
	Normalize divisors after converting from rays to lines.  Use the
	system-wide divisor to calculate the factor used when normalizing
	parameters.  In satisfies_all_congruences multiply the modulus by the
	divisor to account for the divisor when comparing parameters.
	
	Correct Chiara function names in grid1.cc comments.  Correct the
	expected results in grid1.cc test13 and test14, grid2.cc test2 and
	test10 and removespacedims1.cc test1.  Insert test16 (from the chiara
	water monitor example) into grid1.cc.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/removespacedims1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.11&r2=1.1.2.12
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/grid1.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.15&r2=1.1.2.16
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/congruencesystem2.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.3&r2=1.1.2.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_public.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.37&r2=1.1.2.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid_nonpublic.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.20&r2=1.1.2.21
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.defs.hh.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.10&r2=1.1.2.11
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence_System.cc.diff?cvsroot=ppl&only_with_tag=grids&r1=1.1.2.14&r2=1.1.2.15