ginac.git
16 years agodocumentation update
Christian Bauer [Thu, 21 Nov 2002 20:48:44 +0000 (20:48 +0000)]
documentation update

16 years agofixed a bug in the dummy index symmetrization [Chris Dams]
Christian Bauer [Thu, 21 Nov 2002 19:22:39 +0000 (19:22 +0000)]
fixed a bug in the dummy index symmetrization [Chris Dams]

16 years ago- powers with negative exponents are printed as fractions in the LaTeX output
Christian Bauer [Thu, 21 Nov 2002 19:16:01 +0000 (19:16 +0000)]
- powers with negative exponents are printed as fractions in the LaTeX output
- fixed some source code formatting in clifford.cpp

16 years agodocumentation update
Christian Bauer [Thu, 21 Nov 2002 19:13:12 +0000 (19:13 +0000)]
documentation update

16 years ago- added Dirac gammaL and gammaR objects (chiral projectors)
Christian Bauer [Wed, 20 Nov 2002 20:35:06 +0000 (20:35 +0000)]
- added Dirac gammaL and gammaR objects (chiral projectors)
- fixed a typo in add.cpp

16 years agodocumentation update (Clifford algebra)
Christian Bauer [Wed, 20 Nov 2002 20:34:30 +0000 (20:34 +0000)]
documentation update (Clifford algebra)

16 years agodocumentation update
Christian Bauer [Wed, 20 Nov 2002 20:34:21 +0000 (20:34 +0000)]
documentation update

16 years agoimproved dummy index symmetrization in sums [Chris Dams]
Christian Bauer [Sun, 10 Nov 2002 19:52:00 +0000 (19:52 +0000)]
improved dummy index symmetrization in sums [Chris Dams]

16 years agodocumentation update
Christian Bauer [Sun, 10 Nov 2002 19:51:42 +0000 (19:51 +0000)]
documentation update

16 years agosmall change for Red Hat 8.0
Christian Bauer [Thu, 7 Nov 2002 22:14:38 +0000 (22:14 +0000)]
small change for Red Hat 8.0

16 years ago- removed an unused statement in tensor.cpp
Christian Bauer [Wed, 6 Nov 2002 20:10:39 +0000 (20:10 +0000)]
- removed an unused statement in tensor.cpp
- symbol names generated by GiNaC had an extra null byte at the end

16 years agodocumentation update
Christian Bauer [Wed, 6 Nov 2002 20:10:02 +0000 (20:10 +0000)]
documentation update

16 years agoepsilon tensor contractions didn't work with variance-less indices
Christian Bauer [Tue, 5 Nov 2002 17:43:35 +0000 (17:43 +0000)]
epsilon tensor contractions didn't work with variance-less indices

16 years agofixed a typo
Christian Bauer [Tue, 5 Nov 2002 17:43:14 +0000 (17:43 +0000)]
fixed a typo

16 years agoupdated for 1.0.12
Christian Bauer [Thu, 31 Oct 2002 18:24:00 +0000 (18:24 +0000)]
updated for 1.0.12

16 years agofinalize release 1.0.12 release_1-0-12
Christian Bauer [Wed, 30 Oct 2002 19:17:03 +0000 (19:17 +0000)]
finalize release 1.0.12

16 years agoadded the sprem() function
Christian Bauer [Tue, 29 Oct 2002 18:59:19 +0000 (18:59 +0000)]
added the sprem() function

16 years agoadded the sprem() function to normal.h, and fixed some documentation
Christian Bauer [Tue, 29 Oct 2002 18:59:14 +0000 (18:59 +0000)]
added the sprem() function to normal.h, and fixed some documentation

16 years agodocumentation update
Christian Bauer [Tue, 29 Oct 2002 18:58:47 +0000 (18:58 +0000)]
documentation update

16 years agofixed a problem in the LaTeX-output of negative fractions
Christian Bauer [Fri, 25 Oct 2002 18:42:29 +0000 (18:42 +0000)]
fixed a problem in the LaTeX-output of negative fractions

16 years agodocumentation update
Christian Bauer [Fri, 25 Oct 2002 18:42:19 +0000 (18:42 +0000)]
documentation update

