January 2008 - PURRS-devel - BUGSENG Mailman

Building the PURRS infrastructure
by Andrea Pescetti 24 Jan '08

24 Jan '08

The latest library versions can cause problems when trying to build the PURSS infrastructure. 1) GiNaC GiNaC 1.3.7 works and is now on our FTP site. ftp://ftp.cs.unipr.it/pub/infrastructure GiNaC 1.3.6 apparently doesn't work due to a parsing problem. GiNaC 1.4.x (the current series) should work but we need to modify our configuration script in order to take into account http://www.ginac.de/pipermail/ginac-devel/2007-March/001167.html which dropped ginac-config for pkg-config. Our configure script and test program should not locate/execute ginac-config (which has been removed in 1.4.x) but pkg-config --modversion ginac (if you receive an error, just set PKG_CONFIG_PATH appropriately: PKG_CONFIG_PATH=/usr/local/lib/pkgconfig/:$PKG_CONFIG_PATH if GiNaC is in /usr/local/lib ). Note: GiNaC is now dependent on pkg-config, but this shouldn't be a major problem. 2) GIAC GIAC 0.7.1 does not build without a patch we already happened to have to apply. The patch, suggested by Roberto, is under this message and a patched version og GIAC 0.7.1 is on our FTP site. 3) CGICC CGICC 3.2.4 (the latest version) apparently has changed its build scripts. Since this is not a key component, we can continue using CGICC 3.2.3, which is on our FTP site too. Yours, Andrea. Patch for GIAC 0.7.1: $ diff -c series.cc.~1~ series.cc *** series.cc.~1~ 2007-09-18 13:29:28.000000000 +0200 --- series.cc 2007-09-28 20:48:35.000000000 +0200 *************** *** 1174,1180 **** --- 1174,1182 ---- } void inutile(sparse_poly1 & s){ + #ifdef DEBUG_SUPPORT s.dbgprint(); + #endif } // ***********************

1 0

purrs/tests mvar_tests
by Andrea Pescetti 23 Jan '08

23 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2008-01-24 00:57:59 Modified files: tests : mvar_tests Log message: Corrections and new variants. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/mvar_tests.diff?cvsro…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 23 Jan '08

23 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2008-01-24 00:53:27 Modified files: tests : multivar_driver.cc Log message: Display a more meaningful and up-to-date help text. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 23 Jan '08

23 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2008-01-24 00:41:17 Modified files: tests : multivar_driver.cc Log message: We can now always restore the original arity after resolution of the auxiliary recurrence. Then we can apply initial conditions in a quite general fashion; however, in the "constant difference" case, initial condition can't always be replaced, since this would require a preliminary analysis to prove well-definedness of initial conditions, as well as a smart handling of the max() and min() operators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 22 Jan '08

22 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2008-01-22 11:23:09 Modified files: tests : multivar_driver.cc Log message: New, more powerful method to insert initial conditions. This is currently used in the "constant sum" case only. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests multivar_driver.cc
by Andrea Pescetti 21 Jan '08

21 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2008-01-21 23:16:48 Modified files: tests : multivar_driver.cc Log message: An intermediate step towards a proper handling of initial conditions: in the "constant sum" case, we can now (inefficiently) recursively traverse subexpression and restore the original arity. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di…

1 0

purrs/tests simpl_tests
by Andrea Pescetti 18 Jan '08

18 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2008-01-18 19:44:41 Modified files: tests : simpl_tests Log message: Manipulation of expressions has slightly changed in newer libraries. We are always correct, but in a couple of cases our result had minor syntactic differences with respect to the expected result. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/simpl_tests.diff?cvsr…

1 0

purrs/infrastructure depinst
by Andrea Pescetti 18 Jan '08

18 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: pescetti(a)cs.unipr.it 2008-01-18 19:19:23 Modified files: infrastructure : depinst Log message: Specify newer version of dependencies (updated in FTP repository too). Check that tarballs for compiling dependencies exist on disk. Take advantage of pkgconfig. We depend on readline too. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/infrastructure/depinst.diff…

1 0

purrs/tests multivar_driver.cc mvar_tests
by Roberto Bagnara 18 Jan '08

18 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara(a)cs.unipr.it 2008-01-18 10:21:11 Modified files: tests : multivar_driver.cc mvar_tests Log message: Another bug fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/multivar_driver.cc.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/mvar_tests.diff?cvsro…

1 0

purrs/tests mvar_tests
by Roberto Bagnara 18 Jan '08

18 Jan '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara(a)cs.unipr.it 2008-01-18 10:03:51 Modified files: tests : mvar_tests Log message: Likey copy-and-paste mistake fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/mvar_tests.diff?cvsro…

1 0