URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c26fbfa09f6b0... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 15:12:11 2012 +0200

Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=669dea90d0630... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 15:10:14 2012 +0200

Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2831e3553ecd... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 15:06:38 2012 +0200

Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a00d503dc5635... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 15:01:42 2012 +0200

Prefer set_space_dimension(d) to 0*Variable(d-1) trick.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=763a8e66aba92... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 12:52:12 2012 +0200

Added static data member recording default representation choice for the constraint/generator systems stored in a Polyhedron object. Current default values are DENSE. Use these values when constructing the con_sys and gen_sys data members.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c892e0ff9c53c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 12:47:30 2012 +0200

Avoid kludge for setting space dimension of congruence system.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c73f2c9a24c67... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 12:42:15 2012 +0200

Improved methods (minimized_) constrints() and congruences().

Set system space dimension using appropriate method, getting rid of kludge. Prefer early return, thereby simplifying the control flow.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d43258ac2145... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Mar 28 12:40:26 2012 +0200

By default, use a SPARSE representation for all syntactic representations.