Dear all, <br><br>This may be a silly question. But I would like to know why narrowing for polyhedral domains is not implemented in PPL?   I recently experienced many cases where  analysis using Int64_Box  gives more precise results than NNC_Polyhedral because the former provides a narrowing.   <br>
<br>What do you think?<br><br>Thanks.<br>Zell.<br>