September 2005 - PPL-devel - BUGSENG Mailman

Yap 5 bug? Not all required include files are installed under Cygwin
by Roberto Bagnara 15 Oct '05

15 Oct '05

Hi there, the subject says it all. Under Cygwin, c_interface.h is installed in $PREFIX/include/Yap. However, c_interface.h immediately includes YapInterface.h, and this is not installed. Here is the relevant excerpt from the output of `make install': ... /usr/bin/install -c ./H/TermExt.h ./H/Atoms.h ... /usr/bin/install -c ./include/c_interface.h /usr/local/include/Yap/c_interface.h /usr/bin/install -c config.h /usr/local/include/Yap/config.h (cd library/random; make install) make[1]: Entering directory `/usr/local/distrib/Yap-5.0.0/library/random' /usr/bin/install -c random.dll /usr/local/lib/Yap ... All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

2 1

ppl Makefile.am
by Roberto Bagnara 30 Sep '05

30 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2005-09-30 23:15:29 Modified files: . : Makefile.am Log message: Header file instchk.hh listed in dist_noinst_HEADERS. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/Makefile.am.diff?cvsroot=ppl&…

1 0

CVSROOT users
by Roberto Bagnara 30 Sep '05

30 Sep '05

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2005-09-30 22:28:36 Modified files: . : users Log message: Added translations for `abagnara' and `merchat'. Sorted. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/users.diff?cvsroot=ppl&r1…

1 0

ppl/src simplex.cc
by Enea Zaffanella 30 Sep '05

30 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2005-09-30 21:07:50 Modified files: src : simplex.cc Log message: No longer using (and thus eliminated) functions insert_row_in_matrix(), add_element_to_row(), copy_column(). Function check_optimality() renamed as get_entering_index(), its signature restructured and its implementation made a little bit more efficient. Function choose_out_var() renamed as get_exiting_index(), its signature restructured and its implementation heavily changed to (hopefully) made it more efficient. Function compute_simplex() changed accordingly. Function compute_tableau() further simplified by removing a lot of (not really necessary) bookkeeping. Local variables renamed for improved readability. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/simplex.cc.diff?cvsroot=p…

1 0

ppl/src GMP_Integer.types.hh
by merchat＠cs.unipr.it 30 Sep '05

30 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: merchat(a)cs.unipr.it 2005-09-30 09:16:08 Modified files: src : GMP_Integer.types.hh Log message: We use doxygen command ``\relates'' to put all informations about GMP_Integer at the same place. Since \relates must refer to a class and GMP_Integer is not a class but a type we obtain a warning for all ``\relates GMP_Integer'' To eliminate those warnings we add a doxygen comment ``\class GMP_Integer'' just before declaration of type GMP_Integer Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/GMP_Integer.types.hh.diff…

1 0

ppl/src checked_int.inlines.hh checked_float.i ...
by Matthew Mundell 29 Sep '05

29 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-29 18:03:21 Modified files: src : checked_int.inlines.hh checked_float.inlines.hh checked.inlines.hh Log message: Rename gcdext_generic to gcdext_exact. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_float.inlines.hh.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.inlines.hh.diff?c…

1 0

ppl/src scalar_products.inlines.hh scalar_prod ...
by Matthew Mundell 29 Sep '05

29 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Branch: grids Changes by: mundell(a)cs.unipr.it 2005-09-29 18:02:17 Modified files: src : scalar_products.inlines.hh scalar_products.defs.hh scalar_products.cc Congruence.inlines.hh Congruence.defs.hh Congruence.cc Log message: Move scalar product functions into scalar_products.*. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.inlines.h… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.defs.hh.d… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/scalar_products.cc.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.inlines.hh.dif… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.defs.hh.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Matthew Mundell 29 Sep '05

29 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-29 17:00:43 Modified files: tests/Polyhedron: numberinput1.cc Log message: Improve the call to function input in function test. Update temporary comments. Add a test with a much larger integer. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

1 0

ppl/tests/Polyhedron numberinput1.cc
by Matthew Mundell 29 Sep '05

29 Sep '05

CVSROOT: /cvs/ppl Module name: ppl Changes by: mundell(a)cs.unipr.it 2005-09-29 11:24:26 Modified files: tests/Polyhedron: numberinput1.cc Log message: Convert test_template to function test, which uses an mpq_class checked number. In function test read number with function input (instead of op>>), compare the result of the conversion with an expected result, and use is_not_a_number instead of classify. Narrow long test invocations. Add an expected result value to each invocation. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Polyhedron/numberinput1…

3 2

Complexity of remove_dimensions
by Mario Mendez 29 Sep '05

29 Sep '05

Hi again, I'm wondering what is the complexity (worst case, O(f(x,y)) for the 'remove_dimensions' method offered in the library. I checked the source code but it is kind of difficult to me to figure out the exact function. Another question: is there any "standard" algorithm to project a system of linear (in)equations on certain dimensions, in the same way 'remove_dimensions' is doing? If so, what is its name? Thank you! Mario Mendez

2 5