<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

Dear developers of PPL,

<div class=""><br class="">

</div>

<div class="">Is it possible to directly compute the set-difference of two pointset powersets?</div>

<div class=""><br class="">

</div>

<div class="">In particular, I’m interested in the precise complement; </div>

<div class="">convex difference approximations are not sufficient for my case.</div>

<div class=""><br class="">

</div>

<div class="">Kind regards,</div>

<div class="">Jaco van de Pol</div>

<div class=""><br class="">

</div>

<div class=""><span style="orphans: 2; widows: 2;" class=""><br class="">

</span></div>

<div class=""><span style="orphans: 2; widows: 2;" class="">--</span>

<div class="">

<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

<div style="color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

<span class="Apple-style-span" style="border-collapse: separate; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; line-height: normal; border-spacing: 0px;">

<div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">

<div style="font-size: 12px;" class="">Prof. Jaco van de Pol</div>

<div class="">University of Twente (NL)</div>

<div style="font-size: 12px;" class="">Formal Methods and Tools </div>

<div style="font-size: 12px;" class=""><a href="http://www.cs.utwente.nl/~vdpol" class="">http://www.cs.utwente.nl/~vdpol</a></div>

</div>

</span></div>

</div>

</div>

<br class="">

</div>

</body>

</html>