16 years agoimproved the CLN C-source output (integers are printed as integers, and
Christian Bauer [Fri, 25 Oct 2002 18:16:09 +0000 (18:16 +0000)]
improved the CLN C-source output (integers are printed as integers, and
floating point numbers include the precision)

16 years agodocumentation update
Christian Bauer [Fri, 25 Oct 2002 18:15:58 +0000 (18:15 +0000)]
documentation update

16 years agofixed stupid typo
Christian Bauer [Thu, 24 Oct 2002 20:44:54 +0000 (20:44 +0000)]
fixed stupid typo

16 years agounder certain conditions, power::expand_add_2() could produce non-canonical
Christian Bauer [Thu, 24 Oct 2002 20:37:52 +0000 (20:37 +0000)]
under certain conditions, power::expand_add_2() could produce non-canonical
numeric expairs (see exam_paranoia15())

16 years agoadded a check for the power::expand_add_2() bug
Christian Bauer [Thu, 24 Oct 2002 20:37:19 +0000 (20:37 +0000)]
added a check for the power::expand_add_2() bug

16 years agodocumentation update
Christian Bauer [Thu, 24 Oct 2002 20:37:03 +0000 (20:37 +0000)]
documentation update

16 years agoinput parser no longer ignores extra stuff at the end of accepted input
Christian Bauer [Thu, 24 Oct 2002 18:14:19 +0000 (18:14 +0000)]
input parser no longer ignores extra stuff at the end of accepted input

17 years ago- added print_latex() and print_csrc()
Christian Bauer [Thu, 17 Oct 2002 18:34:38 +0000 (18:34 +0000)]
- added print_latex() and print_csrc()
- updated the man page

17 years agoreverted last change: function_index_* ist not necessarily in namespace GiNaC
Christian Bauer [Wed, 16 Oct 2002 19:06:28 +0000 (19:06 +0000)]
reverted last change: function_index_* ist not necessarily in namespace GiNaC
(only for predefined GiNaC functions)

17 years ago* irem(), iquo(): throw an exception, when second argument vanishes.
Richard Kreckel [Tue, 1 Oct 2002 20:10:00 +0000 (20:10 +0000)]
* irem(), iquo(): throw an exception, when second argument vanishes.

17 years agoadded missing namespace qualification in is_ex_the_function() macro
Christian Bauer [Sun, 29 Sep 2002 19:39:00 +0000 (19:39 +0000)]
added missing namespace qualification in is_ex_the_function() macro

17 years ago* numeric::print(): increase precision for C source output.
Richard Kreckel [Mon, 23 Sep 2002 19:45:56 +0000 (19:45 +0000)]
* numeric::print(): increase precision for C source output.

17 years ago* Finalize version 1.0.11. release_1-0-11
Richard Kreckel [Wed, 18 Sep 2002 20:01:50 +0000 (20:01 +0000)]
* Finalize version 1.0.11.

17 years agodocumentation update
Christian Bauer [Wed, 18 Sep 2002 18:30:09 +0000 (18:30 +0000)]
documentation update

17 years ago* Fix citation.
Richard Kreckel [Wed, 18 Sep 2002 17:10:52 +0000 (17:10 +0000)]
* Fix citation.

17 years ago* Fix comment.
Richard Kreckel [Wed, 18 Sep 2002 17:06:37 +0000 (17:06 +0000)]
* Fix comment.

17 years ago* Fix CLN output of a-2. (Chris Dams)
Richard Kreckel [Wed, 18 Sep 2002 17:05:59 +0000 (17:05 +0000)]
* Fix CLN output of a-2.  (Chris Dams)

17 years agore-enabled the assignment operator of class symbol
Christian Bauer [Sun, 15 Sep 2002 21:07:44 +0000 (21:07 +0000)]
re-enabled the assignment operator of class symbol

17 years agofixed possible memory corruption in index contraction
Christian Bauer [Thu, 5 Sep 2002 20:16:59 +0000 (20:16 +0000)]
fixed possible memory corruption in index contraction

17 years ago* Fix broken C output. (Chris Dams)
Richard Kreckel [Mon, 2 Sep 2002 20:42:56 +0000 (20:42 +0000)]
* Fix broken C output.  (Chris Dams)

17 years ago* Fix CLN output of -2*a-2*b. (Chris Dams)
Richard Kreckel [Tue, 27 Aug 2002 17:18:07 +0000 (17:18 +0000)]
* Fix CLN output of -2*a-2*b.  (Chris Dams)

17 years agoimplemented the case in pseries::derivative() where s!=var
Christian Bauer [Wed, 7 Aug 2002 21:47:18 +0000 (21:47 +0000)]
implemented the case in pseries::derivative() where s!=var

17 years agodocumentation update
Christian Bauer [Mon, 5 Aug 2002 18:27:18 +0000 (18:27 +0000)]
documentation update

17 years agoupdated the autogen.sh script
Christian Bauer [Sat, 3 Aug 2002 19:20:22 +0000 (19:20 +0000)]
updated the autogen.sh script

17 years ago* AUTHORS: Add Chris Dams as contributor of patches. release_1-0-10
Richard Kreckel [Wed, 24 Jul 2002 22:15:50 +0000 (22:15 +0000)]
* AUTHORS: Add Chris Dams as contributor of patches.
* NEWS, configure.ac, debian/changelog: Finalize for version 1.0.10.

17 years agoadded a check for that canonicalize() bug
Christian Bauer [Wed, 24 Jul 2002 20:18:33 +0000 (20:18 +0000)]
added a check for that canonicalize() bug

17 years agodocumentation update
Christian Bauer [Wed, 24 Jul 2002 19:59:27 +0000 (19:59 +0000)]
documentation update

17 years agocanonicalize() failed to return zero for an antisymmetric combination of two
Christian Bauer [Mon, 22 Jul 2002 20:32:49 +0000 (20:32 +0000)]
canonicalize() failed to return zero for an antisymmetric combination of two
or more equal elements if the elements were already in their canonical order

17 years agophysical momenta are 4-dimensional (just to prove that we can do this now :-)
Christian Bauer [Thu, 18 Jul 2002 21:57:29 +0000 (21:57 +0000)]
physical momenta are 4-dimensional (just to prove that we can do this now :-)

17 years agometric tensors now silently replace their indices' dimensions with their
Christian Bauer [Thu, 18 Jul 2002 21:56:10 +0000 (21:56 +0000)]
metric tensors now silently replace their indices' dimensions with their
minimum instead of complaining about mismatching dimensions

17 years ago- The dimension of indices is now treated as a kind of "effective" dimension
Christian Bauer [Thu, 18 Jul 2002 19:24:33 +0000 (19:24 +0000)]
- 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.

17 years ago- added idx::replace_dim() and idx::minimal_dim()
Christian Bauer [Mon, 15 Jul 2002 14:23:56 +0000 (14:23 +0000)]
- 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)

