July 2013 - GiNaC-devel

Simplifying powers
by Vladimir V. Kisil 25 Sep '13

25 Sep '13

Dear All, The method power::eval() contains the following rules: // ^(*(...,x;c1),c2) -> *(^(*(...,x;1),c2),c1^c2) (c1, c2 numeric(), c1>0) // ^(*(...,x;c1),c2) -> *(^(*(...,x;-1),c2),(-c1)^c2) (c1, c2 numeric(), c1<0) Is there a good reason why c1 here shall be numeric? Cannot we simply check the positive/negative info flag for c1 for that simplification? Shall I prepare a patch for this? Currently we have: possymbol n("n"), m("m"); cout << "e=" << pow(pow(n,2),half) << endl; // -> n cout << "e=" << pow(pow(n*m,2),half) << endl; // -> sqrt(m^2*n^2) Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv(a)maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835

3 25

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-379-gbf0d265
by git＠ginac.de 08 Aug '13

08 Aug '13

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via bf0d26572edecc37d98aec715e14fbd71a8c0315 (commit) via 0289100f425e420da988a709cd52616b6d69d348 (commit) via a06a27122b0a9087e9c64743940016c7e0176ce2 (commit) via eded9cd9d5df793c1ea5a1f766eff261ded46bde (commit) via e0f0681b814fecff5523d21b4368ebbeecc330eb (commit) via f282e2b3a3873619006b6ffd3fa7fe65010c1299 (commit) via a2314765ecb37b89ce5ab0d5491e58b6ac550b73 (commit) from e5eeee53d814cedc12cd725e76b0eb87859cdd77 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit bf0d26572edecc37d98aec715e14fbd71a8c0315 Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Tue May 31 02:50:01 2011 +0300 [build] GiNaC can be built with CMake now. Known issues: * no make dist * no make install-pdf commit 0289100f425e420da988a709cd52616b6d69d348 Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Thu Feb 23 22:20:44 2012 +0200 [build] Move library version info into the version.h file. The point is to have this info easily available for both build systems. commit a06a27122b0a9087e9c64743940016c7e0176ce2 Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Tue Jan 10 08:48:29 2012 +0300 [build] Rewrite ginsh related sed scripts in python. This makes build scripts more portable and human readable. commit eded9cd9d5df793c1ea5a1f766eff261ded46bde Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Sun May 29 17:15:42 2011 +0300 [build] Move archive version info into version.h (for non autotools build). The canonical location for all version info is the ginac/version.h file now (so we can have two build systems without duplicating the version info in configure.ac and CMakeLists.txt). commit e0f0681b814fecff5523d21b4368ebbeecc330eb Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Sun May 29 16:27:49 2011 +0300 [build] Define package version number in version.h (for non autotools build). commit f282e2b3a3873619006b6ffd3fa7fe65010c1299 Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Sun May 29 16:18:39 2011 +0300 [build] include config.h conditionally to not break non-autotools build. commit a2314765ecb37b89ce5ab0d5491e58b6ac550b73 Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Sun May 29 15:26:37 2011 +0300 Convert function.pl into C++ (well, almost) source and header. The code is much more readable now, as it's (almost) plain C++ (except simple pythonic `preprocessor' instructions). As a side effect perl is no longer necessary for building GiNaC. ----------------------------------------------------------------------- Summary of changes: CMakeLists.txt | 177 +++++ INSTALL | 2 +- INSTALL.CMake | 64 ++ acinclude.m4 | 18 + check/CMakeLists.txt | 94 +++ cmake/modules/FindCLN.cmake | 118 ++++ cmake/modules/FindGiNaC.cmake | 157 +++++ cmake/modules/FindReadline.cmake | 49 ++ config.cmake.in | 5 + configure.ac | 61 +-- doc/CMakeLists.txt | 63 ++ doc/examples/CMakeLists.txt | 1 + doc/reference/CMakeLists.txt | 40 ++ doc/tutorial/CMakeLists.txt | 59 ++ doc/tutorial/version.texi.cmake | 2 + ginac.pc.cmake | 11 + ginac/CMakeLists.txt | 176 +++++ ginac/Makefile.am | 14 +- ginac/archive.cpp | 11 +- ginac/function.cppy | 827 ++++++++++++++++++++++ ginac/function.hppy | 277 ++++++++ ginac/function.pl | 1416 -------------------------------------- ginac/function.py | 35 + ginac/numeric.cpp | 2 + ginac/version.h | 92 +++ ginac/version.h.in | 43 -- ginsh/CMakeLists.txt | 66 ++ ginsh/Makefile.am | 10 +- ginsh/ginsh_fcn_help.py | 63 ++ ginsh/ginsh_fcn_help.sed | 33 - ginsh/ginsh_lexer.ll | 2 + ginsh/ginsh_op_help.py | 54 ++ ginsh/ginsh_op_help.sed | 18 - ginsh/ginsh_parser.yy | 11 +- scripts/yaptu.py | 93 +++ tools/CMakeLists.txt | 7 + 36 files changed, 2594 insertions(+), 1577 deletions(-) create mode 100644 CMakeLists.txt create mode 100644 INSTALL.CMake create mode 100644 check/CMakeLists.txt create mode 100644 cmake/modules/FindCLN.cmake create mode 100644 cmake/modules/FindGiNaC.cmake create mode 100644 cmake/modules/FindReadline.cmake create mode 100644 config.cmake.in create mode 100644 doc/CMakeLists.txt create mode 100644 doc/examples/CMakeLists.txt create mode 100644 doc/reference/CMakeLists.txt create mode 100644 doc/tutorial/CMakeLists.txt create mode 100644 doc/tutorial/version.texi.cmake create mode 100644 ginac.pc.cmake create mode 100644 ginac/CMakeLists.txt create mode 100644 ginac/function.cppy create mode 100644 ginac/function.hppy delete mode 100644 ginac/function.pl create mode 100755 ginac/function.py create mode 100644 ginac/version.h delete mode 100644 ginac/version.h.in create mode 100644 ginsh/CMakeLists.txt create mode 100755 ginsh/ginsh_fcn_help.py delete mode 100644 ginsh/ginsh_fcn_help.sed create mode 100755 ginsh/ginsh_op_help.py delete mode 100644 ginsh/ginsh_op_help.sed create mode 100644 scripts/yaptu.py create mode 100644 tools/CMakeLists.txt hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

