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 "A", "B", "C"...?  For example,  below are an interval analysis result for a single instruction "x=10". 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's variable objects. <br><br> Any ideas? Thanks. <br>
Zell.<br>