17 years agothe input parser now handles (simple) indexed objects; the indices to be used
Christian Bauer [Fri, 12 Jul 2002 18:08:49 +0000 (18:08 +0000)]
the input parser now handles (simple) indexed objects; the indices to be used
have to be specified in the same list as the symbols

17 years agodocumentation update
Christian Bauer [Fri, 12 Jul 2002 18:07:52 +0000 (18:07 +0000)]
documentation update

17 years agomoved some common code to the 'tensor' class
Christian Bauer [Mon, 8 Jul 2002 21:07:19 +0000 (21:07 +0000)]
moved some common code to the 'tensor' class

17 years agopowers of indexed objects are now parenthesized correctly in LaTeX output
Christian Bauer [Wed, 3 Jul 2002 18:19:57 +0000 (18:19 +0000)]
powers of indexed objects are now parenthesized correctly in LaTeX output

17 years agoclifford and color objects are not contracted if their representation labels
Christian Bauer [Tue, 25 Jun 2002 21:36:23 +0000 (21:36 +0000)]
clifford and color objects are not contracted if their representation labels
are different

17 years ago* Insert date and bump patchlevel. release_1-0-9
Richard Kreckel [Tue, 11 Jun 2002 21:47:19 +0000 (21:47 +0000)]
* Insert date and bump patchlevel.

17 years agodocumentation update
Christian Bauer [Tue, 11 Jun 2002 19:35:18 +0000 (19:35 +0000)]
documentation update

17 years agofixed a crash when constructing expressions like (dirac_ONE()+dirac_gamma5())*dirac_g...
Christian Bauer [Mon, 10 Jun 2002 21:30:50 +0000 (21:30 +0000)]
fixed a crash when constructing expressions like (dirac_ONE()+dirac_gamma5())*dirac_gamma5()*dirac_gamma5()

17 years agoimplemented relational::subs()
Christian Bauer [Mon, 27 May 2002 20:47:10 +0000 (20:47 +0000)]
implemented relational::subs()

17 years agodocumentation update
Christian Bauer [Mon, 27 May 2002 20:47:00 +0000 (20:47 +0000)]
documentation update

