CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@cs.unipr.it 2008-11-20 08:40:39 Modified files: src : Partially_Reduced_Product.inlines.hh tests/Partially_Reduced_Product: partiallyreducedproduct2.cc Log message: In the time_elapse, both components must be reduced before doing the operation. The clear_reduced_flag() after the operation removed and the tagged FIXME removed. Test added showing an example that is only correct if the second component is also reduced. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Partially_Reduced_Product.... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Partially_Reduced_Produc...