ginac.git
18 years agofixed typos
Christian Bauer [Mon, 11 Jun 2001 23:46:44 +0000 (23:46 +0000)]
fixed typos

18 years agoadapted for new method of specifying symmetries
Christian Bauer [Mon, 11 Jun 2001 23:46:39 +0000 (23:46 +0000)]
adapted for new method of specifying symmetries

18 years agodocumentation update
Christian Bauer [Mon, 11 Jun 2001 23:46:15 +0000 (23:46 +0000)]
documentation update

18 years ago- added lst::remove_first() and lst::remove_last()
Christian Bauer [Sat, 9 Jun 2001 19:17:32 +0000 (19:17 +0000)]
- added lst::remove_first() and lst::remove_last()
- added symmetrize_cyclic()
- antisymmetrize() is slightly faster
- ensure_if_modifiable() clears the hash_calculated flag

18 years ago- Updated to reflect new version and split-off of ginaccint. release_0-9-0
Richard Kreckel [Thu, 7 Jun 2001 22:48:08 +0000 (22:48 +0000)]
- Updated to reflect new version and split-off of ginaccint.

18 years ago- don't recomment EGCS any more, it's crappy.
Richard Kreckel [Thu, 7 Jun 2001 22:27:59 +0000 (22:27 +0000)]
- don't recomment EGCS any more, it's crappy.

18 years ago- insert date.
Richard Kreckel [Thu, 7 Jun 2001 22:27:15 +0000 (22:27 +0000)]
- insert date.

18 years ago- some concept index tags.
Richard Kreckel [Thu, 7 Jun 2001 22:26:43 +0000 (22:26 +0000)]
- some concept index tags.

18 years ago- matrix::pow(): omit last big multiplication if it's not needed.
Richard Kreckel [Thu, 7 Jun 2001 22:26:16 +0000 (22:26 +0000)]
- matrix::pow(): omit last big multiplication if it's not needed.

18 years agobuilding DVI/PS in separate directory now works
Christian Bauer [Thu, 7 Jun 2001 22:02:15 +0000 (22:02 +0000)]
building DVI/PS in separate directory now works

18 years ago- maximum number of arguments for lists bumped to 16 (for making 4x4 matrices)
Christian Bauer [Thu, 7 Jun 2001 20:09:21 +0000 (20:09 +0000)]
- maximum number of arguments for lists bumped to 16 (for making 4x4 matrices)
- added non-const operator() for setting matrix elements

18 years agoadded section about matrices
Christian Bauer [Thu, 7 Jun 2001 20:07:54 +0000 (20:07 +0000)]
added section about matrices

18 years agousing () operator for setting matrix elements
Christian Bauer [Thu, 7 Jun 2001 20:07:44 +0000 (20:07 +0000)]
using () operator for setting matrix elements

18 years agodocumentation update
Christian Bauer [Thu, 7 Jun 2001 20:07:32 +0000 (20:07 +0000)]
documentation update

18 years ago- mentioned that powers of matrices are not automatically expanded
Christian Bauer [Wed, 6 Jun 2001 22:17:38 +0000 (22:17 +0000)]
- mentioned that powers of matrices are not automatically expanded
- fixed typos

18 years ago- Removed obsolete (even for Cint!) malloc_alloc template arguments.
Richard Kreckel [Wed, 6 Jun 2001 22:16:02 +0000 (22:16 +0000)]
- Removed obsolete (even for Cint!) malloc_alloc template arguments.

18 years ago- Removed cint subdir for good because the new separate package seems to
Richard Kreckel [Wed, 6 Jun 2001 22:15:21 +0000 (22:15 +0000)]
- Removed cint subdir for good because the new separate package seems to
  work properly now (after some longish argument with makecint).

18 years ago- config.*: updated from FSF.
Richard Kreckel [Wed, 6 Jun 2001 22:15:18 +0000 (22:15 +0000)]
- 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).

18 years ago- inserted a couple of missing namepace std:: resolutions.
Richard Kreckel [Tue, 5 Jun 2001 21:07:04 +0000 (21:07 +0000)]
- inserted a couple of missing namepace std:: resolutions.

18 years ago- document: collect's argument must be expanded.
Richard Kreckel [Tue, 5 Jun 2001 20:59:12 +0000 (20:59 +0000)]
- document: collect's argument must be expanded.

18 years ago- Small LaTeX output fixes as suggested by Stefan.
Richard Kreckel [Tue, 5 Jun 2001 15:26:35 +0000 (15:26 +0000)]
- Small LaTeX output fixes as suggested by Stefan.

