- fixed a problem where (p\-m*ONE)*(p\-m*ONE) would be automatically simplified
  to complete nonsense...

fixed bogus assertion

- power::eval(): for the case (b_n/b_d)^(e_n/e_d) we now check separately
  if we can compute numerator and denominator.  This allows us to eval
  (3/8)^(1/3) to 1/2*3^(1/3) instead of holding it.  For square roots this
  is still less clever than what MapleV does, but then again that system
  has the funny goof not to touch 8^(1/3) where we immediately eval() to
  plain 2; fun, fun, fun...
  Oh, and a little memory hole has been squished along the way, too.

- no, no, no, there is no such thing as is_of_type<T>(ex&)...

- epsilon*epsilon contractions work
- dirac_slash(a, D) now constructs a special kind of clifford object (printed
  as "a\") instead of creating a "a.symbol42*gamma~symbol42" product. This
  helps avoiding problems when doing something like
    ex prop = (dirac_slash(p, D) - m * dirac_ONE());
    ex I = prop * dirac_slash(l, D) * prop;
  where the same dummy index would be used for both p-slash in I. Now it's
  perfectly safe to do this. Dummy indices are only created when taking
  traces or contracting indices. A nice side-effect of this is that "a\*a\"
  immediately gets simplified to a^2.
- The "contraction of symmetric and antisymmetric objects is zero" rule
  in simplify_indexed() has been generalized. Now expressions like
  "epsilon.i.j.k*A.j*A.k" also get simplified to zero (what GiNaC does is
  to assert dummy index exchange symmetry).

Hm, what exactly changed here...?

documentation update

- in LaTeX context, fractions now print as \frac{n}{d}.

- rewrote binary scanning in matrix::pow(), stealing from CLN's expt_pos().

- comment: elaborate on matrix::pow().

- added Knuth as useful reference.

- dummy index renaming works better
- implemented contractions of epsilon tensors

added another map_function example

- added check for epsilon tensor contraction
- fixed typo

- removed this file.  it has become obsolete as of libtool-1.4.  removing
  the file may cause old versions of automake to fail, however.  please
  apply the patch at the end of libtool-1.4's README to automake if you
  encounter this problem (i.e. simply remove 'ltconfig' from the
  @libtoolize_files list).

- added historical note.

- insert class fderivative.

- fix typo.

- symmetrize eta(x,y).

- finalize.

- finalize.

- eta(x,y) was broken all along since ages: eta(I,I) for instance ought
  to return 0 but... that formula that reduces eta(x,y) to theta functions
  is basically to naive.

- finalize.

- minor cleanup

added print_tree-style output for symmetry objects

- added fderivative class to archive exam
- added slightly more complex symmetries to indexed exam

moved ToString() here from utils.h

- replaced the Derivative() function by a more resonable fderivative class;
  to see it in action, try "series(abs(x),x==0,3)" and "series(abs(x),x==y,3)"
  in ginsh with previous GiNaC releases and with this one
- add::eval() throws an exception when the first term is non-commutative and
  the overall_coeff is non-zero
- small fixes to print_tree output of indexed objects
- ncmul::expand() now actually does expand something like "(dirac_gamma(mu)+1)
  *dirac_gamma(nu)" correctly (but the change to add::eval() should make this
  a "can't happen" case)
- moved ToString() to tostring.h (fewer header dependencies)
- ALL YOUR "BASES CLASSES" ARE BELONG TO US

added note about the necessity of dirac_ONE()/color_ONE()

adjusted for the fact that "A + c" is now rejected by add::eval if A is
noncommutative and c is a numeric

- silly test

- Updated to libtool 1.4 from FSF.

- added ginsh_extensions.h to ginsh_SOURCES.

* Ctors of class numeric are not explicit any more.  All built-in callers for
  pseudofunctions are now templated and default to ex arguments which relaxes
  the need for explicit ctors.

fixed some -Wall stuff

added map()

some more comments and cleanups to mul::expand() and ncmul::expand()

- documented map(), find(), and new symmetry specifications for indexed objects
- added some ginsh examples for collect()

some cleanups

- added find() (like has(), but returns list of all occurrences)
- added lst::sort() and lst::unique()
- status_flags::expanded is only taken into account when no expand options
  are specified. This makes it possible to re-expand with other options.
- added expand_options::expand_function_args
- collect(foo, {}) doesn't crash any more
- introduced match_same_type() method which is slightly similar to
  is_equal_same_type() but doesn't check subexpressions. Fixed a number of
  match() bugs with this (e.g. a==b matched a!=b, and matrices with different
  dimensions but the same number of elements could match). Only container
  classes with additional member variables that have to be equal for a match
  need to implement match_same_type().

added a way to add more functions to ginsh in the file ginsh_extensions.h
(this is used by the xloops-variant of ginsh)

some cleanups

* shift stuff into CVS before I start breaking things.   :-)

removed a lot of superfluous const_cast<>()s

