[PPL-devel] [Fwd: Projection in the PPL]

[Roberto Bagnara]

-------- Original Message --------
Subject: Projection in the PPL
Date: Tue, 14 Oct 2003 11:48:52 +0100
From: Axel Simon <A.Simon at kent.ac.uk>
To: Roberto Bagnara <roberto at spartacus.cs.unipr.it>
References: <200310131555.h9DFtbc03190 at spartacus.cs.unipr.it>

Hi Roberto,

I always thought that projection of polyhedra is done via Fourier Motzkin
elimination. Is that true for the PPL library as well or is there a way to
reformulate the projection operation on the generator set?

Just curious,
Axel.


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it