- PURRS-devel - BUGSENG Mailman

w3purrs/htdocs news.raw
by bagnara＠cs.unipr.it 21 Jan '13

21 Jan '13

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: bagnara(a)cs.unipr.it 2013-01-21 08:18:00 Modified files: htdocs : news.raw Log message: Redirect avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/news.raw.diff?cvsr…

1 0

w3purrs/htdocs details.raw news.raw Credits/Cr ...
by bagnara＠cs.unipr.it 18 Jan '13

18 Jan '13

1 0

w3purrs/htdocs/Documentation purrs.bib
by bagnara＠cs.unipr.it 03 Dec '12

03 Dec '12

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: bagnara(a)cs.unipr.it 2012-12-03 08:03:51 Modified files: htdocs/Documentation: purrs.bib Log message: Removed broken link from SloaneP95. Added OEIS10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

Vi invitiamo a guadagnare dai 100 euro all'ora nel vostro tempo libero.
by purrs-announce＠cs.unipr.it 16 Apr '12

16 Apr '12

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=iso-8859-1"> <STYLE></STYLE> </HEAD> <BODY> La paga ci sarà ogni venerdì! Volendo, potrete aumentare gradualmente il numero delle richieste. Garantiamo il lavoro a tutti. Ma i posti disponibili sono limitati! Perciò vi conviene di presentare la domanda subito. E inizierete a guadagnare dalla settimana seguente. Nella domanda bisogna indicare: Il vostro nome Il vostro indirizzo email La vostra città di residenza Indirizzate la domanda al mio email Nicholson(a)linklavoro.com e vi risponderò personalmente entro 2 giorni lavorativi Cordiali saluti, Dottor Nicholson </BODY></HTML>

1 0

w3purrs/htdocs purrs.raw
by zaffanella＠cs.unipr.it 21 Jan '11

21 Jan '11

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaffanella(a)cs.unipr.it 2011-01-21 15:11:13 Modified files: htdocs : purrs.raw Log message: Test commit. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

Reviving PURRS
by Roberto Bagnara 21 Mar '10

21 Mar '10

Dear Cherif and Samir, I apologize for the delay in answeing your requests for help, but I only managed to look at this today. After a Sunday spent curs^H^H^H^Hworking at PURRS, I have made some progress toward making it buildable again. The depinst script is totally outdated, so I did not use it. What I did, was the following: wget ftp://ftp.gnu.org/gnu/cgicc/cgicc-3.2.9.tar.gz tar zxf cgicc-3.2.9.tar.gz cd cgicc-3.2.9 ./configure make sudo make install wget http://www.ginac.de/CLN/cln-1.3.1.tar.bz2 tar jxf cln-1.3.1.tar.bz2 cd cln-1.3.1 ./configure make sudo make install wget ftp://ftpthep.physik.uni-mainz.de/pub/GiNaC/ginac-1.5.6.tar.bz2 tar jxf ginac-1.5.6.tar.bz2 cd ginac-1.5.6 ./configure make sudo make install wget http://www.shoup.net/ntl/ntl-5.5.2.tar.gz tar zxf ntl-5.5.2.tar.gz cd ntl-5.5.2/src ./configure CFLAGS="-O2 -fPIC" NTL_GMP_LIP=on NTL_STD_CXX=on make sudo make install wget ftp://ftp-fourier.ujf-grenoble.fr/xcas/giac.tgz tar zxf giac.tgz cd giac-0.8.5 ./configure --disable-debug --disable-gc --without-x --disable-gui --disable-pari --disable-gsl make sudo make install After which I had to make several changes to PURRS, and now it compiles. It fails its testsuite miserably, but I believe the reason is a change in the GiNaC expression parser that does not influence the PURRS library. If you haven't lost interest and you want to try, please let me know the results. Don't forget to "cvs up" your local copy. All the best, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

purrs ./.cvsignore ./acinclude.m4 ./configure. ...
by Roberto Bagnara 21 Mar '10

21 Mar '10

1 0

purrs README
by Roberto Bagnara 10 Apr '08

