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

15 Oct 2003


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