]> www.ginac.de Git - ginac.git/log
ginac.git
22 years agoreadline versions like "4.735beta5-pl2" should now be correctly recognized
Christian Bauer [Tue, 20 Nov 2001 20:42:05 +0000 (20:42 +0000)]
readline versions like "4.735beta5-pl2" should now be correctly recognized

22 years ago* Make zeta1_eval() more lightweight by copying less stuff.
Richard Kreckel [Mon, 19 Nov 2001 19:56:46 +0000 (19:56 +0000)]
* Make zeta1_eval() more lightweight by copying less stuff.

22 years ago* Change section about Square-free decomposition reflecting the recent
Richard Kreckel [Sun, 18 Nov 2001 20:10:27 +0000 (20:10 +0000)]
* Change section about Square-free decomposition reflecting the recent
  bugfix in the sqrfree() function.

22 years ago* sqrfree(ex, lst): after factoring in the first variable, we forgot to call
Richard Kreckel [Sat, 17 Nov 2001 18:48:46 +0000 (18:48 +0000)]
* sqrfree(ex, lst): after factoring in the first variable, we forgot to call
  sqrfree again in the remaining variables for the constant term.  For
  example, the expanded polynomial (x+1)*(y-1)*z only found one of the
  factors, no matter which variable order was specified in lst.

22 years ago* Some minor optimization glitches.
Richard Kreckel [Fri, 16 Nov 2001 18:59:12 +0000 (18:59 +0000)]
* Some minor optimization glitches.

22 years ago* Debian packaging reorganized to meet policy.
Richard Kreckel [Mon, 12 Nov 2001 14:38:49 +0000 (14:38 +0000)]
* Debian packaging reorganized to meet policy.

22 years ago* Really remove silly acronyms. The fucking network breakdown this release_1-0-0
Richard Kreckel [Tue, 6 Nov 2001 20:04:16 +0000 (20:04 +0000)]
* Really remove silly acronyms.  The fucking network breakdown this
  afternoon has garbled the file so half of the commit has failed.

22 years ago* ctor from string: fix for GCC3.0, avoid some string self-assignments.
Richard Kreckel [Tue, 6 Nov 2001 18:55:29 +0000 (18:55 +0000)]
* ctor from string: fix for GCC3.0, avoid some string self-assignments.

22 years ago* Removed @acronym{}, it looks silly.
Richard Kreckel [Tue, 6 Nov 2001 17:52:29 +0000 (17:52 +0000)]
* Removed @acronym{}, it looks silly.
* Broke some long lines.

22 years ago* Adjusted Debinization.
Richard Kreckel [Tue, 6 Nov 2001 14:05:35 +0000 (14:05 +0000)]
* Adjusted Debinization.

22 years ago* Inserted date.
Richard Kreckel [Tue, 6 Nov 2001 14:04:43 +0000 (14:04 +0000)]
* Inserted date.

22 years ago* Bump up version, fix typos.
Richard Kreckel [Mon, 5 Nov 2001 13:05:01 +0000 (13:05 +0000)]
* Bump up version, fix typos.

22 years ago* Remove timing for -O0, people really shouldn't use it.
Richard Kreckel [Mon, 5 Nov 2001 13:04:36 +0000 (13:04 +0000)]
* Remove timing for -O0, people really shouldn't use it.

22 years ago* Unobfuscate the estimate check for the last coefficient.
Richard Kreckel [Mon, 5 Nov 2001 13:00:24 +0000 (13:00 +0000)]
* Unobfuscate the estimate check for the last coefficient.

22 years ago* Fix bug in ctor from string, reported by Christopher Kennedy.
Richard Kreckel [Mon, 5 Nov 2001 12:59:12 +0000 (12:59 +0000)]
* Fix bug in ctor from string, reported by Christopher Kennedy.

22 years agomoved ginsh and viewgar into GiNaC-utils package
Christian Bauer [Thu, 1 Nov 2001 23:03:45 +0000 (23:03 +0000)]
moved ginsh and viewgar into GiNaC-utils package

