- Make some tests more stringent and meaningful.

- replaced dumb consistency check by a rigorous one.

added a section about error handling

- Pearu Peterson's patch for class function giving them better support
  for external scripting languages.

- Cleanups: My evil plot of making ex::bp private may finally be carried
  out, provided one changes all the is_of_type(obj,type) to is_a<type>(obj)
  which we don't do right now because it would degrade performance on
  gcc-2.95.x.  Also, ex_to_type(obj) has gone for good now, we have been
  having ex_to<type>(obj) long enough.  ex_to_nonconst_type(obj) have gone
  as well, since they are almost never used and one can always cast aways
  the constness explicitly if need should arise.

updated my_print2(): every find*() method of archive_node accepts an "index"
parameter

- carried on with felonious plot about making ex::bp private.

- Fix the evalf(2^Pi) bug reported by Pearu.

- carried on with felonious plot about making ex::bp private.

- removed manual basepointer-fiddling in construct-on-first-use objects
  in favor of ex_to<foo>(obj) functions.  This is part of an evil plot
  I have to remove all of these and eventually make ex::bp a private thing.
  (Incidentally these changes compile to slightly better code.  Dunno why.)

- adjust.

- config.{guess,sub} updated from FSF.
- NEWS: finalization.

- doc update: motivate use of .expand() in basic::series().

behavior when expanding (x-x_0)^-n is more reasonable

- added a check for small log expansions.

- remove some explicit accesses to ex::bp by replacing with ex_to<>().
- log_series(): check if the argument expands simply to Order(x^foo) and
  if so expand somewhat further in order not to produce rubbish like
  log(Order(x)^(-1)... and such.

fixed a little const-ness problem

- added comment about more recent terminology involving eta(x,y).

trivial change just to see whether a mail is being sent to ginac-cvs

- catch up on changes.

- Remove the -ansi compiler switch in the example since it doesn't
  play well with lex.
- Added a passing reference to autogen.sh for brave people who are running
  from CVS.

- ginac-config.1: removed (duplicate).

- Updated to the optimized version.  This allows us to
  a) add more tests for consistency
  b) actually believe the result of the timings because they were
     irreproducible before (due to different branches taken by different
     representations, which happens because eariler tests account for
     low timings by iterating an unknown number of times thus producing
     different hashvalues for symbols in later calculations.)

- added another minor shortcut.

- added an optional algorithm-switch to lsolve().
  Ayeee, this breaks the interface again!

- minor shortcut.

should work with readline 4.1 again

- increased compatibility with RedHat's readline-4.2-1 package

- ex_to<foo>(obj) is a good candidate for asserting is_a<foo>(obj).

- use initializers in exception class pole_error.

- fixed a very stupid ancient error (older than v0.4.0).

- minor ISO cleanup.

- pseries::power_const(): check for integer-exponent invariant.
- mul::series(): remove some bloat.

- adjust for 0.9.2, close open bugreports.

- NEWS: prepare for landing.
- acinclude.m4: <stdlib.h> is evil.

updated for new behaviour of dirac_slash() and epsilon tensor

documentation update

- fixed example of evalf-function.

fixed potential crash in power:(l)degree() when used with non-integer
exponents

exit() is in stdlib.h

- configure.in: bumped up version.
- config.{guess,sub}: updated from FSF.

- fixed three little standard-conformance issues.

epsilon tensor contractions evaluate to metric tensors instead of deltas,
which is more general

- moved is_of_type and friend macros into utils.h so they can be phased
  out in one of the next releases.
- rewrote the foo_evalf() functions without TYPECHECK macros.  (Since they
  were not flexible enough and some functions need more flexibility than
  can be provided by such macros.  They are evil anyways.)
- marked the TYPECHECK macros as evil^H^H^H^Hdeprecated.
- implemented a more flexible scheme for some foo_evalf() functions, notably
  zeta(3.0) eval's to a float now while zeta(3) doesn't eval, just as is
  usual for all the trigonometric functions.
- this day is very hot.

- updated semantics of pseries truncation to reflect current version
  (since we must not break this one).

- (a+b)*gamma5 was incorrectly rewritten as -gamma5*(a+b)

- Move several comments into doxygen comment blocks.

- 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