CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti@cs.unipr.it 2005-03-27 12:31:12

Modified files: src : compute_exact_solution.cc

Log message: Store irrational roots in the Blackboard while computing the solution. This dramatically improves the time needed to find the solution, but verification can still be hard.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/compute_exact_solution.c...