22 years ago* Make installdirs before trying to write there.
Richard Kreckel [Thu, 1 Nov 2001 19:27:43 +0000 (19:27 +0000)]
* Make installdirs before trying to write there.
  (NB: Dunno why this worked before, it seems totally unrelated to the
  last patch, judging from the generated Makefiles.)

22 years ago* Distinguish between name and longname variables.
Richard Kreckel [Thu, 1 Nov 2001 17:33:08 +0000 (17:33 +0000)]
* Distinguish between name and longname variables.

22 years ago* Remove obsolete macros.
Richard Kreckel [Thu, 1 Nov 2001 17:32:37 +0000 (17:32 +0000)]
* Remove obsolete macros.

22 years ago* create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if
Richard Kreckel [Thu, 1 Nov 2001 17:31:55 +0000 (17:31 +0000)]
* create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if
  non-empty.

22 years ago"make distclean" didn't remove all necessary files
Christian Bauer [Wed, 31 Oct 2001 18:04:27 +0000 (18:04 +0000)]
"make distclean" didn't remove all necessary files

22 years ago- ginsh_fcn_help/ginsh_op_help.c are renamed to *.h and now placed in the
Christian Bauer [Wed, 31 Oct 2001 01:55:50 +0000 (01:55 +0000)]
- ginsh_fcn_help/ginsh_op_help.c are renamed to *.h and now placed in the
  build directory, not the source directory

22 years ago* Mention it's configure.ac now, not configure.in.
Richard Kreckel [Mon, 29 Oct 2001 23:15:24 +0000 (23:15 +0000)]
* Mention it's configure.ac now, not configure.in.

22 years agoThe last 3 evaluated expressions in ginsh are now referred to with the
Christian Bauer [Mon, 29 Oct 2001 19:29:02 +0000 (19:29 +0000)]
The last 3 evaluated expressions in ginsh are now referred to with the
tokens '%', '%%' and '%%%'. The old '"', '""' and '"""' remain for
compatibility but may be removed in a future version of GiNaC.

22 years ago- renamed configure.in to configure.ac as suggested in the autoconf docs
Christian Bauer [Mon, 29 Oct 2001 19:03:06 +0000 (19:03 +0000)]
- renamed configure.in to configure.ac as suggested in the autoconf docs
- removed acconfig.h in favour of 3-argument AC_DEFINE_UNQUOTED
- autoupdated configure.ac
- removed the following files which are generated by the autogen.sh script:
    config.guess, config.sub, install-sh, ltmain.sh, missing, mkinstalldirs
  This means that you have to run autogen.sh on a machine with sufficiently
  recent version of autoconf (2.50), automake (1.5) and libtool (1.4)

22 years ago* Hahaha! The second of the two tests was actually BS(tm) but this was only
Richard Kreckel [Sun, 28 Oct 2001 17:37:50 +0000 (17:37 +0000)]
* Hahaha!  The second of the two tests was actually BS(tm) but this was only
  triggered with nonvanishing probability on systems like IRIX with a weak
  rand() function.  Added a little additional check to trap those cases.

