[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