Faster archiving by adding a map from strings to idices in the atoms vector.

Fixed bug in taking real and imaginary part.

Make series expansion work with non-rational functions. Patch by Alexei.

Created pseries::evalm. Patch by Alexei.

Removed exits from numeric.cpp and use array indices instead of push_back.

Synced to ginac_1-3:
Fixed libreadline version detection [A.Sheplyakov]

Added a proof for our new simplification rule for powers.

* Fix typo in comment.

* Happy New Year(s)!

Fix bug in expansion of powers and improve automatic simplification.

Added an #include<cstdlib>.

Improvements to the code for the Lanczos method as discussed on ginac-devel
in December 2006.

Fixed bugs in S() (infinite loop) and H() (wrong results).

Bug fix for tensor::replace_contr_index().

Improved collecting for sparse multivariate polynomials.

Bug in numerical evaluation of multiple polylogs fixed.

Make eval do evalf if arguments of gamma or beta are floats.

Added some abses to the code for numerical integration.

* Update a bit.

Added numerical evaluation for the functions tgamma, lgamma and beta.

* Update.

* Avoid bad choice of main variable in heuristic gcd [Alexei Sheplyakov].

Alexeis patches for better handling of collect_common_factors.

make atan2 handle positive arguments better. We have pos. symbols nowadays.

small correction: turned some idx into IDX.

Asking a symbol whether it is positive now works.

Bugs w.r.t. raising/lowering dummy indices when doing simplify_indexed.

* Removed unused variable.

Made unarchiving algorithms order N instead of order N^2.

Made unarchiving algorithms order N instead of order N^2.

Fixing bug with respect to canonicalizing the variance of dummy indices in
the presence of a cyclic symmetry of indices.

Vladimirs improvements for the case that clifford objects take idxes without
variance.

Added two excompiler examples.

Documented compile_ex, link_ex, unlink_ex.

Compilation without intermediate .o file.

New examples for compile_ex and link_ex.

New interface and complete source.

Made also ncmuls rename dummy indices.

Vladimirs patch for removing the "anti-commuting" branches from Clifford
objects.

Support for exset and printing thereof.

Fixed warning on 64bit machines.

Fixed bug in reference generation for ps format.

Replaced GiNaC Group names by web address.

Updated developer listing.

Fixed generation of tutorial and reference in html/pdf/ps format [A.Sheplyakov].

Print -x as -x instead of -1.0*x when printing C-source.

Fixed bug submitted by Warren Weckesser.

Improved the comments explaining what the class ex does.

Compilation for GCC 4.2.

Patch from Alexei for enabling compilation on MinGW.

Bug in expand_dummy_sum is fixed.

Improved dummy index renaming.

Needed to call get_all_dummy_indices_safely more often.

Allow, optionally, indices to be substituted by things that are not indices.

Make it possible to print exmaps and exvectors.

Fixed bug in comparison of fderivatives.

Added calchash and compare_same_type for symmetries. Necessary for archiving.

Made class possymbol for positive symbols and documented it.

Possbility for positive symbols/numbers.

Allow for more general expressions for clifford metrics. Patch by Vladimir.

Patches by Vladimir.

Gave the pointer_to_member_to_map_functions more consistent names.

Added posibility to make map_functions out of members.

* Belated Happy New Year!

Added methods for taking real and imaginary parts.

* Prepare.

Fixed bug in ::match.

* Streamlining by Peter Eisentraut <petere@debian.org>.

* Sync to 1.3-branch.

Alexei Sheplyakovs patch for making collect_common_factors also work with
negative powers of common factors.

Made log(exp(Pi)) evaluate to Pi.

Fix bug in differentiation of a power.

Added .is_polynomial() method.

Vlamirs patch for automatically simplifying e.g., csgn(x)^3 -> csgn(x).

Make step(0)=1/2 again and remove step_power.

* Indentation vs. alignment.

step(x) returns an integer now.

Make step(0)=1 for greater consistency.

Add step function to GiNaCs built-in functions.

* Don't expand elements of a matrix multiplication.

Removed remark that symbols always commute.

Reviving return_type_tinfo-system.

Make new tinfo-system work on AMD64.

Fixed problems on 64-bit machines and introduced has_options::algebraic.

- Disabled three badly written checks that fail with the new tinfo mechanism.

- New tinfo mechanism
  (Remark: return_type_tinfo returns basic* now)
- Removed rtt from class symbol.

Allow for general expressions as index dimensions.

dirac_slash should give something with non-zero metric.

Fixed bug in substituion of clifford objects.

Fixed compile bug caused by "missing" config.h.

Improved algebraic substitutions.

Fixed example [A.Sheplyakov].

* Simplify bernoulli. The orginal was somewhat overoptimized.

* Fix bug in numeric construction when cl_value_len is large (for CLN 1.2).

* Fix signed/unsigned bug in bernoulli function.

Improvements w.r.t. automatic renaming of dummy indices.

Don't abort if cannot find minimal dimension of indices when trying use
scalar_products.

Added compile function.

New directory for GiNaC examples.

* Enclose sprod::print and sprod::eval in namespace GiNaC for GCC 4.1.
  [Sheplyakov Alexei]