17 May
2011
17 May
'11
8:10 p.m.
Unfortunately that wouldn't have been an option. Thankfully for those of you who don't subscribe to the development list I can say there's a patch for it now. test code only takes about 10 seconds to run with the patched library. peter Quoting Ulrich Loup <loup@cs.rwth-aachen.de>:
Hi again,
sorry that I first misunderstood your problem. Maybe it helps to split the simplification into several simplify_indexed() calls, or is this not equivalent in your case?
Ulrich.
---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.