22 years ago* Require Autoconf 2.50.
Richard Kreckel [Sun, 28 Oct 2001 14:58:24 +0000 (14:58 +0000)]
* Require Autoconf 2.50.
  Rationale: Older versions set YYTEXT_POINTER wrong in config.h for nearly
  all non-Linux platforms resulting in a build failure.
  Note to developers: you either need to install your own autoconf or run
  autogen.sh on a Debian Woody platform (which has a hybrid 2.13/2.52
  installation of Autoconf, choosing 2.13 by default and 2.52 if AC_PREREQ
  asks for it.  Sorry.

22 years ago* Updated from FSF.
Richard Kreckel [Sun, 28 Oct 2001 11:47:04 +0000 (11:47 +0000)]
* Updated from FSF.

22 years ago* Headers only include <iosfwd> from now on, since that contains all the
Richard Kreckel [Sat, 27 Oct 2001 20:18:51 +0000 (20:18 +0000)]
* Headers only include <iosfwd> from now on, since that contains all the
  necessary forward declarations without bringing in the whole big
  <iostream> header.

22 years ago* Ran through ispell.
Richard Kreckel [Fri, 26 Oct 2001 20:12:03 +0000 (20:12 +0000)]
* Ran through ispell.
* Added more index entries, as recommended by Son.
* Added reference to Wester's book.

22 years ago* As agreed upon at lunch, remove debugmsg since it is hardly of any use.
Richard Kreckel [Fri, 26 Oct 2001 19:08:24 +0000 (19:08 +0000)]
* As agreed upon at lunch, remove debugmsg since it is hardly of any use.

22 years ago* Remove support for <strstream>. It is too bug-ridden.
Richard Kreckel [Fri, 26 Oct 2001 17:19:24 +0000 (17:19 +0000)]
* Remove support for <strstream>.  It is too bug-ridden.

22 years ago* Some internal reorganization WRT flyweight handling and initialization,
Richard Kreckel [Mon, 22 Oct 2001 17:59:49 +0000 (17:59 +0000)]
* Some internal reorganization WRT flyweight handling and initialization,
  resulting in a general speed-up.
  Wherever thou hast written _ex7() thou shalt write _ex7 from now on.

22 years ago- Call `ginac-config --version` only once and safe the result.
Richard Kreckel [Tue, 2 Oct 2001 20:11:30 +0000 (20:11 +0000)]
- Call `ginac-config --version` only once and safe the result.
  (needed for autoconf 2.50 since AC_MSG_RESULT now escapes backquotes.)

22 years ago- clarify comment about counterintuitive sorting for Laplace.
Richard Kreckel [Tue, 25 Sep 2001 21:18:45 +0000 (21:18 +0000)]
- clarify comment about counterintuitive sorting for Laplace.

22 years ago- Add build-dependency on flex and bison; closes: #113172.
Richard Kreckel [Mon, 24 Sep 2001 19:32:23 +0000 (19:32 +0000)]
- Add build-dependency on flex and bison; closes: #113172.

22 years ago- Explain what's going on with <sstream>.
Richard Kreckel [Thu, 20 Sep 2001 23:07:15 +0000 (23:07 +0000)]
- Explain what's going on with <sstream>.

22 years ago- version bump. release_0-9-4
Richard Kreckel [Thu, 20 Sep 2001 21:42:32 +0000 (21:42 +0000)]
- version bump.

22 years ago- minor fix in error log.
Richard Kreckel [Thu, 20 Sep 2001 21:42:17 +0000 (21:42 +0000)]
- minor fix in error log.

22 years ago- Updated from FSF, reflecting libtool version 1.4.2.
Richard Kreckel [Wed, 19 Sep 2001 00:01:23 +0000 (00:01 +0000)]
- Updated from FSF, reflecting libtool version 1.4.2.

22 years agoGINAC_RL_VERSION_* defines didn't get set when running configure from cache
Christian Bauer [Tue, 18 Sep 2001 21:33:15 +0000 (21:33 +0000)]
GINAC_RL_VERSION_* defines didn't get set when running configure from cache

22 years ago- Mention evalf(2^Pi)-bug, lest we forget about it.
Richard Kreckel [Fri, 14 Sep 2001 22:50:02 +0000 (22:50 +0000)]
- Mention evalf(2^Pi)-bug, lest we forget about it.

22 years agoI really think that changes to top-level files should go to ginac-cvs
Christian Bauer [Fri, 7 Sep 2001 23:08:43 +0000 (23:08 +0000)]
I really think that changes to top-level files should go to ginac-cvs

22 years agodo changes to top-level files get posted to ginac-cvs now?
Christian Bauer [Fri, 7 Sep 2001 23:00:58 +0000 (23:00 +0000)]
do changes to top-level files get posted to ginac-cvs now?

22 years ago- Make some tests more stringent and meaningful.
Richard Kreckel [Fri, 7 Sep 2001 22:53:06 +0000 (22:53 +0000)]
- Make some tests more stringent and meaningful.

22 years ago- replaced dumb consistency check by a rigorous one.
Richard Kreckel [Thu, 6 Sep 2001 19:31:49 +0000 (19:31 +0000)]
- replaced dumb consistency check by a rigorous one.

22 years agoadded a section about error handling
Christian Bauer [Mon, 3 Sep 2001 22:28:30 +0000 (22:28 +0000)]
added a section about error handling

22 years ago- Pearu Peterson's patch for class function giving them better support
Richard Kreckel [Thu, 23 Aug 2001 18:20:29 +0000 (18:20 +0000)]
- Pearu Peterson's patch for class function giving them better support
  for external scripting languages.

22 years ago- Cleanups: My evil plot of making ex::bp private may finally be carried
Richard Kreckel [Wed, 22 Aug 2001 20:11:48 +0000 (20:11 +0000)]
- 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.

22 years agoupdated my_print2(): every find*() method of archive_node accepts an "index"
Christian Bauer [Wed, 22 Aug 2001 16:10:59 +0000 (16:10 +0000)]
updated my_print2(): every find*() method of archive_node accepts an "index"
parameter

22 years ago- carried on with felonious plot about making ex::bp private.
Richard Kreckel [Mon, 20 Aug 2001 22:00:45 +0000 (22:00 +0000)]
- carried on with felonious plot about making ex::bp private.

22 years ago- Fix the evalf(2^Pi) bug reported by Pearu.
Richard Kreckel [Mon, 20 Aug 2001 19:42:26 +0000 (19:42 +0000)]
- Fix the evalf(2^Pi) bug reported by Pearu.

22 years ago- carried on with felonious plot about making ex::bp private.
Richard Kreckel [Sat, 18 Aug 2001 21:46:14 +0000 (21:46 +0000)]
- carried on with felonious plot about making ex::bp private.

22 years ago- removed manual basepointer-fiddling in construct-on-first-use objects
Richard Kreckel [Fri, 17 Aug 2001 21:33:57 +0000 (21:33 +0000)]
- 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.)

