[PPL-devel] ppl ./CREDITS ./configure.ac src/Makefile.am s ...

[Roberto Bagnara]

CVSROOT:	/cvs/ppl
Module name:	ppl
Branch: 	polynomials
Changes by:	bagnara at cs.unipr.it	2007-10-14 10:37:29

Modified files:
	.              : CREDITS configure.ac 
	src            : Makefile.am globals.types.hh 
	tests          : Makefile.am 
Added files:
	src            : Monomial.cc Monomial.defs.hh 
	                 Monomial.inlines.hh Monomial.types.hh 
	                 Polynomial.cc Polynomial.defs.hh 
	                 Polynomial.inlines.hh Polynomial.types.hh 
	                 Polynomial_Cone.cc Polynomial_Cone.defs.hh 
	                 Polynomial_Cone.inlines.hh 
	                 Polynomial_Cone.types.hh 
	                 Polynomial_Constraint.cc 
	                 Polynomial_Constraint.defs.hh 
	                 Polynomial_Constraint.inlines.hh 
	                 Polynomial_Constraint.types.hh 
	                 Polynomial_Constraint_System.cc 
	                 Polynomial_Constraint_System.defs.hh 
	                 Polynomial_Constraint_System.inlines.hh 
	                 Polynomial_Constraint_System.types.hh 
	                 Polynomial_Space.cc Polynomial_Space.defs.hh 
	                 Polynomial_Space.inlines.hh 
	                 Polynomial_Space.templates.hh 
	                 Polynomial_Space.types.hh Term.cc Term.defs.hh 
	                 Term.inlines.hh Term.types.hh 
	tests/Polynomial_Space: .cvsignore Makefile.am addconstraint1.cc 
	                        addconstraints1.cc 
	                        addpolynomialconstraint1.cc 
	                        addpolynomialconstraints1.cc 
	                        addspacedimensionsandembed1.cc 
	                        addspacedimensionsandproject1.cc 
	                        affineimage1.cc affinepreimage1.cc 
	                        ascii_dump_load1.cc 
	                        concatenateassign1.cc entails1.cc 
	                        isbottomortop1.cc joinassign1.cc 
	                        mapspacedims1.cc meetassign1.cc 
	                        operators1.cc polynomialconstraints1.cc 
	                        polynomialimage1.cc 
	                        polynomialpreimage1.cc 
	                        polynomialspace1.cc 
	                        polynomialspacedifferenceassign1.cc 
	                        removehigherspacedims1.cc 
	                        removespacedims1.cc 

Log message:
	Initial implementation of polynomial spaces (joint work with Enric
	Rodríguez Carbonell and Enea Zaffanella).

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/CREDITS.diff?cvsroot=ppl&only_with_tag=polynomials&r1=1.22&r2=1.22.4.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&only_with_tag=polynomials&r1=1.291&r2=1.291.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.defs.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.inlines.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.types.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.defs.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.inlines.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.types.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.defs.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.inlines.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.types.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.defs.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.inlines.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.types.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_System.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_System.defs.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_System.inlines.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_System.types.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.defs.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.inlines.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.templates.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.types.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.defs.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.inlines.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.types.hh?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=ppl&only_with_tag=polynomials&r1=1.173&r2=1.173.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvsroot=ppl&only_with_tag=polynomials&r1=1.11&r2=1.11.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot=ppl&only_with_tag=polynomials&r1=1.263&r2=1.263.2.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/.cvsignore?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/Makefile.am?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addconstraint1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addconstraints1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addpolynomialconstraint1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addpolynomialconstraints1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addspacedimensionsandembed1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addspacedimensionsandproject1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/affineimage1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/affinepreimage1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/ascii_dump_load1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/concatenateassign1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/entails1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/isbottomortop1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/joinassign1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/mapspacedims1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/meetassign1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/operators1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynomialconstraints1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynomialimage1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynomialpreimage1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynomialspace1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynomialspacedifferenceassign1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/removehigherspacedims1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/removespacedims1.cc?cvsroot=ppl&only_with_tag=polynomials&rev=1.1