CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-15 15:20:21
Modified files:
src : Polyhedron.cc
Log message:
In the constructors of a polyhedron that use a system of constraints
or a set of generators these matrices must be at least two columns.
In the function remove_dimensions(..) if the matrix of generators
does not have at least two columns (i.e num_columns() <= 1) the polyhedron
becomes zero-dimensional and so we clear the `con_sys' and `gen_sys'.
In function insert(const Constraint& c) if the polyhedron is
zero-dimensional we add also the positivity constraint.
In functions insert(...) it is no longer necessary clear `con_sys'
and `gen_sys' before adding a row if the polyhedron is zero-dimensional.
In function OK(), we verify if in a zero-dimensional polyhedron `con_sys'
and `gen_sys' have no rows.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.cc.diff?cvsroo…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2001-10-15 13:59:45
Modified files:
src : Polyhedron.defs.hh
Log message:
Rewrite a part of the brief description of the class Polyhedron.
Added some more expanation for the examples 5 and 6.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…
Dear all,
on spartacus, in the usual place, there are now RPM
packages for PPL 0.1.
$ ls -l /opt/ppl-distrib/
total 3616
-rw-rw-r-- 1 roberto roberto 869996 Oct 15 11:55 ppl-0.1-1.i386.rpm
-rw-rw-r-- 1 roberto roberto 702282 Oct 15 11:52 ppl-0.1-1.src.rpm
-rw-rw-r-- 1 roberto roberto 568983 Oct 15 09:18 ppl-0.1.tar.bz2
-rw-rw-r-- 1 roberto roberto 703040 Oct 15 09:18 ppl-0.1.tar.gz
-rw-rw-r-- 1 roberto roberto 830084 Oct 15 09:18 ppl-0.1.zip
Ciao,
Roberto
--
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: roberto(a)cs.unipr.it 2001-10-15 09:37:32
Modified files:
src : Makefile.am
Log message:
It is now possible for the build directory
to be the same as the source directory.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Makefile.am.diff?cvsroot=…