18 years ago- fixed typos
Christian Bauer [Tue, 5 Jun 2001 15:18:29 +0000 (15:18 +0000)]
- fixed typos
- c*M^n with M being a matrix wasn't correctly evalm()'d for n!=1

18 years ago- ++version_major.
Richard Kreckel [Tue, 5 Jun 2001 13:55:01 +0000 (13:55 +0000)]
- ++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.

18 years ago- list delimiters are now { } and matrix delimiters are [ ]
Christian Bauer [Fri, 1 Jun 2001 22:50:33 +0000 (22:50 +0000)]
- list delimiters are now { } and matrix delimiters are [ ]
- added evalm() function

18 years ago- in the output, list delimiters are now { } and matrix delimiters are [ ]
Christian Bauer [Fri, 1 Jun 2001 22:50:00 +0000 (22:50 +0000)]
- 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()

18 years ago- list delimiters are now { }, matrix delimiters are now [ ]
Christian Bauer [Fri, 1 Jun 2001 22:47:03 +0000 (22:47 +0000)]
- list delimiters are now { }, matrix delimiters are now [ ]
- added an example for evalm()
- removed ncpow()

18 years agoadded test for evalm()
Christian Bauer [Fri, 1 Jun 2001 22:46:02 +0000 (22:46 +0000)]
added test for evalm()

18 years agodocumentation update
Christian Bauer [Fri, 1 Jun 2001 22:45:53 +0000 (22:45 +0000)]
documentation update

18 years ago- added numer_denom()
Christian Bauer [Fri, 1 Jun 2001 18:37:13 +0000 (18:37 +0000)]
- added numer_denom()
- minor cleanups

18 years ago- added numer_denom() to get numerator and denominator in one pass
Christian Bauer [Fri, 1 Jun 2001 18:37:00 +0000 (18:37 +0000)]
- added numer_denom() to get numerator and denominator in one pass
- symmetrize() and antisymmetrize() are available as ex methods
- minor cleanups

18 years ago- mentioned numer_denom()
Christian Bauer [Fri, 1 Jun 2001 18:36:10 +0000 (18:36 +0000)]
- mentioned numer_denom()
- symmetrize() and antisymmetrize() are available as ex methods

18 years agodocumentation update
Christian Bauer [Fri, 1 Jun 2001 18:35:32 +0000 (18:35 +0000)]
documentation update

18 years agodeterminant_algo::laplace sometimes had the sign wrong because of the change
Christian Bauer [Thu, 31 May 2001 17:14:25 +0000 (17:14 +0000)]
determinant_algo::laplace sometimes had the sign wrong because of the change
to permutation_sign()

18 years ago- permutation_sign() and shaker_sort() are no longer inlined
Christian Bauer [Wed, 30 May 2001 22:38:28 +0000 (22:38 +0000)]
- permutation_sign() and shaker_sort() are no longer inlined
- symmetrize() no longer limited to 32-bit integers

18 years ago- dirac_trace() is twice as fast
Christian Bauer [Mon, 28 May 2001 22:16:47 +0000 (22:16 +0000)]
- dirac_trace() is twice as fast
- permutation_sign() uses shaker sort
- shaker_sort() doesn't require less-than comparable iterators any more

18 years agodocumented symmetrize() and antisymmetrize()
Christian Bauer [Mon, 28 May 2001 22:15:05 +0000 (22:15 +0000)]
documented symmetrize() and antisymmetrize()

18 years ago- added symmetrize() and antisymmetrize() functions
Christian Bauer [Sun, 27 May 2001 19:53:13 +0000 (19:53 +0000)]
- added symmetrize() and antisymmetrize() functions
- generalized permutation_sign() template
- moved shaker_sort() template to utils.h

18 years ago- renamed ncpower() to ncpow()
Christian Bauer [Fri, 25 May 2001 22:32:48 +0000 (22:32 +0000)]
- renamed ncpower() to ncpow()
- canonicalize_clifford() uses to_rational() now
- minor cleanups

18 years agomentioned ncpow()
Christian Bauer [Fri, 25 May 2001 22:29:34 +0000 (22:29 +0000)]
mentioned ncpow()

18 years agofixed typos
Christian Bauer [Fri, 25 May 2001 21:12:03 +0000 (21:12 +0000)]
fixed typos

18 years agoadded description of wildcards
Christian Bauer [Fri, 25 May 2001 20:51:49 +0000 (20:51 +0000)]
added description of wildcards

18 years ago- removed debugging code in match()
Christian Bauer [Fri, 25 May 2001 20:51:35 +0000 (20:51 +0000)]
- 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