17 years agoadded an additional dummy index symmetrization run over sums in
Christian Bauer [Sat, 25 May 2002 18:39:43 +0000 (18:39 +0000)]
added an additional dummy index symmetrization run over sums in
simplify_indexed(), to find possible cancellations

17 years agofixed a bug in the raising/lowering of dummy indices and extended it to work
Christian Bauer [Fri, 24 May 2002 19:55:35 +0000 (19:55 +0000)]
fixed a bug in the raising/lowering of dummy indices and extended it to work
on single indexed objects also

17 years agosimplify_indexed() raises/lowers dummy indices to canonicalize their variance
Christian Bauer [Thu, 23 May 2002 04:15:15 +0000 (04:15 +0000)]
simplify_indexed() raises/lowers dummy indices to canonicalize their variance
as far as possible

17 years agomentioned the imaginary unit 'I'
Christian Bauer [Mon, 13 May 2002 20:21:57 +0000 (20:21 +0000)]
mentioned the imaginary unit 'I'

17 years agoreactivated an epsilon-tensor simplification hack because of a user request
Christian Bauer [Fri, 10 May 2002 19:02:41 +0000 (19:02 +0000)]
reactivated an epsilon-tensor simplification hack because of a user request

17 years agoit is now enforced that indices of a metric tensor are of the same dimension
Christian Bauer [Thu, 25 Apr 2002 19:13:58 +0000 (19:13 +0000)]
it is now enforced that indices of a metric tensor are of the same dimension

17 years ago* Bump timestamps and version numbers. release_1-0-8
Richard Kreckel [Sun, 31 Mar 2002 21:56:25 +0000 (21:56 +0000)]
* Bump timestamps and version numbers.

17 years ago* mul::expand(): Fix bug in aggressive version of expansion of two sums
Richard Kreckel [Thu, 28 Mar 2002 15:44:28 +0000 (15:44 +0000)]
* mul::expand(): Fix bug in aggressive version of expansion of two sums
  and enable it.

17 years ago* Clean up the output of all timings to stderr.
Richard Kreckel [Thu, 28 Mar 2002 15:38:29 +0000 (15:38 +0000)]
* Clean up the output of all timings to stderr.

17 years ago* mul::expand() (mul.cpp): When multiplying two sums, be careful not to
Richard Kreckel [Thu, 28 Mar 2002 01:14:02 +0000 (01:14 +0000)]
* mul::expand() (mul.cpp): When multiplying two sums, be careful not to
  allocate too much.

17 years ago* expairseq::combine_same_terms_sorted_seq() (expairseq.cpp): make this
Richard Kreckel [Thu, 28 Mar 2002 00:27:14 +0000 (00:27 +0000)]
* expairseq::combine_same_terms_sorted_seq() (expairseq.cpp): make this
  ugh, ohhh, ahh, more... legible.  ;-)

17 years ago* Bump up version, keep INTERFACE_AGE at zero.
Richard Kreckel [Thu, 28 Mar 2002 00:16:26 +0000 (00:16 +0000)]
* Bump up version, keep INTERFACE_AGE at zero.
  (Yeah sure, it's early.  But this way we don't forget it.)

17 years ago* (time_fateman_expand.cpp): new file.
Richard Kreckel [Thu, 28 Mar 2002 00:13:25 +0000 (00:13 +0000)]
* (time_fateman_expand.cpp): new file.
* (Makefile.am): compile it.
* (times.h, times.cpp): declare and call it.

17 years ago* expairseq::expairseq(const epvector&, const ex& oc) (expairseq.cpp):
Richard Kreckel [Thu, 28 Mar 2002 00:02:51 +0000 (00:02 +0000)]
* 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.

17 years ago* power::expand_add(): allocate the precise amount needed for representing
Richard Kreckel [Wed, 27 Mar 2002 23:41:42 +0000 (23:41 +0000)]
* power::expand_add(): allocate the precise amount needed for representing
  the result.  And some minor readability cleanups...

17 years ago* Don't push void to static Bernoulli vector, it breaks with GCC-3.1.
Richard Kreckel [Wed, 27 Mar 2002 23:17:25 +0000 (23:17 +0000)]
* Don't push void to static Bernoulli vector, it breaks with GCC-3.1.

17 years agoinlined ex::swap() and provided versions of iter_swap() for ex and expair
Christian Bauer [Wed, 27 Mar 2002 21:24:32 +0000 (21:24 +0000)]
inlined ex::swap() and provided versions of iter_swap() for ex and expair
objects to make the STL sorting algorithms a little more efficient

