Dear all, <br><br>Is there a quick way to pretty-print a Box or Polyhedha  object using my variables names rather than the build-in &quot;A&quot;, &quot;B&quot;, &quot;C&quot;...?  For example,  below are an interval analysis result for a single instruction &quot;x=10&quot;. PPL uses its built-in names A,B,...for each dimension.  <br>
<br>*******************************<br> {true}        x = 10      {A in 10}  <br>*******************************<br><br> I do not see how to assign a user-defined names for PPL&#39;s variable objects. <br><br> Any ideas? Thanks. <br>
Zell.<br>