[PPL-devel] Polyhedra/src Polyhedron.cc

[Elisa Ricci]

CVSROOT:	/usr/local/cvsroot/pma2000
Module name:	Polyhedra
Changes by:	ericci at sandbox.cs.unipr.it	01/10/10 11:57:37

Modified files:
	src            : Polyhedron.cc 

Log message:
	In functions assign_variable(...) and substitute_variable:
	used the appropriate notation for the scalar product;
	used the notation of column-vector instead of row-vector for the points
	of polyhedra;
	changed a notiation in the formulas to find the inverse transformation.