2 2

More rules to mul::info()
by Vladimir V. Kisil 02 Aug '13

02 Aug '13

Dear All, Looking into flags (as Alexei suggested) I noticed, that GiNaC is not aware about a product of two negative entries to be positive. I am attaching a patch to amend this. Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv(a)maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835

2 1

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-389-g8bd8ced
by git＠ginac.de 31 Jul '13

31 Jul '13

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 8bd8cedd086aeaf08630d5357af37151e1d06d06 (commit) from 073bf40a73e419a3dbcb6dfa190947ce2cc3bdce (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 8bd8cedd086aeaf08630d5357af37151e1d06d06 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jul 31 21:33:44 2013 +0000 Fix build from git repository. To make automake aware of lex and yacc files, they must be renamed. ----------------------------------------------------------------------- Summary of changes: ginsh/CMakeLists.txt | 13 ++++++------- ginsh/Makefile.am | 7 ++++--- ginsh/{ginsh_lexer.ll => ginsh_lexer.lpp} | 4 ++-- ginsh/{ginsh_parser.yy => ginsh_parser.ypp} | 0 4 files changed, 12 insertions(+), 12 deletions(-) rename ginsh/{ginsh_lexer.ll => ginsh_lexer.lpp} (98%) rename ginsh/{ginsh_parser.yy => ginsh_parser.ypp} (100%) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-388-g073bf40
by git＠ginac.de 31 Jul '13

31 Jul '13

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via 073bf40a73e419a3dbcb6dfa190947ce2cc3bdce (commit) via 1c760f15dc031c29db4bb857e3d70980b55437dc (commit) via c19c2786ec3345720f0358a08bf8f781dcde0f02 (commit) from ca11a8c1471ae650f0124db5e9bf48cc04f9d8f0 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 073bf40a73e419a3dbcb6dfa190947ce2cc3bdce Author: Richard Kreckel <kreckel(a)ginac.de> Date: Wed Jul 31 20:42:16 2013 +0000 Add support for Texinfo-5.0. Recent versions of Texinfo complained about misplaced @subsection. Change them into @appendixsection. commit 1c760f15dc031c29db4bb857e3d70980b55437dc Author: Richard Kreckel <kreckel(a)ginac.de> Date: Tue Jul 30 18:19:49 2013 +0000 Shut up recent texinfo warning. It seems like dircategory has to come before the first node. commit c19c2786ec3345720f0358a08bf8f781dcde0f02 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Mon Jul 29 08:05:22 2013 +0000 Shut up recent automake warning. 'INCLUDES' was the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS'). ----------------------------------------------------------------------- Summary of changes: doc/examples/ginac-examples.texi | 7 ++++--- doc/tutorial/ginac.texi | 4 ++-- ginsh/Makefile.am | 2 +- 3 files changed, 7 insertions(+), 6 deletions(-) hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0

Log evaluation
by Vladimir V. Kisil 31 Jul '13

31 Jul '13

Dear All, I propose to add the evaluation rule log(p^a) -> a*log(p) if p>0 and a is real. The patch (including the respective check) is attached. Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv(a)maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835

1 0

Expand method in functions
by Vladimir V. Kisil 31 Jul '13

31 Jul '13

Dear All, So far we had pow(2,a+b).expand() -> pow(2,a)*pow(2,b), but exp(a+b).expand() -> exp(a+b). It will be also nice to have abs(a*b).expand() -> abs(a)*abs(b) and log(a*b).expand() -> log(a) + log(b) (for positive a and b, of course). Thus, I am proposing a patch for this. Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv(a)maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835

1 0

Some more evaluation rules for abs()
by Vladimir V. Kisil 31 Jul '13

31 Jul '13

Dear All, I have added some more evaluation rules for abs(). They evaluate absolute values of powers and exponents. Simple checks are added as well. The effect is like this: realsymbol a("a"), b("b"), x("x"), y("y"); cout << abs(exp(x+I*y)).eval() << endl; // before: -> abs(exp(x+I*y)) // now: -> exp(x) cout << abs(pow(x+I*y,a+I*b)).eval() << endl; // before: -> abs((x+I*y)^(I*b+a)) // now: -> abs(x+I*y)^a Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv(a)maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835

2 3

Re: [GiNaC-devel] Build issues (Was: Simplifying powers)
by Vladimir V. Kisil 31 Jul '13

31 Jul '13

Dear Alexei, >>>>> On Wed, 31 Jul 2013 11:24:51 +0300, Alexei Sheplyakov <alexei.sheplyakov(a)gmail.com> said: ASh> It looks like bison is missing (the configure script should ASh> have printed the corresponding warning). Could you please send ASh> your config.log file? Bison is present, as far as I can see. So, I am attaching the config.log and giving the output of autoreconf below. Best wishes, Vladimir -- Vladimir V. Kisil email: kisilv(a)maths.leeds.ac.uk www: http://www.maths.leeds.ac.uk/~kisilv/ Book: Geometry of Mobius Transformations http://www.worldscientific.com/worldscibooks/10.1142/p835 ================================================================= libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, `config'. libtoolize: copying file `config/ltmain.sh' libtoolize: putting macros in AC_CONFIG_MACRO_DIR, `m4'. libtoolize: copying file `m4/libtool.m4' libtoolize: copying file `m4/ltoptions.m4' libtoolize: copying file `m4/ltsugar.m4' libtoolize: copying file `m4/ltversion.m4' libtoolize: copying file `m4/lt~obsolete.m4' configure.ac:31: installing 'config/config.guess' configure.ac:31: installing 'config/config.sub' configure.ac:21: installing 'config/install-sh' configure.ac:21: installing 'config/missing' check/Makefile.am: installing 'config/depcomp' parallel-tests: installing 'config/test-driver' doc/examples/Makefile.am:8: installing 'config/texinfo.tex' doc/tutorial/Makefile.am:4: installing 'config/mdate-sh' ginsh/Makefile.am:7: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS') configure.ac: installing 'config/ylwrap'

1 0

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-385-gca11a8c
by git＠ginac.de 30 Jul '13

30 Jul '13

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "GiNaC -- a C++ library for symbolic computations". The branch, master has been updated via ca11a8c1471ae650f0124db5e9bf48cc04f9d8f0 (commit) via b23a2dfdcd478b00a11c6c2184fbe197a3ac5bfb (commit) from e45f9fca76b81e01ffa5edc417c29538fa05147b (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit ca11a8c1471ae650f0124db5e9bf48cc04f9d8f0 Author: Vladimir V. Kisil <kisilv(a)maths.leeds.ac.uk> Date: Sun Jul 28 23:25:01 2013 +0100 Add the case of c1=-1 and c2>0 to the rewriting rule of exponents: (x^c1)^c2 -> x^(c1 * c2) commit b23a2dfdcd478b00a11c6c2184fbe197a3ac5bfb Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Sun Jul 28 18:43:06 2013 +0300 [bugfix] factor_univariate(): handle polinomials over rationals (no segfaults any more). ----------------------------------------------------------------------- Summary of changes: check/CMakeLists.txt | 1 + check/Makefile.am | 4 ++++ check/exam_powerlaws.cpp | 6 +++--- check/factor_univariate_bug.cpp | 21 +++++++++++++++++++++ ginac/factor.cpp | 12 +++++++++++- ginac/power.cpp | 7 ++++--- 6 files changed, 44 insertions(+), 7 deletions(-) create mode 100644 check/factor_univariate_bug.cpp hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0