February 2011 - GiNaC-devel

Creating non-commutative symbols
by Jan 19 Feb '11

19 Feb '11

Hi Alexei, would you accept this patch to make creation of non-commutative symbols easier? Problem: The GiNaC info documentation claims: "Both symbols and user-defined functions can be specified as being non-commutative" Currently this is only possible by defining a new subclass of symbol and overloading return_type(). Solution: Added unsigned rtype to class symbol Overloaded return_type() Modified constructors (including realsymbol and possymbol), printing and archiving accordingly ------------ Now my next question is (after applying the above patch) whether there is a bug in ncmul::eval(). I created this test program #include <ginac/ginac.h> using namespace GiNaC; int main() { symbol M1("M1", "M1", return_types::noncommutative); symbol x("x"), y("y"); matrix M2(2,2); M2 = x, 0, y, 0; symbol M3("M3", "M3", return_types::noncommutative); ex nc; nc = M1 * M2; // Produces a mul !! nc = M1 * M1; // Produces a ncmul nc = M1 * M3; // Produces a ncmul nc = nc.subs(M1 == M2); // Produces a mul !! } As you can see, the assignment sometimes creates a mul when a ncmul should be created. Best regards, Jan

3 6

Non-commutative symbols
by Jan 12 Feb '11

12 Feb '11

Hi, the GiNaC info documentation claims: Both symbols and user-defined functions can be specified as being non-commutative. I couldn't figure out how to create a non-commutative symbol, though, except by defining a new subclass of symbol and overloading return_type() Any hints? Thanks, Jan

1 0

release
by Jens Vollinga 04 Feb '11

04 Feb '11

Hi, looks like I could do a 1.5.9 release this weekend. Any objections? Regards, Jens

3 15

[SCM] GiNaC -- a C++ library for symbolic computations branch, master, updated. release_1-4-0-335-g286b0d9
by git＠ginac.de 04 Feb '11

