CVSROOT: /cvs/ppl Module name: ppl Branch: polynomials Changes by: bagnara@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&o... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.cc?cvsroot=ppl&am... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.defs.hh?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.inlines.hh?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Monomial.types.hh?cvsroot=... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.cc?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.defs.hh?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.inlines.hh?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial.types.hh?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.cc?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.defs.hh?cv... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.inlines.hh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Cone.types.hh?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.cc?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.defs... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.inli... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint.type... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_Syst... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_Syst... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_Syst... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Constraint_Syst... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.cc?cvsroo... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.defs.hh?c... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.inlines.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.templates... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polynomial_Space.types.hh?... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.cc?cvsroot=ppl&on... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.defs.hh?cvsroot=ppl&a... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.inlines.hh?cvsroot=pp... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Term.types.hh?cvsroot=ppl&... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=p... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/globals.types.hh.diff?cvsr... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroot... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/.cvsign... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/Makefil... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addcons... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addcons... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addpoly... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addpoly... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addspac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/addspac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/affinei... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/affinep... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/ascii_d... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/concate... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/entails... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/isbotto... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/joinass... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/mapspac... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/meetass... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/operato... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynom... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynom... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynom... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynom... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/polynom... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/removeh... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polynomial_Space/removes...