some sections where sums/products are constructed are slightly more efficient
(add(exvector)/mul(exvector) instead of +=/*=)

* Fix the other half of the test.

* Fix a bitch of a bug where 1<I (and all other relationals) returned true.
  This did not happen for the binary relational operators between numerics.
  Now the behaviour is more consistent (throwing exceptions when the difference
  becomes complex).
* Some regression tests were actually wrong in the light of this bug.  :-(

added decomp_rational()

- The default implementations of evalf(), diff(), normal() and expand() use
  map() where useful. This has the nice effect of having a more reasonable
  default behaviour for container functions (most of the evalfchildren() etc.
  stuff is gone).
- diff() works with non-commutative products (product rule) and no longer
  bails on indexed objects.
- added decomp_rational()
- added sqrfree_parfrac() which doesn't yet work in the general case and
  is unsupported

documentation update

- do something about the mad cast disease.

* fix strange indentation thingie.

fixed comments

bumped archive version because of new way of specifying symmetry for indexed
objects

* Remove some cruft.

* Supplement some (now deprecated) macros by inlined template functions:
  - ex_to_foobar(baz)  ->  ex_to<foobar>(baz).
* De-document is_of_type(obj, type) and document is_a<type>(obj).
* De-document ex_to_type(obj) and document ex_to<type>(obj) eliminating the
  need to declare one's one inline converters in the mystring example.

* Supplement some (now deprecated) macros by inlined template functions:
  - ex_to_foobar(baz)  ->  ex_to<foobar>(baz).

* Supplement some (now deprecated) macros by inlined template functions:
  - ex_to_foobar(baz)  ->  ex_to<foobar>(baz).
* Bump up minor version.

* Supplement some (now deprecated) macros by inlined template functions:
  - is_of_type(foo, type) -> is_a<type>(foo)
  - is_ex_of_type(foo, type) -> is_a<type>(foo)
  - is_exaclty_of_type(foo, type) -> is_exaclty_a<type>(foo)
  - is_ex_exaclty_of_type(foo, type) -> is_exaclty_a<type>(foo)

- Just because it's fun: make the test more general using a formula for
  the closed form of the result suggested by David B.

- Fix GCC 2.95.x brokenness.

- cruft removed.

introduced new class for constructing symmetry tree definitions

- Instead of just totally symmetric or antisymmetric, complex symmetries
  can now be defined for indexed objects. Symmetries are described by a
  tree of "symmetry" objects that is constructed with the sy_none(),
  sy_symm(), sy_anti() and sy_cycl() functions. The symmetry of a function
  with respect to its arguments can also be defined (this is currently
  only used for the Beta function).
- color_trace() and dirac_trace() can be applied to a more general class
  of expressions, e.g. using it on a relation will take the trace on both
  sides etc.
- Generalized map() to take a function object instead of a function pointer.
  This allows passing an arbitrary number of additional state to the
  function being called.
- The unarchiving functinos find_bool(), find_unsigned() and find_string()
  can take an additional "index" argument.

fixed typos

adapted for new method of specifying symmetries

documentation update

- added lst::remove_first() and lst::remove_last()
- added symmetrize_cyclic()
- antisymmetrize() is slightly faster
- ensure_if_modifiable() clears the hash_calculated flag

- Updated to reflect new version and split-off of ginaccint.

- don't recomment EGCS any more, it's crappy.

- insert date.

- some concept index tags.

- matrix::pow(): omit last big multiplication if it's not needed.

building DVI/PS in separate directory now works

- maximum number of arguments for lists bumped to 16 (for making 4x4 matrices)
- added non-const operator() for setting matrix elements

added section about matrices

using () operator for setting matrix elements

documentation update

- mentioned that powers of matrices are not automatically expanded
- fixed typos

- Removed obsolete (even for Cint!) malloc_alloc template arguments.

- Removed cint subdir for good because the new separate package seems to
  work properly now (after some longish argument with makecint).

- config.*: updated from FSF.
- Removed cint subdir for good because the new separate package seems to
  work properly now (after some longish argument with makecint).

- inserted a couple of missing namepace std:: resolutions.

- document: collect's argument must be expanded.

- Small LaTeX output fixes as suggested by Stefan.

- fixed typos
- c*M^n with M being a matrix wasn't correctly evalm()'d for n!=1

- ++version_major.
- added matrix::pow() to handle integer exponents with the least amount of
  multiplications possible and...
- ...added power::evalm() to actually use it.
- classhierarchy.fig: add class wildcard.
- some cleanups.

- list delimiters are now { } and matrix delimiters are [ ]
- added evalm() function

- in the output, list delimiters are now { } and matrix delimiters are [ ]
- added evalm() method for evaluating sums and products of matrices
- added map() method for applying a function to subexpressions
- power(noncommut, posint) automatically expands the product, removed ncpow()

- list delimiters are now { }, matrix delimiters are now [ ]
- added an example for evalm()
- removed ncpow()

added test for evalm()

documentation update

- added numer_denom()
- minor cleanups

- added numer_denom() to get numerator and denominator in one pass
- symmetrize() and antisymmetrize() are available as ex methods
- minor cleanups

- mentioned numer_denom()
- symmetrize() and antisymmetrize() are available as ex methods

documentation update

determinant_algo::laplace sometimes had the sign wrong because of the change
to permutation_sign()

- permutation_sign() and shaker_sort() are no longer inlined
- symmetrize() no longer limited to 32-bit integers

- dirac_trace() is twice as fast
- permutation_sign() uses shaker sort
- shaker_sort() doesn't require less-than comparable iterators any more

documented symmetrize() and antisymmetrize()