22 years ago- adjust. release_0-9-3
Richard Kreckel [Fri, 17 Aug 2001 00:20:23 +0000 (00:20 +0000)]
- adjust.

22 years ago- config.{guess,sub} updated from FSF.
Richard Kreckel [Fri, 17 Aug 2001 00:20:02 +0000 (00:20 +0000)]
- config.{guess,sub} updated from FSF.
- NEWS: finalization.

22 years ago- doc update: motivate use of .expand() in basic::series().
Richard Kreckel [Thu, 16 Aug 2001 22:47:54 +0000 (22:47 +0000)]
- doc update: motivate use of .expand() in basic::series().

22 years agobehavior when expanding (x-x_0)^-n is more reasonable
Christian Bauer [Thu, 16 Aug 2001 20:08:17 +0000 (20:08 +0000)]
behavior when expanding (x-x_0)^-n is more reasonable

22 years ago- added a check for small log expansions.
Richard Kreckel [Wed, 15 Aug 2001 21:36:18 +0000 (21:36 +0000)]
- added a check for small log expansions.

22 years ago- remove some explicit accesses to ex::bp by replacing with ex_to<>().
Richard Kreckel [Wed, 15 Aug 2001 21:16:19 +0000 (21:16 +0000)]
- 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.

22 years agofixed a little const-ness problem
Christian Bauer [Tue, 14 Aug 2001 21:23:36 +0000 (21:23 +0000)]
fixed a little const-ness problem

22 years ago- added comment about more recent terminology involving eta(x,y).
Richard Kreckel [Tue, 14 Aug 2001 21:09:16 +0000 (21:09 +0000)]
- added comment about more recent terminology involving eta(x,y).

22 years agotrivial change just to see whether a mail is being sent to ginac-cvs
Christian Bauer [Tue, 14 Aug 2001 19:00:14 +0000 (19:00 +0000)]
trivial change just to see whether a mail is being sent to ginac-cvs

22 years ago- catch up on changes.
Richard Kreckel [Tue, 14 Aug 2001 18:56:55 +0000 (18:56 +0000)]
- catch up on changes.

