CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2007-10-22 14:06:45
Modified files: src : Direct_Product.inlines.hh tests/Grid : directproduct1.cc directproduct2.cc directproduct3.cc directproduct4.cc directproduct6.cc directproduct7.cc
Log message: Bug fixed for congruences() and minimized_congruences(). Tests changed so as to test the Direct_Product class rather than the Open_Product class.
Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.inlines.hh.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct1.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct2.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct3.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct4.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct6.cc.d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Grid/directproduct7.cc.d...