January 2002 - PURRS-devel - BUGSENG Mailman

purrs ./acinclude.m4 ./configure.ac m4/ginac.m4
by Roberto Bagnara 15 Jan '02

15 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-15 20:28:06 Modified files: . : acinclude.m4 configure.ac Added files: m4 : ginac.m4 Log message: Look for GiNaC and check whether it works. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/acinclude.m4.diff?cvsroot=w… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/configure.ac.diff?cvsroot=w… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ginac.m4.diff?cvsroot=pu…

1 0

purrs/tests polynomials
by Roberto Bagnara 15 Jan '02

15 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-15 19:58:55 Modified files: tests : polynomials Log message: New polynomials added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/polynomials.diff?cvsr…

1 0

End of a nightmare: patch for GiNaC's acinclude.m4
by Roberto Bagnara 15 Jan '02

15 Jan '02

A student of mine started having troubles with her Linux machine at home soon after she started playing with GiNaC. The machine seemed to become instable after a few days of work and she reinstalled GNU/Linux several times because of that. A few days ago, we discovered that /dev/null was no longer a character device: it was an ordinary file and that caused the system not to boot properly. We recreated the /dev/null device and everything seemed to go well until this morning, when the device disappeared again. BUT this time Tatiana provided the relevant bit of information; here it is: ... config.status: creating doc/reference/Makefile config.status: creating config.h **** The following problems have been detected by configure. **** Please check the messages below before running "make". **** (see the section 'Common Problems' in the INSTALL file) ** No suitable installed version of CLN could be found. deleting cache /dev/null [root@crystal GiNaC-1.0.3]# Aaargh!!! It was GiNaC configuration erasing /dev/null! Yeah, right, there is no need to run `configure' while being root. However, I feel in this case the price that had to be payed was a bit too high. That is why I propose the following patch is applied to `acinclude.m4': if `cache_file' is `/dev/null' do not delete it. 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 diff -rcp GiNaC-1.0.3.orig/acinclude.m4 GiNaC-1.0.3/acinclude.m4 *** GiNaC-1.0.3.orig/acinclude.m4 Tue Nov 20 18:42:05 2001 --- GiNaC-1.0.3/acinclude.m4 Tue Jan 15 09:56:33 2002 *************** if test "x${ginac_error}" = "xyes"; then *** 86,93 **** if test "x${ginac_warning_txt}" != "x"; then echo "${ginac_warning_txt}" fi ! echo "deleting cache ${cache_file}" ! rm -f $cache_file else if test x$ginac_warning = xyes; then echo "=== The following minor problems have been detected by configure." --- 86,95 ---- if test "x${ginac_warning_txt}" != "x"; then echo "${ginac_warning_txt}" fi ! if test "x$cache_file" != "x/dev/null" ! echo "deleting cache ${cache_file}" ! rm -f $cache_file ! fi else if test x$ginac_warning = xyes; then echo "=== The following minor problems have been detected by configure."

2 1

purrs/doc purrs.tex
by Roberto Bagnara 14 Jan '02

14 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-14 19:15:20 Modified files: doc : purrs.tex Log message: Changes from Alessandro: 1. Added some new references 2. Added hyperlinks 3. Improved LaTeX (hopefully) 4. Given definition of squarefree decomposition 5. Improved English 6. Made notation more uniform 7. Moved examples to where they belong 8. Added more examples of special cases, especially in Section 2.1.2 9. Fixed minor errors, both in Maths and in TeX 10. Added the proof of the third summation formula in Section 4.4.3, with a more explicit bound for the error 11. Completed section on the solution of the equation of degree 3 (notation consistent with code) 12. Added paragraph on the generating function, with two fully worked-out examples 13. Added example at the end of Section 2.1.4 that shows how to "guess" the particular solution of a non-homogeneous second order recurrence in a more general case than before 14. Added/removed/translated comments here and there 15. Inserted spaces in some formulas for easier readability, and reshaped some (though not all) paragraphs to comply with Roberto's request of short lines Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/purrs.tex.diff?cvsroot=…

1 0

purrs src/Makefile.am src/alg_eq_solver.cc src ...
by Roberto Bagnara 13 Jan '02

13 Jan '02

1 0

purrs/src rr_solver.cc
by Roberto Bagnara 13 Jan '02

13 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-13 11:58:54 Modified files: src : rr_solver.cc Log message: Allow subexpressions of the form `e(n)' with `n' numeric in the inhomogeneous term of LRFOCCs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/rr_solver.cc.diff?cvsro…

1 0

purrs src/Makefile.am src/alg_eq_solver.cc src ...
by Roberto Bagnara 12 Jan '02

12 Jan '02

1 0

purrs/doc purrs.bib
by Roberto Bagnara 12 Jan '02

12 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-01-12 11:03:32 Added files: doc : purrs.bib Log message: Initial version of PURRS' bibliography. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/purrs.bib.diff?cvsroot=…

1 0

[Fwd: Re: The specification of sqrfree()]
by Roberto Bagnara 11 Jan '02

11 Jan '02

-------- Original Message -------- Subject: Re: The specification of sqrfree() Date: Wed, 9 Jan 2002 18:21:33 +0100 (CET) From: "Richard B. Kreckel" <kreckel(a)ginac.de> Reply-To: Richard.Kreckel(a)Uni-Mainz.DE To: GiNaC developers list <ginac-devel(a)zino.physik.uni-mainz.de> CC: Roberto Bagnara <bagnara(a)cs.unipr.it> Hi, On Wed, 9 Jan 2002, Roberto Bagnara wrote: [...] > During this work we have found that GiNaC's documentation > is not very precise about what a "square-free factorization" is. Yeah, the defintion given there is not very strict... :-) > Below you find what we believe is a sensible definition > (which also seems to be compatible with the current implementation). > Please, check if that is also consistent with the specification > of GiNaC (we would like to avoid relying on non-features that > may disappear on a subsequent release). > > A polynomial p(X) in Q[X] is said <EM>square-free</EM> > if, whenever two polynomials q(X) and r(X) in Q[X] > are such that p(X) = q(X)^2*r(X), q(X) is constant. I had to read this three times. Do we agree to read `X' ad a n-tuple of symbols? Then I thought this definition does not account of the square-free factorization of p(a,b,c,d) = a*c - b*c - a*d + b*d into (a-b)*(c-d), which is now handled -- this being the change that went into version 1.0.1. But now methinks your definition does indeed cover this. Isn't there a canonical definition for the multivariate case in the literature? And at least over Z[X] and Q[X], you can rely on this extended behaviour. Maple and Mathematica do the same and I need it for my work. If you think it over again with the above case in mind and find that it's okay, a patch for the documentation would be welcome. Regards -richy. -- Richard B. Kreckel <Richard.Kreckel(a)Uni-Mainz.DE> <http://wwwthep.physik.uni-mainz.de/~kreckel/>

1 0

CVS Update: purrs
by Roberto Bagnara 09 Jan '02

09 Jan '02

CVSROOT: /cvs/purrs Module name: purrs Repository: purrs/src/ Changes by: roberto(a)spartacus.cs.unipr.it.(none) 02/01/09 20:23:17 Modified files: purrs/src/: rr_solver.cc Log message: Cleanup started.

1 0