18 years agoadded section "Pattern matching and advanced substitutions" which covers
Christian Bauer [Fri, 25 May 2001 20:47:43 +0000 (20:47 +0000)]
added section "Pattern matching and advanced substitutions" which covers
match(), has() and subs()

18 years agoadded wildcard and spinormetric classes to check
Christian Bauer [Fri, 25 May 2001 20:47:15 +0000 (20:47 +0000)]
added wildcard and spinormetric classes to check

18 years ago- fix LaTeX-output bug reported by Stefan, remove obsolete has(matrix,ex).
Richard Kreckel [Thu, 24 May 2001 19:07:47 +0000 (19:07 +0000)]
- fix LaTeX-output bug reported by Stefan, remove obsolete has(matrix,ex).

18 years ago- first implementation of pattern matching
Christian Bauer [Thu, 24 May 2001 00:43:11 +0000 (00:43 +0000)]
- first implementation of pattern matching

18 years ago- Clifford traces of many gammas are a lot faster now (especially with gamma5)
Christian Bauer [Mon, 21 May 2001 22:49:16 +0000 (22:49 +0000)]
- 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

18 years ago- mentioned dummy index renaming
Christian Bauer [Mon, 21 May 2001 22:46:34 +0000 (22:46 +0000)]
- mentioned dummy index renaming
- Clifford and color class description slightly updated

18 years agoupdated for changes in Clifford/color classes
Christian Bauer [Mon, 21 May 2001 22:45:48 +0000 (22:45 +0000)]
updated for changes in Clifford/color classes

18 years agoreplaced "precedence" static member variable by virtual precedence() function
Christian Bauer [Sat, 19 May 2001 21:37:44 +0000 (21:37 +0000)]
replaced "precedence" static member variable by virtual precedence() function

18 years ago- adjust preprocessor Cint-checks to the actual situation.
Richard Kreckel [Sat, 19 May 2001 19:11:45 +0000 (19:11 +0000)]
- adjust preprocessor Cint-checks to the actual situation.

18 years ago- dummy index renamer didn't account for internal dummy indices of objects
Christian Bauer [Sat, 19 May 2001 00:42:07 +0000 (00:42 +0000)]
- 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

18 years agoadded one more check
Christian Bauer [Sat, 19 May 2001 00:39:55 +0000 (00:39 +0000)]
added one more check

18 years agodocumentation update
Christian Bauer [Sat, 19 May 2001 00:39:49 +0000 (00:39 +0000)]
documentation update

18 years ago- simplify_indexed() renames dummy indices so, e.g., "a.i*a.i+a.j*a.j" gets
Christian Bauer [Fri, 18 May 2001 00:53:07 +0000 (00:53 +0000)]
- 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()

18 years agocorrected typo
Christian Bauer [Fri, 18 May 2001 00:52:12 +0000 (00:52 +0000)]
corrected typo

18 years agoadded checks for dummy index renaming and canonicalize_clifford()
Christian Bauer [Fri, 18 May 2001 00:52:05 +0000 (00:52 +0000)]
added checks for dummy index renaming and canonicalize_clifford()

18 years agodocumentation update
Christian Bauer [Fri, 18 May 2001 00:51:50 +0000 (00:51 +0000)]
documentation update

18 years ago- Missed to #include "config.h" for HAVE_SSTREAM.
Richard Kreckel [Thu, 17 May 2001 20:35:36 +0000 (20:35 +0000)]
- Missed to #include "config.h" for HAVE_SSTREAM.

18 years agofixed bug in mul::print with print_csrc
Christian Bauer [Wed, 16 May 2001 20:04:51 +0000 (20:04 +0000)]
fixed bug in mul::print with print_csrc

18 years ago- Fix thinko in csgn_eval().
Richard Kreckel [Tue, 15 May 2001 23:26:41 +0000 (23:26 +0000)]
- Fix thinko in csgn_eval().

18 years ago- Indentation Fix.
Richard Kreckel [Tue, 15 May 2001 23:26:21 +0000 (23:26 +0000)]
- Indentation Fix.

18 years ago- added patch contributors, added remark to mailing lists. release_0-8-3
Richard Kreckel [Fri, 11 May 2001 23:15:55 +0000 (23:15 +0000)]
- added patch contributors, added remark to mailing lists.

18 years ago- forgot to close #97136.
Richard Kreckel [Fri, 11 May 2001 20:29:03 +0000 (20:29 +0000)]
- forgot to close #97136.

18 years ago- applied `dch -i'.
Richard Kreckel [Fri, 11 May 2001 19:43:49 +0000 (19:43 +0000)]
- applied `dch -i'.

18 years ago- Renamed our detected libreadline version in order to avoid conflicts
Richard Kreckel [Fri, 11 May 2001 19:43:31 +0000 (19:43 +0000)]
- 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!

