<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style>
</head>
<body class='hmmessage'>
Dear PPL-developers,<br><br>We're currently considering to write a library making use of PPL.<br><br>The main problem is that for method investigations we would like to make use of only one representation a time for polyhedra. Is there an efficient way of using the existing PPL, in such a manner that we can choose whether a constraint- or generator-based representation of polyhedra is used. <br><br>We know that most functions are only implemented for only one of the representations, and we would add functions needed for the other representation ourselves. Thus, as question remains if we can efficiently stop the polyhedra from being updated to consistency after a changing function is run.<br><br><br>With kind regards,<br>Sebastian Junges<br><br>Student Assistant<br>RWTH Aachen<br>Department of Computer Science<br>Hybrid Systems Group<br><br> </body>
</html>