[PPL-devel] extrapolation and termination
Bishoksan Kafle
kafle at ruc.dk
Sat May 31 11:53:22 CEST 2014
Dear Roberto,
I have a question about extrapolation operators in PPL library, in general, they don't guarantee termination, right? Then, I found the following text from the documentation:
"Note that a convergence guarantee can only be obtained by suitably restricting the set of constraints that can occur in this additional parameter. "
Here is my question:
Do they guarantee termination if I have a fixed set (any) of constraints? or the set of constraints has to be carefully chosen?
Many thanks in advance :)
Best
Bishoksan
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20140531/5c7d6c24/attachment.htm>
More information about the PPL-devel
mailing list