17 years ago* Add namespace declarators to is_ex_the_function().
Richard Kreckel [Sun, 24 Mar 2002 19:11:12 +0000 (19:11 +0000)]
* Add namespace declarators to is_ex_the_function().

17 years ago* Update dates, touch, and all this... release_1-0-7
Richard Kreckel [Mon, 18 Mar 2002 22:02:34 +0000 (22:02 +0000)]
* Update dates, touch, and all this...

17 years ago* Bump version (early, but I don't want to forget to set INTERFACE_AGE
Richard Kreckel [Fri, 8 Mar 2002 20:35:49 +0000 (20:35 +0000)]
* Bump version (early, but I don't want to forget to set INTERFACE_AGE
  to zero.)

17 years ago* matrix:;pow(): Fix exponent==0 case.
Richard Kreckel [Fri, 8 Mar 2002 20:32:59 +0000 (20:32 +0000)]
* matrix:;pow(): Fix exponent==0 case.
* matrix::print(): Implement print_latex.
* Add unit_matrix(unsigend) and unit_matrix(unsigned,unsigned).

17 years agoupdated the description of degree()/ldegree()
Christian Bauer [Wed, 6 Mar 2002 18:01:58 +0000 (18:01 +0000)]
updated the description of degree()/ldegree()

17 years agofixed LaTeX output of indexed objects
Christian Bauer [Tue, 5 Mar 2002 20:32:16 +0000 (20:32 +0000)]
fixed LaTeX output of indexed objects

17 years agodocumentation update
Christian Bauer [Tue, 5 Mar 2002 20:32:02 +0000 (20:32 +0000)]
documentation update

17 years ago* Insert date. release_1-0-6
Richard Kreckel [Mon, 4 Mar 2002 22:09:29 +0000 (22:09 +0000)]
* Insert date.

17 years agoPrepare for release 1.0.6:
Richard Kreckel [Mon, 4 Mar 2002 17:13:29 +0000 (17:13 +0000)]
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?

17 years ago"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"
Christian Bauer [Thu, 28 Feb 2002 17:53:47 +0000 (17:53 +0000)]
"(x+1).subs(x==x-1)" now returns the correct result "x" instead of "x-1"

17 years agofixed typos in examples
Christian Bauer [Thu, 28 Feb 2002 17:53:40 +0000 (17:53 +0000)]
fixed typos in examples

17 years agoadded some checks for subs() behavior
Christian Bauer [Thu, 28 Feb 2002 17:53:32 +0000 (17:53 +0000)]
added some checks for subs() behavior

17 years agodocumentation update
Christian Bauer [Thu, 28 Feb 2002 17:53:20 +0000 (17:53 +0000)]
documentation update

17 years agoadded check for consistency of numeric input/output routines
Christian Bauer [Tue, 29 Jan 2002 22:46:20 +0000 (22:46 +0000)]
added check for consistency of numeric input/output routines

17 years ago* Bump up versions to 1.0.5, adjust dates.
Richard Kreckel [Sun, 27 Jan 2002 20:59:12 +0000 (20:59 +0000)]
* Bump up versions to 1.0.5, adjust dates.

17 years ago* Add Roberto Bagnara.
Richard Kreckel [Sat, 26 Jan 2002 16:29:52 +0000 (16:29 +0000)]
* Add Roberto Bagnara.

17 years ago* numeric::print(): Treat imaginary numbers correctly.
Richard Kreckel [Sat, 26 Jan 2002 16:29:42 +0000 (16:29 +0000)]
* numeric::print(): Treat imaginary numbers correctly.

17 years ago- (l)degree(s), coeff(s, n) and collect(s) were extended to accept expressions
Christian Bauer [Fri, 25 Jan 2002 18:33:01 +0000 (18:33 +0000)]
- (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).

17 years ago* Finilize version 1.0.4 (version numbers, copyrights and such rubbish). release_1-0-4
Richard Kreckel [Fri, 25 Jan 2002 01:28:01 +0000 (01:28 +0000)]
* Finilize version 1.0.4 (version numbers, copyrights and such rubbish).

17 years ago* mul::expand(): Considerable speedup through caching in nested loop.
Richard Kreckel [Fri, 25 Jan 2002 00:03:44 +0000 (00:03 +0000)]
* mul::expand(): Considerable speedup through caching in nested loop.