22 years ago- Remove the -ansi compiler switch in the example since it doesn't
Richard Kreckel [Tue, 14 Aug 2001 18:52:29 +0000 (18:52 +0000)]
- 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.

22 years ago- ginac-config.1: removed (duplicate).
Richard Kreckel [Tue, 14 Aug 2001 18:51:27 +0000 (18:51 +0000)]
- ginac-config.1: removed (duplicate).

22 years ago- Updated to the optimized version. This allows us to
Richard Kreckel [Tue, 14 Aug 2001 18:18:10 +0000 (18:18 +0000)]
- 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.)

22 years ago- added another minor shortcut.
Richard Kreckel [Tue, 14 Aug 2001 18:13:33 +0000 (18:13 +0000)]
- added another minor shortcut.

22 years ago- added an optional algorithm-switch to lsolve().
Richard Kreckel [Tue, 14 Aug 2001 18:13:16 +0000 (18:13 +0000)]
- added an optional algorithm-switch to lsolve().
  Ayeee, this breaks the interface again!

22 years ago- minor shortcut.
Richard Kreckel [Mon, 13 Aug 2001 15:33:58 +0000 (15:33 +0000)]
- minor shortcut.

22 years agoshould work with readline 4.1 again
Christian Bauer [Wed, 8 Aug 2001 14:47:38 +0000 (14:47 +0000)]
should work with readline 4.1 again

22 years ago- increased compatibility with RedHat's readline-4.2-1 package
Christian Bauer [Tue, 7 Aug 2001 23:40:55 +0000 (23:40 +0000)]
- increased compatibility with RedHat's readline-4.2-1 package

22 years ago- ex_to<foo>(obj) is a good candidate for asserting is_a<foo>(obj).
Richard Kreckel [Tue, 7 Aug 2001 19:04:40 +0000 (19:04 +0000)]
- ex_to<foo>(obj) is a good candidate for asserting is_a<foo>(obj).

22 years ago- use initializers in exception class pole_error.
Richard Kreckel [Tue, 7 Aug 2001 19:03:26 +0000 (19:03 +0000)]
- use initializers in exception class pole_error.

22 years ago- fixed a very stupid ancient error (older than v0.4.0).
Richard Kreckel [Thu, 2 Aug 2001 02:53:14 +0000 (02:53 +0000)]
- fixed a very stupid ancient error (older than v0.4.0).

22 years ago- minor ISO cleanup.
Richard Kreckel [Thu, 2 Aug 2001 02:24:36 +0000 (02:24 +0000)]
- minor ISO cleanup.

22 years ago- pseries::power_const(): check for integer-exponent invariant.
Richard Kreckel [Wed, 1 Aug 2001 21:44:50 +0000 (21:44 +0000)]
- pseries::power_const(): check for integer-exponent invariant.
- mul::series(): remove some bloat.

22 years ago- adjust for 0.9.2, close open bugreports.
Richard Kreckel [Wed, 1 Aug 2001 17:43:46 +0000 (17:43 +0000)]
- adjust for 0.9.2, close open bugreports.

22 years ago- NEWS: prepare for landing. release_0-9-2
Richard Kreckel [Tue, 31 Jul 2001 22:48:17 +0000 (22:48 +0000)]
- NEWS: prepare for landing.
- acinclude.m4: <stdlib.h> is evil.

22 years agoupdated for new behaviour of dirac_slash() and epsilon tensor
Christian Bauer [Tue, 31 Jul 2001 21:44:36 +0000 (21:44 +0000)]
updated for new behaviour of dirac_slash() and epsilon tensor

22 years agodocumentation update
Christian Bauer [Tue, 31 Jul 2001 21:44:10 +0000 (21:44 +0000)]
documentation update

22 years ago- fixed example of evalf-function.
Richard Kreckel [Tue, 31 Jul 2001 21:28:10 +0000 (21:28 +0000)]
- fixed example of evalf-function.