10 Apr '08

CVSROOT: /cvs/purrs Module name: purrs Changes by: bagnara(a)cs.unipr.it 2008-04-10 08:37:10 Modified files: . : README Log message: Test mentioning the PPL removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/README.diff?cvsroot=purrs&r…

1 0

[Fwd: On Automatic solution of recurrence relations]
by Roberto Bagnara 08 Apr '08

08 Apr '08

-------- Original Message -------- Subject: On Automatic solution of recurrence relations Date: Sat, 29 Mar 2008 12:12:29 -0500 From: Alexander Povolotsky <apovolot(a)gmail.com> To: alessandro.zaccagnini(a)unipr.it, bagnara(a)cs.unipr.it Dear Roberto and Alessandro, PURRS is great ! - Many thanks for making it available online ! But could you may be consider complementing PURRS with the tool, which would try to figure out whether (or not) given integer sequence <with first "few" (unknown exact number) terms constitute "initial conditions"> is recurrence based ? For example consider Engel expansion of Pi: 1, 1, 1, 8, 8, 17, 19, 300, 1991, 2492, 7236, 10586, 34588, 63403, 70637, 1236467 , 5417668, 5515697, 5633167, 7458122, 9637848, 9805775, 41840855, 58408380, 213130873 Could above sequence be by any chance recurrence based ? Best Regards, Alexander R. Povolotsky -- 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

problem with PURRS ? - with regards to OEIS's A136429
by Alexander Povolotsky 07 Apr '08

07 Apr '08

Hi, Here is the OEIS sequence description: A136429 a(n) = sum( F(k+1)^2 F(n-k+1)^2, k = 0..n ) where F(n) = Fibonacci number (A000045). 1, 2, 9, 26, 84, 250, 747, 2182, 6323, 18132, 51624, 146004, 410677, 1149578, 3204477, 8899502, 24634620, 67990414, 187154271, 513939214, 1408246247, 3851081256, 10512259920, 28647203880, 77946605545, 211782868754 OFFSET 0,2 FORMULA G.f.: (1-x)^2/((1+x)^2(1-3x+x^2)^2). Recurrence: a(n+6) = 4 a(n+5) - 10 a(n+3) + 4 a(n+1) - a(n). AUTHOR Emanuele Munarini (emanuele.munarini(AT)polimi.it), Apr 01 2008 So I tried PURRS http://www.cs.unipr.it/purrs/ PURRS Demo Results Exact solution for x(n) = -x(6+n)+4*x(5+n)-10*x(3+n)+4*x(1+n) for the initial conditions x(0) = 1 x(1) = 2 x(2) = 9 x(3) = 26 x(4) = 84 x(5) = 250 x(n) = -(-1)^n*n-2/5*(3/2+1/2*sqrt(5))^n+9/5*(-1)^n+4/5*(3/2+1/2*sqrt(5))^n*sqrt(5)-4/5 *(3/2-1/2*sqrt(5))^n*sqrt(5)-2/5*(3/2-1/2*sqrt(5))^n for each n >= 0 Then I have defined sequence in PARI using close formula generated by PURRS (21:16) gp > a(n)=-(-1)^n*n-2/5*(3/2+1/2*sqrt(5))^n+9/5*(-1)^n+4/5*(3/2+1/2*sqrt(5))^n*sqrt(5)-4/5 *(3/2-1/2*sqrt(5))^n*sqrt(5)-2/5*(3/2-1/2*sqrt(5))^n But it doesn't even give initial conditions ... ? (21:16) gp > a(0) %5 = 1.000000000000000000000000000 (21:16) gp > a(1) %6 = 2.000000000000000000000000000 (21:17) gp > a(3) %7 = 26.00000000000000000000000000 (21:17) gp > a(4) %8 = 63.00000000000000000000000000 (21:17) gp > a(5) %9 = 174.0000000000000000000000000 (21:19) gp > a(6) %10 = 443.0000000000000000000000000 Did I make a mistake in above or ... ? Ciao, Regards, Alex

3 5