18 years ago- dirac_trace() takes an optional third argument: the expression to use for
Christian Bauer [Fri, 11 May 2001 18:05:32 +0000 (18:05 +0000)]
- dirac_trace() takes an optional third argument: the expression to use for
  the trace of the unit matrix
- more conventional factor I in gamma5

18 years agodirac_trace() now takes three arguments
Christian Bauer [Fri, 11 May 2001 18:04:35 +0000 (18:04 +0000)]
dirac_trace() now takes three arguments

18 years agoadded missing factor I in gamma5 trace
Christian Bauer [Fri, 11 May 2001 18:04:24 +0000 (18:04 +0000)]
added missing factor I in gamma5 trace

18 years ago- Added inclusion of <sstream> or <strstream> since <ginac/ginac.h> now
Richard Kreckel [Fri, 11 May 2001 14:51:40 +0000 (14:51 +0000)]
- Added inclusion of <sstream> or <strstream> since <ginac/ginac.h> now
  does not do so any more.

18 years ago* Zapped header dependency from <strstream>.
Richard Kreckel [Fri, 11 May 2001 14:16:11 +0000 (14:16 +0000)]
* Zapped header dependency from <strstream>.

18 years ago* comparison operators should return const relationals.
Richard Kreckel [Fri, 11 May 2001 14:15:33 +0000 (14:15 +0000)]
* comparison operators should return const relationals.

18 years ago* node assignment was not returning *this.
Richard Kreckel [Fri, 11 May 2001 14:14:53 +0000 (14:14 +0000)]
* node assignment was not returning *this.

18 years ago- color and clifford classes are quite functional now
Christian Bauer [Thu, 10 May 2001 20:41:24 +0000 (20:41 +0000)]
- color and clifford classes are quite functional now
- new "spinidx" class for dotted/undotted indices
- predefined spinor metric tensor (created by spinor_metric())

18 years agoadded documentation for spinidx, spinor_metric() and noncommutative stuff
Christian Bauer [Thu, 10 May 2001 20:40:36 +0000 (20:40 +0000)]
added documentation for spinidx, spinor_metric() and noncommutative stuff

18 years agomore checks (more, MORE, BWAHAHHAAA!... uhm, ...) for noncommutative classes
Christian Bauer [Thu, 10 May 2001 20:40:16 +0000 (20:40 +0000)]
more checks (more, MORE, BWAHAHHAAA!... uhm, ...) for noncommutative classes

18 years agodocumentation update
Christian Bauer [Thu, 10 May 2001 20:39:07 +0000 (20:39 +0000)]
documentation update

18 years ago- Prepare for landing of 0.8.3.
Richard Kreckel [Thu, 10 May 2001 18:06:09 +0000 (18:06 +0000)]
- Prepare for landing of 0.8.3.

18 years ago- minor cleanup.
Richard Kreckel [Wed, 9 May 2001 23:36:16 +0000 (23:36 +0000)]
- minor cleanup.

18 years ago* Added new operator semantics.
Richard Kreckel [Tue, 8 May 2001 20:45:35 +0000 (20:45 +0000)]
* Added new operator semantics.

18 years ago* Added some messy exams for new operator semantics.
Richard Kreckel [Tue, 8 May 2001 20:44:58 +0000 (20:44 +0000)]
* Added some messy exams for new operator semantics.

18 years ago* All operators are now strictly following the semantics we all know from
Richard Kreckel [Tue, 8 May 2001 20:42:51 +0000 (20:42 +0000)]
* All operators are now strictly following the semantics we all know from
  C/C++.  I.e. e1+e2=42; is now impossible and other such stuff.  For all
  remaining errors (i.e. ++e1 = e1+1;) the compiler alone is to blame...

18 years ago- Remved obsolete remainders of preprocessor symbol NO_NAMESPACE_GINAC.
Richard Kreckel [Tue, 8 May 2001 00:34:44 +0000 (00:34 +0000)]
- Remved obsolete remainders of preprocessor symbol NO_NAMESPACE_GINAC.

18 years ago* Methods of class ex which do absolutely nothing than type dispatch should
Richard Kreckel [Mon, 7 May 2001 20:41:41 +0000 (20:41 +0000)]
* Methods of class ex which do absolutely nothing than type dispatch should
  be inlined for obvious reasons.

18 years ago* Updated Cint status.
Richard Kreckel [Mon, 7 May 2001 20:41:03 +0000 (20:41 +0000)]
* Updated Cint status.

