Re: [PPL-devel] Minkowski-Sum