October 2007 - PPL-devel - BUGSENG Mailman

ppl TODO
by Roberto Bagnara 04 Oct '07

04 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-04 21:30:25 Modified files: . : TODO Log message: Reorganized: some things will definitely not be ready for PPL 0.10. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.22…

1 0

Re: [PPL-devel] Questions about complexity in PPL
by Roberto Bagnara 04 Oct '07

04 Oct '07

Florent Bouchy wrote: >> In which application are you using the PPL? >> > I am trying to represent larger sets of real vectors, by combining PPL > with arithmetically-defined integer sets. I'm working on a paper with > Alain Finkel and Jerome Leroux, so I'll be able to give you some > feedback about this work in a few weeks if you wish. Yes, please! 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

1 0

[Fwd: Re: Questions about complexity in PPL]
by Roberto Bagnara 04 Oct '07

04 Oct '07

-------- Original Message -------- Subject: Re: Questions about complexity in PPL Date: Thu, 04 Oct 2007 18:03:37 +0200 From: Florent Bouchy <florent.bouchy(a)lsv.ens-cachan.fr> Organization: LSV - CNRS & ENS Cachan To: bagnara(a)cs.unipr.it References: <f8d1c6290708220920s3063e66eh21b8bf3a01b4a391(a)mail.gmail.com> <4704B468.30107(a)cs.unipr.it> <f8d1c6290710040515q2caaed95n31475b9c1556af50(a)mail.gmail.com> From: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Oct 4, 2007 11:37 AM Subject: Re: Questions about complexity in PPL To: Florent Bouchy <florent.bouchy(a)gmail.com> Cc: The Parma Polyhedra Library developers' list <ppl-devel(a)cs.unipr.it> >> first of all, thanks for PPL, which I am currently using in my PhD. >> > > We are glad you appreciate it. In which application are you using the PPL? > I am trying to represent larger sets of real vectors, by combining PPL with arithmetically-defined integer sets. I'm working on a paper with Alain Finkel and Jerome Leroux, so I'll be able to give you some feedback about this work in a few weeks if you wish. >> I would like to know the complexity of some operations in PPL : >> intersection, union, and difference of 2 sets, and the emptiness test >> of a set. >> Could you please give me a rough algorithmical complexity, or a >> reference to a paper/presentation detailing them ? >> > > We have just added a FAQ page to the PPL web site. > Please check if this answers your question. > If not, please do not hesitate to come back to us (this time > we will answer very quickly :-) Thanks for the FAQ, it does help me ! -- Florent Bouchy -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

w3ppl/htdocs FAQ.raw
by Patricia Hill 04 Oct '07

04 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: hill(a)cs.unipr.it 2007-10-04 16:00:47 Modified files: htdocs : FAQ.raw Log message: Added something for the grid domain. A few very minor changes nels elsewhere. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 04 Oct '07

04 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-04 14:50:56 Modified files: htdocs : FAQ.raw Log message: Clarified the point about mapping space dimensions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

Re: [PPL-devel] Questions about complexity in PPL
by Roberto Bagnara 04 Oct '07

04 Oct '07

Florent Bouchy wrote: > Hi, Dear Florent, please accept our apologies for the huge delay in answering your question. Your message arrived during the holidays and then... we simply forgot. Sorry about that. > first of all, thanks for PPL, which I am currently using in my PhD. We are glad you appreciate it. In which application are you using the PPL? > I would like to know the complexity of some operations in PPL : > intersection, union, and difference of 2 sets, and the emptiness test > of a set. > Could you please give me a rough algorithmical complexity, or a > reference to a paper/presentation detailing them ? We have just added a FAQ page to the PPL web site. Please check if this answers your question. If not, please do not hesitate to come back to us (this time we will answer very quickly :-) 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 2

ppl configure.ac
by Roberto Bagnara 04 Oct '07

04 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-04 12:09:58 Modified files: . : configure.ac Log message: Version number bumped. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 04 Oct '07

04 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-04 11:35:10 Modified files: htdocs : FAQ.raw Log message: Added the emptiness check to the list of operations that, in the worst-case, require the availability of generators. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0

w3ppl/htdocs news.raw ppl.raw
by Roberto Bagnara 04 Oct '07

04 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-04 10:57:44 Modified files: htdocs : news.raw ppl.raw Log message: New FAQ page advertised. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/news.raw.diff?cvsroo… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/ppl.raw.diff?cvsroot…

1 0

w3ppl/htdocs FAQ.raw
by Roberto Bagnara 04 Oct '07

04 Oct '07

CVSROOT: /cvs/ppl Module name: w3ppl Changes by: bagnara(a)cs.unipr.it 2007-10-04 10:52:30 Modified files: htdocs : FAQ.raw Log message: Link added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3ppl/htdocs/FAQ.raw.diff?cvsroot…

1 0