URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fd93ad98361ec... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 23:49:39 2011 +0100

Linear_System: all rows now have the same space dimension instead of the same number of columns.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=03a8a0f5004b9... Author: Marco Poletti poletti.marco@gmail.com Date: Mon Mar 21 22:16:42 2011 +0100

Partially_Reduced_Product: if the space dimension is greater than max_space_dimension(), throw an error directly instead of constructing objects with the wrong dimensions and expecting them to throw.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=95d1cf11a33c9... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 23:32:47 2011 +0100

Linear_System: the remove_space_dimensions() method now removes invalid rows from the system and uses the remove_space_dimensions() methods of rows objects.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67d69d12cb526... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 23:30:55 2011 +0100

Grid_Generator: add a remove_space_dimensions() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=28716a577f6cc... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 23:30:29 2011 +0100

Generator: add a remove_space_dimensions() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb9d5834c6366... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 23:30:13 2011 +0100

Constraint: add a remove_space_dimensions() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=750f191932827... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 23:14:53 2011 +0100

Generator: use a more meaningful format in ascii representation, and use it in Generator_System.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7ce400ab50a6... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 23:06:15 2011 +0100

tests/Polyhedron/linearsystem1: test Linear_System<Constraint> instead of Linear_System<Linear_Row>.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df12ea8473102... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 19:09:42 2011 +0100

Linear_Row: add the mark_as_{,not_}necessarily_closed() methods and change the semantics of set_topology() and set_{,not_}necessarily_closed(). Update client code to match.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0d82a2217d27... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 19:09:36 2011 +0100

Generator: construct a valid object in the default constructor.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d90529862261d... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 12:35:01 2011 +0100

Polyhedron: use a Linear_System<Constraint> instead of a Linear_System<Linear_Row>, in simplify_using_context_assign().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7f7eb492a0e56... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 11:54:33 2011 +0100

Linear_System: remove the increase_space_dimension() method, use set_space_dimension() instead.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0502008385d2a... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 11:24:16 2011 +0100

Generator_System: affine_image() now takes a Variable instead of a column index.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7306b5675f80f... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 11:04:10 2011 +0100

Constraint_System: affine_preimage() now takes a Variable instead of a column index.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a8bca38fea46... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 10:45:54 2011 +0100

Swapping_Vector: use a swap() method instead of std::swap().

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c51dee5b2ad69... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 10:38:39 2011 +0100

Fix typos.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=330efa536accf... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 10:26:26 2011 +0100

*_System: remove the swap_rows() method.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=452671e165080... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 10:23:49 2011 +0100

Polyhedron: use *_System::remove_row(), in simplify() (#2).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=939801064fe9c... Author: Marco Poletti poletti.marco@gmail.com Date: Sun Mar 20 10:16:15 2011 +0100

Polyhedron: use *_System::remove_row(), in simplify().