18 years agoChanges needed for compilation with -DDO_GINAC_ASSERT:
Richard Kreckel [Sat, 5 May 2001 23:09:07 +0000 (23:09 +0000)]
Changes needed for compilation with -DDO_GINAC_ASSERT:
* basic.cpp: if needed, #include <typeinfo>,
* mul.h: mul::print() needed a default for 2nd arg.
Hey, Cebix, could you please have a look at the assertions of type
basis.return_type()==return_types::commutative in power.cpp ctors?
Watch out, though: they are not just bogus because of the rule
(x*y)^2 -> x^2*y^2 in power::eval().

18 years ago- symbols can have a LaTeX name, e.g. symbol s("s", "\\sigma");
Christian Bauer [Fri, 4 May 2001 23:55:36 +0000 (23:55 +0000)]
- symbols can have a LaTeX name, e.g. symbol s("s", "\\sigma");
- LaTeX output of indexed objects and tensors is much nicer
- simplify_indexed() can do arbitrary contractions in Dirac gamma strings
- constructing expressions like
    (x * dirac_ONE() + dirac_ONE()) * dirac_gamma(mu)
  resulted in an exception because mul::simplify_ncmul() wasn't implemented
  (maybe afrink didn't anticipate that an implementation would really be
  needed...)

18 years ago- more clifford checks
Christian Bauer [Fri, 4 May 2001 23:46:52 +0000 (23:46 +0000)]
- more clifford checks
- archive checks has a symbol with a LaTeX name

18 years agodocumentation and grammar updates
Christian Bauer [Fri, 4 May 2001 23:46:28 +0000 (23:46 +0000)]
documentation and grammar updates

18 years ago* add::coeff(): don't epvector::reserve() more terms than we'll actually
Richard Kreckel [Fri, 4 May 2001 23:29:42 +0000 (23:29 +0000)]
* add::coeff(): don't epvector::reserve() more terms than we'll actually
  need and don't epvector::push_back() all those _ex0()'s into coeffseq.

18 years ago* Fix incompatibilities with recent versions of libreadline by having
Richard Kreckel [Thu, 3 May 2001 23:50:51 +0000 (23:50 +0000)]
* Fix incompatibilities with recent versions of libreadline by having
  configure find out the version and then doing ugly things with #ifdef.

18 years ago* Fix incompatibilities with recent versions of libreadline by having
Richard Kreckel [Thu, 3 May 2001 23:50:48 +0000 (23:50 +0000)]
* Fix incompatibilities with recent versions of libreadline by having
  configure find out the version and then doing ugly things with #ifdef.
* config.*: updates from upstream.

18 years ago* Just for the record: this is what has been used for building.
Richard Kreckel [Sat, 28 Apr 2001 22:02:15 +0000 (22:02 +0000)]
* Just for the record: this is what has been used for building.

18 years ago- dirac_trace() handles arbitrary expressions (even unexpanded), including
Christian Bauer [Thu, 26 Apr 2001 19:36:07 +0000 (19:36 +0000)]
- dirac_trace() handles arbitrary expressions (even unexpanded), including
  gamma5
- implemented color_trace()
- eps0123() creates a 4-dimensional epsilon tensor without checking the
  indices (so they may be D-dimensional); this may become a different class
  soon, but for now all the implemented properties of the standard epsilon
  tensor also apply to eps0123

18 years agoadded more trace checks
Christian Bauer [Thu, 26 Apr 2001 19:33:22 +0000 (19:33 +0000)]
added more trace checks

18 years agodirac_trace() can handle arbitrary gamma strings without gamma5. The only
Christian Bauer [Wed, 25 Apr 2001 20:41:13 +0000 (20:41 +0000)]
dirac_trace() can handle arbitrary gamma strings without gamma5. The only
remaining unimplemented case is now Tr[gamma5 S_2n]

18 years agoadded more trace checks
Christian Bauer [Wed, 25 Apr 2001 20:40:35 +0000 (20:40 +0000)]
added more trace checks

18 years ago* Minor packaging fixes. release_0-8-2
Richard Kreckel [Tue, 24 Apr 2001 23:53:52 +0000 (23:53 +0000)]
* Minor packaging fixes.
* Pushing towards version 0.8.2-1.

18 years ago* Cint fix. It looks like the hacks are going to go away really soon,
Richard Kreckel [Tue, 24 Apr 2001 19:37:24 +0000 (19:37 +0000)]
* Cint fix.  It looks like the hacks are going to go away really soon,
  after some recent work by Masaharu.

18 years ago* Example: Don't confuse users with _ex0().
Richard Kreckel [Tue, 24 Apr 2001 19:35:39 +0000 (19:35 +0000)]
* Example: Don't confuse users with _ex0().