04 Feb '11

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 286b0d93528e35957a50c51343e0b4a9bc623bce (commit) via dba1a17a6c04b32d55972e5d57f96b2489e1b627 (commit) via 5ac42bdaa20f48de408f12db671d4e69ac9987da (commit) via 5375260fd145e474246b7a3cce0fc2e667bd4ec8 (commit) via f9a14723ef80c4f38b814556fb16084e2b64d426 (commit) via 9725d3eb08b404af3898037e8b6585dc5e5960da (commit) via c5be6a0d868b7fbf2bf51ed3ee2d2f50d3574b99 (commit) via 59fa68b8930779dfc419291d028b57b0d91d33d0 (commit) via eccdca0011fc44bc14cfcb7ffd82dbcb653e19a5 (commit) via 4bce949dac6328bc9fcfcd3f875fd422055745f4 (commit) via 01bc98316ce188dfdd7b239933cf2a70f2fd630e (commit) via ba4faacc518d900ca84a03811ebc5cb957141d30 (commit) via 4e100d18fa168f13f17d2b272e2e750748112995 (commit) via ec57359e970338a6bbc3043c91af7e5bcfb0c8fa (commit) via b134e8fa1b93b24c0f5916c96090f016d8a7c9d7 (commit) via 6e732baec20112b44eb0ed53a2833567bfa8749e (commit) via d41f7533018d9f9444c98466432e4d84deedaa04 (commit) via 1d73fed17debbc88819dc7f84a4a2e608d8eb978 (commit) via 052f124551d2b78104b0de2008db6b8819713625 (commit) via c40c54f17b68f79ee42833adb3364970385e2caa (commit) via 89d5356b4aa33cb4481575f9453f36c3404b015b (commit) via 90ad10b58d02365a407b2d84d8b93e50030feaa5 (commit) via db47e259edabbed2b8eb2fa1e4ed93588c26e304 (commit) via cc94094751459129e1392a93dfa0264adac789a5 (commit) via d71be995fcb751b52145eb0e50467d15fea541cb (commit) via 5d6d2c3ff6afd13933203f984a818dbfc76db3a1 (commit) via 87ed87c395d6121fe468efc68ee2cd33a7e91200 (commit) via 37506ee54aa46203736d657c6e8a64e695303b64 (commit) via bfbe8f9475f0391f1fae8263bc37eeff813ea1f7 (commit) via f7b1fb1fd4f8e3f653a09d02ea1e4c489f04f8af (commit) via c84dc83799cec33b71126e624cd914125d8d2a43 (commit) via 5fb83676210401cc08fae91831514bac44502209 (commit) via 9c2ce1cc26735e268aae8142d9e5dbc5a9ba8ca3 (commit) via edf1ae46a926d0a718063c149b78c1b9a7ec2043 (commit) via 6201dc3c6562e0b8c174129af382fd5745de048f (commit) via c13d5e0ed2ce6223bc6c4340bb00daf2e24ea923 (commit) via f28f24cf1228f0fa9cb0889d87a3f4039587ff92 (commit) via a7c70c1f9e0b906a8b95bffb04bc1266eb59f39d (commit) via 05f749ac2abb672f8e0a1cef938ea1e83e1255dc (commit) via 511764215de1756329e88c2628a4fd36e8277195 (commit) via 406f9f2022af2bcc55eea6dac7a5c5a500046f29 (commit) via c48424be67d8c6b05b0e040acd49b3e904acf6f9 (commit) via f30ea8e711499ac166c4cd54357a4bc6f5e7264c (commit) via cb390522ea713a08a43799fbc1884fb7ad480784 (commit) via eff5558e5d0c6dcc70883962ed3a72a1cc6ad03b (commit) via c28e61da33905ddc69abf893aaffec98aa30d053 (commit) via 630e59f66af9fcebb56a442f3aef433b0cc1c0e0 (commit) via ce67a917331907288c6702b05e191722f4f0441b (commit) via 352547eac1ff77d754870b3b8299899089edc24b (commit) via 71118ab007969a09872193641469318c9dc4fbcc (commit) via dbf7b53572f05c8b803748b781e3ce0fc2be62ab (commit) via 55c9e750f7d9dd94e7cb15ae43752da9a402973a (commit) via 05aa307b632d8dabdf5aff96d1a0f57d94836a69 (commit) via c7299e51d5ecf61b5d85bdfeb9a2db536abf18bb (commit) via e710763e51b6fe11020bac880c44f426544471c2 (commit) via 71e1de972fd7f37d560427bffbb0f36215788d31 (commit) via 9fb17531da05d2959decc3856d03c71c0220b116 (commit) via 43d36593b9588b938a42a98f823c36c9f1ded088 (commit) via f2f67dde5c9caca69137da2178118407f27639ef (commit) via 7a2ac48810afb303e1580afb6266876dda3c5da0 (commit) via 3f1026f0540e4e7ab86656389d09c2152269e6cf (commit) via ab8da4fe0687969d124c2c3b3e6ce62a63376a0a (commit) via dd19b7316b6eba5c49b6a4fb3503c504ec6c866a (commit) via 7f4a4ce46d799ba888b118dfdc8945c92a6c6d6f (commit) via 4ddeb4c2a625a069d71b510aab3ae53138670470 (commit) via 99c7ff6b72691f2eff30f94934d65d1ba7136ff9 (commit) via 554722426543a6e1445ead11167107a69fd21af9 (commit) via aa1afbbdb118846cfc266a1d7a8d5188ac214e0e (commit) via 14aeeca161c7cc2d145b0778ac234341068efef1 (commit) via 5252d38313c423465b9bc37b0618cb8de96d0d4e (commit) via 7a092f6f6256bac2e5b7c35222fe7e18ca980401 (commit) via f059ebe117d15292e0d262e6e8e232e835c7e33c (commit) via 8bf0597dde55e4c94a2ff39f1d8130902e3d7a9b (commit) via eaf81b3115697a8e883848ace0ceb919cf443b2c (commit) via eb192338b3abd1252523a013a4f924ee38b10039 (commit) via 44f71c740cc727dc30436e240b9a27021a6d7fdf (commit) via 5fc9d1ab7fa870e78070bf412a28bfcf497c05b9 (commit) via 6130b911feb5c516b00081b867fb0aef487f212a (commit) via 55d4f0ebf2f99840c24c1e2ba823fbb7722d41bd (commit) via 4847adb5b4143c9ad9aff29d212a1656e59f02c1 (commit) via e738c6c7260642160bb48c1f0b8d2655f183b2c5 (commit) via 1d0ab629c691c48e6aa6c291a052f27b726b26ff (commit) via 7e145335f2d185c7e07044be5a758bb8f0f71e29 (commit) via 0256e2fe48a0ecce79c37ac209620ca852b7f11a (commit) via 75b1f2213aa6dc0e563b8ad6202522a5f40cb5be (commit) from c0fcba137d26486085ed5d4104b34d2c44978693 (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 286b0d93528e35957a50c51343e0b4a9bc623bce Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Feb 4 08:59:28 2011 +0100 Extend copyright to 2011. commit dba1a17a6c04b32d55972e5d57f96b2489e1b627 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Feb 4 00:20:48 2011 +0100 Fix compilation with clang. This resolves some depending names that GCC generously accepts. commit 5ac42bdaa20f48de408f12db671d4e69ac9987da Merge: 5375260fd145e474246b7a3cce0fc2e667bd4ec8 f9a14723ef80c4f38b814556fb16084e2b64d426 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Fri Feb 4 00:14:00 2011 +0100 Don't try to tie the library version to the package version number. Merge branch 'master' of git://github.com/AlexeiSheplyakov/GiNaC.tmp commit 5375260fd145e474246b7a3cce0fc2e667bd4ec8 Merge: c0fcba137d26486085ed5d4104b34d2c44978693 4bce949dac6328bc9fcfcd3f875fd422055745f4 Author: Richard Kreckel <kreckel(a)ginac.de> Date: Thu Feb 3 23:48:21 2011 +0100 Merge branch 'master.msvc.support' of git://github.com/AlexeiSheplyakov/GiNaC * 'master.msvc.support' of git://github.com/AlexeiSheplyakov/GiNaC: Omit extra qualification (as in struct foo f() vs foo f()). [msvc] msvc cannot handle string constants above 16k [msvc] Yet another compiler bug work around. [msvc] Work around strange scoping and name mangling rules. Add few defines for msvc (__func__, __alignof__). symmetry::compare_same_type(): const-correctness fix clifford: fix a few GCCisms (or, not). commit f9a14723ef80c4f38b814556fb16084e2b64d426 Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Fri Dec 10 19:06:17 2010 +0200 Don't try to tie the library version to the package version number. Use curret:release:age to indicate ABI changes instead. Hard-code LT_RELEASE to 1.5 to avoid spurious SONAME change (current code is binary-compatible with GiNaC 1.5.8). commit 9725d3eb08b404af3898037e8b6585dc5e5960da Merge: c0fcba137d26486085ed5d4104b34d2c44978693 c5be6a0d868b7fbf2bf51ed3ee2d2f50d3574b99 Author: Alexei Sheplyakov <Alexei.Sheplyakov(a)gmail.com> Date: Fri Dec 10 18:34:22 2010 +0200 Merge branch 'ginac_1-5' of git://www.ginac.de/ginac commit 4bce949dac6328bc9fcfcd3f875fd422055745f4 Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Sun Sep 26 12:23:01 2010 +0000 Omit extra qualification (as in struct foo f() vs foo f()). According to the Standard extra qualification like this struct foo; struct foo f(); is valid. However msvc does not accept such a code. So let's omit extra qualification, as in struct foo; foo f(); (it's still valid C++) to make msvc happy. commit 01bc98316ce188dfdd7b239933cf2a70f2fd630e Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Mon Sep 20 13:39:15 2010 +0000 [msvc] msvc cannot handle string constants above 16k So let's split them. commit ba4faacc518d900ca84a03811ebc5cb957141d30 Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Mon Sep 20 12:29:20 2010 +0000 [msvc] Yet another compiler bug work around. msvc does not include the exprseq::info() method, giving unresolved symbols when linking. Apparently adding a dummy function "fixes" the problem. commit 4e100d18fa168f13f17d2b272e2e750748112995 Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Mon Sep 20 12:23:14 2010 +0000 [msvc] Work around strange scoping and name mangling rules. 1. msvc creates different symbols for a variable declared in a namespace scope and (the same variable) in a class method scope. That is, // util.cpp namespace GiNaC { extern const ex _ex0; // [1] } // ex.h namespace GiNaC { class ex { public: bool is_zero() { extern const ex _ex0; // mangled name of _ex0 is different that of [1] } }; } 2. The mangled names for cv-qualified and cv-unqualified versions of a type are different (which violates the requirements stated in [basic.type.qualifier]) These msvc's "features" cause linking failures due to unresolved external symbols. Solution: 1. Declare variables (_ex0) in the GiNaC namespace scope (for msvc only). 2. Add corresponding cv-qualifier(s). commit ec57359e970338a6bbc3043c91af7e5bcfb0c8fa Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Mon Sep 20 11:23:03 2010 +0000 Add few defines for msvc (__func__, __alignof__). msvc does not provide the __func__ macro (which is required by C99, btw). Also it has __alignof instead of __alignof__. commit b134e8fa1b93b24c0f5916c96090f016d8a7c9d7 Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Mon Sep 20 11:16:47 2010 +0000 symmetry::compare_same_type(): const-correctness fix The method in question is const, therefore one should use const_iterator to access indices. Some compilers (for instance, msvc) are very strict about this, and won't accept (invalid) code using non-const iterator. commit 6e732baec20112b44eb0ed53a2833567bfa8749e Author: Jan Rheinländer <jrheinlaender(a)gmx.de> Date: Mon Sep 20 11:12:10 2010 +0000 clifford: fix a few GCCisms (or, not). Some compilers (in particular, msvc) choke on `or' and `not'. Use standard ! and || instead. ----------------------------------------------------------------------- Summary of changes: NEWS | 49 +++++++++++++++++++++++++++++ check/bugme_chinrem_gcd.cpp | 2 +- check/check_inifcns.cpp | 2 +- check/check_lsolve.cpp | 2 +- check/check_matrices.cpp | 2 +- check/check_numeric.cpp | 2 +- check/error_report.h | 2 +- check/exam_archive.cpp | 2 +- check/exam_clifford.cpp | 2 +- check/exam_color.cpp | 2 +- check/exam_cra.cpp | 2 +- check/exam_differentiation.cpp | 2 +- check/exam_factor.cpp | 2 +- check/exam_hashmap.cpp | 2 +- check/exam_indexed.cpp | 2 +- check/exam_inifcns.cpp | 2 +- check/exam_inifcns_nstdsums.cpp | 2 +- check/exam_inifcns_nstdsums.h | 2 +- check/exam_lsolve.cpp | 2 +- check/exam_matrices.cpp | 2 +- check/exam_misc.cpp | 2 +- check/exam_mod_gcd.cpp | 2 +- check/exam_normalization.cpp | 2 +- check/exam_numeric.cpp | 2 +- check/exam_paranoia.cpp | 2 +- check/exam_polygcd.cpp | 2 +- check/exam_powerlaws.cpp | 2 +- check/exam_pseries.cpp | 2 +- check/exam_structure.cpp | 2 +- check/genex.cpp | 2 +- check/heur_gcd_bug.cpp | 2 +- check/match_bug.cpp | 2 +- check/mul_eval_memleak.cpp | 2 +- check/numeric_archive.cpp | 2 +- check/parser_bugs.cpp | 2 +- check/parser_memleak.cpp | 2 +- check/randomize_serials.cpp | 2 +- check/test_runner.h | 2 +- check/time_antipode.cpp | 2 +- check/time_dennyfliegner.cpp | 2 +- check/time_fateman_expand.cpp | 2 +- check/time_gammaseries.cpp | 2 +- check/time_hashmap.cpp | 2 +- check/time_lw_A.cpp | 2 +- check/time_lw_B.cpp | 2 +- check/time_lw_C.cpp | 2 +- check/time_lw_D.cpp | 2 +- check/time_lw_E.cpp | 2 +- check/time_lw_F.cpp | 2 +- check/time_lw_G.cpp | 2 +- check/time_lw_H.cpp | 2 +- check/time_lw_IJKL.cpp | 2 +- check/time_lw_M1.cpp | 2 +- check/time_lw_M2.cpp | 2 +- check/time_lw_N.cpp | 2 +- check/time_lw_O.cpp | 2 +- check/time_lw_P.cpp | 2 +- check/time_lw_Pprime.cpp | 2 +- check/time_lw_Q.cpp | 2 +- check/time_lw_Qprime.cpp | 2 +- check/time_parser.cpp | 2 +- check/time_toeplitz.cpp | 2 +- check/time_uvar_gcd.cpp | 37 ++++++++++++++-------- check/time_vandermonde.cpp | 2 +- check/timer.cpp | 2 +- check/timer.h | 2 +- configure.ac | 27 +++++++++------- doc/tutorial/ginac.texi | 6 ++-- ginac/add.cpp | 2 +- ginac/add.h | 2 +- ginac/archive.cpp | 2 +- ginac/archive.h | 2 +- ginac/assertion.h | 2 +- ginac/basic.cpp | 2 +- ginac/basic.h | 2 +- ginac/class_info.h | 2 +- ginac/clifford.cpp | 8 ++-- ginac/clifford.h | 2 +- ginac/color.cpp | 2 +- ginac/color.h | 2 +- ginac/compiler.h | 7 +++- ginac/constant.cpp | 2 +- ginac/constant.h | 2 +- ginac/container.h | 44 +++++++++++++------------- ginac/ex.cpp | 2 +- ginac/ex.h | 14 +++++++- ginac/excompiler.cpp | 2 +- ginac/excompiler.h | 2 +- ginac/expair.cpp | 2 +- ginac/expair.h | 2 +- ginac/expairseq.cpp | 2 +- ginac/expairseq.h | 2 +- ginac/exprseq.cpp | 8 ++++- ginac/exprseq.h | 2 +- ginac/factor.cpp | 2 +- ginac/factor.h | 2 +- ginac/fail.cpp | 2 +- ginac/fail.h | 2 +- ginac/fderivative.cpp | 2 +- ginac/fderivative.h | 2 +- ginac/flags.h | 2 +- ginac/function.pl | 6 ++-- ginac/ginac.h | 2 +- ginac/hash_map.h | 2 +- ginac/idx.cpp | 2 +- ginac/idx.h | 2 +- ginac/indexed.cpp | 2 +- ginac/indexed.h | 2 +- ginac/inifcns.cpp | 2 +- ginac/inifcns.h | 2 +- ginac/inifcns_gamma.cpp | 2 +- ginac/inifcns_nstdsums.cpp | 2 +- ginac/inifcns_trans.cpp | 2 +- ginac/integral.cpp | 2 +- ginac/integral.h | 2 +- ginac/lst.cpp | 2 +- ginac/lst.h | 2 +- ginac/matrix.cpp | 2 +- ginac/matrix.h | 2 +- ginac/mul.cpp | 2 +- ginac/mul.h | 2 +- ginac/ncmul.cpp | 2 +- ginac/ncmul.h | 2 +- ginac/normal.cpp | 2 +- ginac/normal.h | 2 +- ginac/numeric.cpp | 2 +- ginac/numeric.h | 2 +- ginac/operators.cpp | 2 +- ginac/operators.h | 2 +- ginac/parser/debug.h | 2 +- ginac/parser/lexer.cpp | 2 +- ginac/parser/lexer.h | 2 +- ginac/parser/parse_binop_rhs.cpp | 4 +- ginac/parser/parse_context.cpp | 2 +- ginac/parser/parse_context.h | 2 +- ginac/parser/parser.cpp | 5 +-- ginac/parser/parser.h | 2 +- ginac/parser/parser_compat.cpp | 2 +- ginac/polynomial/chinrem_gcd.cpp | 2 +- ginac/polynomial/chinrem_gcd.h | 2 +- ginac/polynomial/collect_vargs.cpp | 4 +- ginac/polynomial/collect_vargs.h | 2 +- ginac/polynomial/cra_garner.cpp | 2 +- ginac/polynomial/cra_garner.h | 2 +- ginac/polynomial/debug.h | 2 +- ginac/polynomial/divide_in_z_p.cpp | 2 +- ginac/polynomial/divide_in_z_p.h | 2 +- ginac/polynomial/euclid_gcd_wrap.h | 2 +- ginac/polynomial/eval_point_finder.h | 2 +- ginac/polynomial/eval_uvar.h | 2 +- ginac/polynomial/gcd_euclid.h | 2 +- ginac/polynomial/gcd_uvar.cpp | 2 +- ginac/polynomial/heur_gcd_uvar.h | 2 +- ginac/polynomial/interpolate_padic_uvar.h | 2 +- ginac/polynomial/mgcd.cpp | 2 +- ginac/polynomial/mod_gcd.cpp | 2 +- ginac/polynomial/mod_gcd.h | 2 +- ginac/polynomial/newton_interpolate.h | 2 +- ginac/polynomial/normalize.h | 2 +- ginac/polynomial/optimal_vars_finder.cpp | 2 +- ginac/polynomial/optimal_vars_finder.h | 2 +- ginac/polynomial/pgcd.cpp | 2 +- ginac/polynomial/pgcd.h | 2 +- ginac/polynomial/poly_cra.h | 2 +- ginac/polynomial/prem_uvar.h | 2 +- ginac/polynomial/primes_factory.h | 2 +- ginac/polynomial/primpart_content.cpp | 2 +- ginac/polynomial/remainder.h | 2 +- ginac/polynomial/ring_traits.h | 2 +- ginac/polynomial/smod_helpers.h | 2 +- ginac/polynomial/sr_gcd_uvar.h | 2 +- ginac/polynomial/upoly.h | 2 +- ginac/polynomial/upoly_io.cpp | 2 +- ginac/polynomial/upoly_io.h | 2 +- ginac/power.cpp | 2 +- ginac/power.h | 2 +- ginac/print.cpp | 2 +- ginac/print.h | 2 +- ginac/pseries.cpp | 2 +- ginac/pseries.h | 2 +- ginac/ptr.h | 2 +- ginac/registrar.cpp | 2 +- ginac/registrar.h | 2 +- ginac/relational.cpp | 2 +- ginac/relational.h | 2 +- ginac/remember.cpp | 2 +- ginac/remember.h | 2 +- ginac/structure.h | 6 ++-- ginac/symbol.cpp | 2 +- ginac/symbol.h | 2 +- ginac/symmetry.cpp | 4 +- ginac/symmetry.h | 2 +- ginac/tensor.cpp | 2 +- ginac/tensor.h | 2 +- ginac/tostring.h | 2 +- ginac/utils.cpp | 2 +- ginac/utils.h | 2 +- ginac/wildcard.cpp | 2 +- ginac/wildcard.h | 2 +- ginsh/ginsh.1.in | 2 +- ginsh/ginsh.h | 2 +- ginsh/ginsh_extensions.h | 2 +- ginsh/ginsh_lexer.ll | 2 +- ginsh/ginsh_parser.yy | 4 +- tools/viewgar.1.in | 2 +- tools/viewgar.cpp | 2 +- 206 files changed, 348 insertions(+), 265 deletions(-) mode change 100755 => 100644 doc/tutorial/mdate-sh hooks/post-receive -- GiNaC -- a C++ library for symbolic computations

1 0