April 2002 - PURRS-devel - BUGSENG Mailman

print_latex
by Alessandro Zaccagnini 10 May '02

10 May '02

I have been using print_latex and I found that the following piece of code #include <iostream> #include <ginac/ginac.h> using namespace std; using namespace GiNaC; int main() { GiNaC::ex q; q = 2 * pow(6, numeric(1,3)); q.print(print_latex(std::cout)); } produces the output 2 6^{{(\frac{1}{3})}} which latex then typesets in the wrong way, since the space is lost. Putting a \cdot in place of the blank seems to fix the problem. Best wishes. Alessandro Zaccagnini Universita' di Parma

2 1

filib-CoStLy
by Tatiana Zolo 02 May '02

02 May '02

Dear Sirs, we understand your problem to preserve the Brouwer Fixed Point Theorem but we want explain to you our requirements. Our aim is to use your libraries about real and complex intervals also for our needs. Our applications are based on idea of sound approximation. Suppose we have two partially known real values a and b and we want to approximate their ratio. If a is approximated by the intervals I(a) and b by the interval I(b), we want to approximate the ratio I(a)/I(b). The semantic of ratio's operation in which we are interested is: if b is not zero then a/b is approximated by I(a)/I(b) (we specify that into our applications the condition 'if b is not zero' it is always guaranteed by others tools). If we have understood correctly the ratio's operation among intervals defined in your libraries, it throws an exception when I(b) contains zero. Emphasizing the fact that we would not like to develop another library for the manipulation of real and complex intervals, we would like to know how we can obtain what we are interested in from the behavior given by filib and CoStLy. In the case of the ratio, that is one of the simpler cases, we could split the interval I(b) in two parts: [inf I(b), 0) and (0, sup I(b)], but this would be possible only if filib and CoStLy support both closed and open intervals: this seems not to be possible with your libraries. We would like your advice: how would you suggest to achieve our goal? Do you think that we could easily obtain what we need from filib and CoStLy, or do you suggest to use another library? We are novices to the field of intervals and we need your expert opinion. Thank you very much in advance, Roberto Bagnara Alessandro Zaccagnini Tatiana Zolo

2 1

CVS Update: interval
by Roberto Bagnara 30 Apr '02

30 Apr '02

purrs-devel(a)cs.unipr.it CVSROOT: /cvs/filib++ Module name: interval Repository: interval/macro/lib/ Changes by: roberto(a)spartacus.cs.unipr.it.(none) 02/04/30 09:15:59 interval/macro/lib Update of /cvs/filib++/interval/macro/lib In directory spartacus.cs.unipr.it:/tmp/cvs-serv11294/macro/lib Log Message: Directory /cvs/filib++/interval/macro/lib added to the repository

1 0

purrs/m4 ac_check_gmp.m4
by Roberto Bagnara 20 Apr '02

20 Apr '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-04-20 07:05:20 Modified files: m4 : ac_check_gmp.m4 Log message: Fixed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/m4/ac_check_gmp.m4.diff?cvs…

1 0

purrs/CoStLy Makefile.am
by Roberto Bagnara 18 Apr '02

18 Apr '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-04-18 21:40:39 Added files: CoStLy : Makefile.am Log message: Put under CVS control. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/CoStLy/Makefile.am.diff?cvs…

1 0

purrs/src/Intervals Makefile.am
by Roberto Bagnara 18 Apr '02

18 Apr '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-04-18 09:46:36 Modified files: src/Intervals : Makefile.am Log message: Removed some old blurb. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Intervals/Makefile.am.d…

1 0

purrs/doc purrs.bib
by Roberto Bagnara 14 Apr '02

14 Apr '02

CVSROOT: /cvs/purrs Module name: purrs Changes by: roberto(a)cs.unipr.it 2002-04-14 20:23:15 Modified files: doc : purrs.bib Log message: Synchronized with the master copy in w3purrs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/doc/purrs.bib.diff?cvsroot=…

1 0

w3purrs/htdocs/Documentation purrs.bib
by Roberto Bagnara 14 Apr '02

14 Apr '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-04-14 20:22:47 Modified files: htdocs/Documentation: purrs.bib Log message: Immink84 added. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

w3purrs/htdocs/Documentation purrs.bib
by Roberto Bagnara 13 Apr '02

13 Apr '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-04-13 14:01:37 Modified files: htdocs/Documentation: purrs.bib Log message: Abbreviate first names. Fixed some capitalization bugs. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0

w3purrs/htdocs/Documentation purrs.bib
by Roberto Bagnara 13 Apr '02

13 Apr '02

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2002-04-13 13:41:18 Modified files: htdocs/Documentation: purrs.bib Log message: Updated with lots of new references. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/Documentation/purr…

1 0