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()

- added symmetrize() and antisymmetrize() functions
- generalized permutation_sign() template
- moved shaker_sort() template to utils.h

- renamed ncpower() to ncpow()
- canonicalize_clifford() uses to_rational() now
- minor cleanups

mentioned ncpow()

fixed typos

added description of wildcards

- removed debugging code in match()
- added ex::match(const ex & pattern) which doesn't take a list as second
  argument
- expairseq::subs() substitutes in recombined pairs when the pattern is a
  product or a power; this is necessary for things like subs(2*x^2,x^2==3)
  because the first expression is mul(<x,2>,2) and only substituting in the
  "rest" part of the expair is not enough

added section "Pattern matching and advanced substitutions" which covers
match(), has() and subs()

added wildcard and spinormetric classes to check

- fix LaTeX-output bug reported by Stefan, remove obsolete has(matrix,ex).

- first implementation of pattern matching

- Clifford traces of many gammas are a lot faster now (especially with gamma5)
- new simplifications for color classes:
    d.abc T.b T.c = 5/6 T.a
    f.abc T.b T.c = 3/2 I T.a
- added indexed::has_dummy_index_for() member function

- mentioned dummy index renaming
- Clifford and color class description slightly updated

updated for changes in Clifford/color classes

replaced "precedence" static member variable by virtual precedence() function

- adjust preprocessor Cint-checks to the actual situation.

- dummy index renamer didn't account for internal dummy indices of objects
  in products; a~mu.mu-a~nu.nu gets simplified to 0 now
- made a little more use of STL facilities for exvectors, especially in the
  indexed stuff; append_exvector_to_exvector() and index_set_difference() are
  gone and utils.h defines the functors ex_is_less and ex_is_equal

added one more check

documentation update

- simplify_indexed() renames dummy indices so, e.g., "a.i*a.i+a.j*a.j" gets
  simplified to "2*a.i*a.i" (or 2*a.j*a.j, you can't know which one)
- fixed possible crash when calling subs() on expressions with non-commutative
  products
- added canonicalize_clifford()

corrected typo

added checks for dummy index renaming and canonicalize_clifford()

documentation update

- Missed to #include "config.h" for HAVE_SSTREAM.

fixed bug in mul::print with print_csrc

- Fix thinko in csgn_eval().

- Indentation Fix.

- added patch contributors, added remark to mailing lists.

- forgot to close #97136.

- applied `dch -i'.

- Renamed our detected libreadline version in order to avoid conflicts
  with Chat Rameys (still broken) macros and future CPP definitions in
  libreadline's headers.  Oh what a pain in the ass!

- dirac_trace() takes an optional third argument: the expression to use for
  the trace of the unit matrix
- more conventional factor I in gamma5

dirac_trace() now takes three arguments

added missing factor I in gamma5 trace

- Added inclusion of <sstream> or <strstream> since <ginac/ginac.h> now
  does not do so any more.

* Zapped header dependency from <strstream>.

* comparison operators should return const relationals.

* node assignment was not returning *this.

- color and clifford classes are quite functional now
- new "spinidx" class for dotted/undotted indices
- predefined spinor metric tensor (created by spinor_metric())