June 2003 - PURRS-devel - BUGSENG Mailman

purrs/tests heap
by Tatiana Zolo 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-27 17:53:09 Modified files: tests : heap Log message: Added a recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/tests heap
by Tatiana Zolo 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-27 17:23:11 Modified files: tests : heap Log message: Added a recurrence. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/tests/heap.diff?cvsroot=pur…

1 0

purrs/src functional_equation.cc
by Tatiana Zolo 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-27 17:22:51 Modified files: src : functional_equation.cc Log message: Extended the function `is_non_decreasing_poly()' with the missing case of constant functions (e.g. log(2)). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/functional_equation.cc.…

1 0

purrs/src Expr.cc
by Tatiana Zolo 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-27 17:09:03 Modified files: src : Expr.cc Log message: Fixed a bug in the function `substitute_critical_ex()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

purrs/src factorize.cc
by Tatiana Zolo 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-27 16:13:40 Modified files: src : factorize.cc Log message: Substituted `is_rational_polynomial()' with `is_multivariate_polynomial()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/factorize.cc.diff?cvsro…

1 0

purrs/src util.cc
by Tatiana Zolo 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-27 16:12:27 Modified files: src : util.cc Log message: Fixed the call to the new method `Expr::is_rational_polynomial()'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/util.cc.diff?cvsroot=pu…

1 0

purrs/src Expr.defs.hh Expr.inlines.hh Expr.cc
by Tatiana Zolo 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: purrs Changes by: zolo(a)cs.unipr.it 2003-06-27 16:10:43 Modified files: src : Expr.defs.hh Expr.inlines.hh Expr.cc Log message: Implemented the new methods `Expr::is_rational_scalar_representation()' and `Expr::is_rational_polynomial()' and removed the old `Expr::is_rational_polynomial()' that only tested the GiNaC's flag `GiNaC::info_flags::rational_polynomial'. Moved the function `sqrfree()' from the file Expr.inlines.hh to Expr.cc: now, before to call `GiNaC::sqrfree' on a expression, every occurence of polynomial expressions for PURRS but not for GiNaC (e.g. log(2)) is substituted with an arbitrary symbol and, after the decomposition with `sqrfree', come back to the original expression. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.defs.hh.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.inlines.hh.diff?cv… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/purrs/src/Expr.cc.diff?cvsroot=pu…

1 0

w3purrs/htdocs details.raw
by Roberto Bagnara 27 Jun '03

27 Jun '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-06-27 09:59:02 Modified files: htdocs : details.raw Log message: The upper limit of sums and products can now be different from `n'. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c…

1 0

w3purrs/htdocs details.raw purrs.raw
by Enea Zaffanella 26 Jun '03

26 Jun '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: zaffanella(a)cs.unipr.it 2003-06-26 16:52:30 Modified files: htdocs : details.raw purrs.raw Log message: Explained what are the letters that can be used as parameters. Stressed that log computes natural logarithms. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/details.raw.diff?c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0

w3purrs/htdocs purrs.raw
by Roberto Bagnara 26 Jun '03

26 Jun '03

CVSROOT: /cvs/purrs Module name: w3purrs Changes by: roberto(a)cs.unipr.it 2003-06-26 16:24:15 Modified files: htdocs : purrs.raw Log message: Useless itemization removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/w3purrs/htdocs/purrs.raw.diff?cvs…

1 0