22 years agofixed potential crash in power:(l)degree() when used with non-integer
Christian Bauer [Tue, 31 Jul 2001 20:31:19 +0000 (20:31 +0000)]
fixed potential crash in power:(l)degree() when used with non-integer
exponents

22 years agoexit() is in stdlib.h
Christian Bauer [Tue, 31 Jul 2001 19:30:34 +0000 (19:30 +0000)]
exit() is in stdlib.h

22 years ago- configure.in: bumped up version.
Richard Kreckel [Tue, 31 Jul 2001 17:02:00 +0000 (17:02 +0000)]
- configure.in: bumped up version.
- config.{guess,sub}: updated from FSF.

22 years ago- fixed three little standard-conformance issues.
Richard Kreckel [Tue, 31 Jul 2001 17:01:20 +0000 (17:01 +0000)]
- fixed three little standard-conformance issues.

22 years agoepsilon tensor contractions evaluate to metric tensors instead of deltas,
Christian Bauer [Mon, 30 Jul 2001 20:02:34 +0000 (20:02 +0000)]
epsilon tensor contractions evaluate to metric tensors instead of deltas,
which is more general

22 years ago- moved is_of_type and friend macros into utils.h so they can be phased
Richard Kreckel [Mon, 30 Jul 2001 19:09:29 +0000 (19:09 +0000)]
- 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.

22 years ago- updated semantics of pseries truncation to reflect current version
Richard Kreckel [Mon, 30 Jul 2001 19:03:16 +0000 (19:03 +0000)]
- updated semantics of pseries truncation to reflect current version
  (since we must not break this one).

22 years ago- (a+b)*gamma5 was incorrectly rewritten as -gamma5*(a+b)
Christian Bauer [Mon, 30 Jul 2001 17:32:47 +0000 (17:32 +0000)]
- (a+b)*gamma5 was incorrectly rewritten as -gamma5*(a+b)

22 years ago- Move several comments into doxygen comment blocks.
Richard Kreckel [Sat, 28 Jul 2001 18:50:22 +0000 (18:50 +0000)]
- Move several comments into doxygen comment blocks.

22 years ago- fixed a problem where (p\-m*ONE)*(p\-m*ONE) would be automatically simplified
Christian Bauer [Fri, 27 Jul 2001 18:49:41 +0000 (18:49 +0000)]
- fixed a problem where (p\-m*ONE)*(p\-m*ONE) would be automatically simplified
  to complete nonsense...

22 years agofixed bogus assertion
Christian Bauer [Fri, 27 Jul 2001 04:43:57 +0000 (04:43 +0000)]
fixed bogus assertion

22 years ago- power::eval(): for the case (b_n/b_d)^(e_n/e_d) we now check separately
Richard Kreckel [Fri, 27 Jul 2001 03:58:21 +0000 (03:58 +0000)]
- 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.

22 years ago- no, no, no, there is no such thing as is_of_type<T>(ex&)...
Richard Kreckel [Fri, 27 Jul 2001 03:24:46 +0000 (03:24 +0000)]
- no, no, no, there is no such thing as is_of_type<T>(ex&)...

22 years ago- epsilon*epsilon contractions work
Christian Bauer [Thu, 26 Jul 2001 23:28:08 +0000 (23:28 +0000)]
- 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).

22 years agoHm, what exactly changed here...?
Christian Bauer [Thu, 26 Jul 2001 23:19:54 +0000 (23:19 +0000)]
Hm, what exactly changed here...?

22 years agodocumentation update
Christian Bauer [Thu, 26 Jul 2001 23:19:25 +0000 (23:19 +0000)]
documentation update

22 years ago- in LaTeX context, fractions now print as \frac{n}{d}.
Richard Kreckel [Tue, 24 Jul 2001 22:04:43 +0000 (22:04 +0000)]
- in LaTeX context, fractions now print as \frac{n}{d}.

22 years ago- rewrote binary scanning in matrix::pow(), stealing from CLN's expt_pos().
Richard Kreckel [Tue, 24 Jul 2001 00:59:16 +0000 (00:59 +0000)]
- rewrote binary scanning in matrix::pow(), stealing from CLN's expt_pos().