CVSROOT: /cvs/ppl Module name: ppl Branch: space_dim Changes by: ericci@cs.unipr.it 2001-10-25 20:36:14

Modified files: src : Polyhedron.cc

Log message: In operator <=(x,y) we only need the generators of x and the constraints of y. In functions intersection_assign and convex_hull, we did two checks of the dimension of the space (one with space_dimension() and the other with num_columns()). In functions add_dimensions_and_embed and add_dimensions_and_project we have both the system of constraints and the system of generators minimized when we add some dimensions to a polyhedron in a 0-dimensional space.

Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroot...