under certain conditions, power::expand_add_2() could produce non-canonical
numeric expairs (see exam_paranoia15())

added a check for the power::expand_add_2() bug

documentation update

input parser no longer ignores extra stuff at the end of accepted input

- added print_latex() and print_csrc()
- updated the man page

reverted last change: function_index_* ist not necessarily in namespace GiNaC
(only for predefined GiNaC functions)

* irem(), iquo(): throw an exception, when second argument vanishes.

added missing namespace qualification in is_ex_the_function() macro

* numeric::print(): increase precision for C source output.

* Finalize version 1.0.11.

documentation update

* Fix citation.

* Fix comment.

* Fix CLN output of a-2.  (Chris Dams)

re-enabled the assignment operator of class symbol

fixed possible memory corruption in index contraction

* Fix broken C output.  (Chris Dams)

* Fix CLN output of -2*a-2*b.  (Chris Dams)

implemented the case in pseries::derivative() where s!=var

documentation update

updated the autogen.sh script

* AUTHORS: Add Chris Dams as contributor of patches.
* NEWS, configure.ac, debian/changelog: Finalize for version 1.0.10.

added a check for that canonicalize() bug

documentation update

canonicalize() failed to return zero for an antisymmetric combination of two
or more equal elements if the elements were already in their canonical order

physical momenta are 4-dimensional (just to prove that we can do this now :-)

metric tensors now silently replace their indices' dimensions with their
minimum instead of complaining about mismatching dimensions

- The dimension of indices is now treated as a kind of "effective" dimension
  with respect to contractions; this allows for a limited support of subspaces,
  e.g. delta.i[2].j[2] * a.i[3] -> a.j[2] by simplify_indexed(), and
  delta.i[2].i[3] -> 2. Likewise, eta~mu[3]~nu[3] * eta.mu[4].nu[4] -> 3 etc.
  (The numbers in brackets are the index dimensions which are not visible
  in the output.)
  Symbolic ("N", "D", ...) dimensions are always assumed to be higher than
  numeric ones.
- eps0123 is gone, dirac_trace() generates ordinary epsilon tensors with
  4-dimensional indices.

- added idx::replace_dim() and idx::minimal_dim()
- indices no longer need to be of the same dimension to be recognized as
  dummy indices, but they must be comparable (to determine their minimum)
(Nein, Markus, das ist noch nicht das mit den vierdimensionalen Tensoren)

the input parser now handles (simple) indexed objects; the indices to be used
have to be specified in the same list as the symbols

documentation update

moved some common code to the 'tensor' class

powers of indexed objects are now parenthesized correctly in LaTeX output

clifford and color objects are not contracted if their representation labels
are different

* Insert date and bump patchlevel.

documentation update

fixed a crash when constructing expressions like (dirac_ONE()+dirac_gamma5())*dirac_gamma5()*dirac_gamma5()

implemented relational::subs()

documentation update

added an additional dummy index symmetrization run over sums in
simplify_indexed(), to find possible cancellations

fixed a bug in the raising/lowering of dummy indices and extended it to work
on single indexed objects also

simplify_indexed() raises/lowers dummy indices to canonicalize their variance
as far as possible

mentioned the imaginary unit 'I'

reactivated an epsilon-tensor simplification hack because of a user request

it is now enforced that indices of a metric tensor are of the same dimension

* Bump timestamps and version numbers.

* mul::expand(): Fix bug in aggressive version of expansion of two sums
  and enable it.

* Clean up the output of all timings to stderr.

* mul::expand() (mul.cpp): When multiplying two sums, be careful not to
  allocate too much.

* expairseq::combine_same_terms_sorted_seq() (expairseq.cpp): make this
  ugh, ohhh, ahh, more... legible.  ;-)

* Bump up version, keep INTERFACE_AGE at zero.
  (Yeah sure, it's early.  But this way we don't forget it.)

* (time_fateman_expand.cpp): new file.
* (Makefile.am): compile it.
* (times.h, times.cpp): declare and call it.

* expairseq::expairseq(const epvector&, const ex& oc) (expairseq.cpp):
  check assertion: GINAC_ASSERT(is_a<numeric>(oc)).
* expairseq::expairseq(epvector*, const ex& oc) (expairseq.cpp): Likewise.
* expair_rest_is_less (expair.h): New functor...
* expairseq::canonicalize() (expairseq.cpp): ...used here.

* power::expand_add(): allocate the precise amount needed for representing
  the result.  And some minor readability cleanups...

* Don't push void to static Bernoulli vector, it breaks with GCC-3.1.

inlined ex::swap() and provided versions of iter_swap() for ex and expair
objects to make the STL sorting algorithms a little more efficient

* Add namespace declarators to is_ex_the_function().

* Update dates, touch, and all this...

* Bump version (early, but I don't want to forget to set INTERFACE_AGE
  to zero.)

* matrix:;pow(): Fix exponent==0 case.
* matrix::print(): Implement print_latex.
* Add unit_matrix(unsigend) and unit_matrix(unsigned,unsigned).

updated the description of degree()/ldegree()

fixed LaTeX output of indexed objects

documentation update

* Insert date.

Prepare for release 1.0.6:
* ginac.m4: quote AM_PATH_GINAC (recommended by Roberto Bagnara).
* configure.ac, debian/changelog: bump up version.
* doc/tutorial/ginac.tex: touch?

"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"

fixed typos in examples

added some checks for subs() behavior

documentation update

added check for consistency of numeric input/output routines

* Bump up versions to 1.0.5, adjust dates.

* Add Roberto Bagnara.

* numeric::print(): Treat imaginary numbers correctly.

- (l)degree(s), coeff(s, n) and collect(s) were extended to accept expressions
  of any class (except add/mul/ncmul/numeric) for "s". They should even work
  if "s" is a "power" object, as long as the exponent is non-integer, but with
  some limitations. For example, you can "collect(a*2^x+b*2^x, 2^x)" to get
  "(a+b)*2^x", but "degree(2^(3*x), 2^x)" yields 0 instead of 3).

* Finilize version 1.0.4 (version numbers, copyrights and such rubbish).

* mul::expand(): Considerable speedup through caching in nested loop.

* bernoulli(): Add Markus Nullmeier's new implementation.
* numeric::numeric({int,unsigned}): Really construct CLN immediates.

* Enable EXTRACT_ALL for LaTeX.

* Docu: elaborate definition of sqrfree() (by Roberto Bagnara)

* Updated.

* Updated.

* Faster Bernoulli numbers (Markus Nullmeier).

* GINAC_CHECK_ERRORS: Don't delete cache_file /dev/null (by Roberto Bagnara).

* Document the rounding behavior as dicussed on ginac-list.

* Adjust for 1.0.3.

* Fix thinkos in print_csrc context.
  (Cebix: read the implementations of ex::compare() and basic::compare()!!!)

fixed a bug where quo() would call vector::reserve() with a negative argument

added check for quo() bug

documentation update

* Packaging update.

* Remove check for empty seq in Python output.

* Old and future changes: relativity at work...

* Huh, huh...

* Added output-support for Python bindings and LaTeX printing for
  indexed objects (Pearu Peterson).
* relational.*: Removed superfluous is_equal_same_type()...
* inifcns_trans.cpp: ...added extern declaration as workaround for
  compiler-bug triggered by changes to relational.*,
* input_parser.yy: added missing namespace specification.

* Added some long-pending docu.

- input parser recognizes "sqrt()", which is also used in the output
- divide(a,b,q) only modifies q if the division succeeds; also, divide(a,b,a)
  works now
- fixed small bug in dummy index renaming which could cause it to not
  recognize renamable indices in some cases
- power::degree() and power::ldegree() throw an exception when encountering
  a non-integer exponent

* Bump version number.

* Add Pearu's patch canonicalizing class relational, augmented by missing
  logic in compare_same_type().

* Minor cleanups to avoid copying of symbols and stuff like that.

readline versions like "4.735beta5-pl2" should now be correctly recognized