]>
www.ginac.de Git - ginac.git/log
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
Christian Bauer [Fri, 12 Jul 2002 18:07:52 +0000 (18:07 +0000)]
documentation update
Christian Bauer [Mon, 8 Jul 2002 21:07:19 +0000 (21:07 +0000)]
moved some common code to the 'tensor' class
Christian Bauer [Wed, 3 Jul 2002 18:19:57 +0000 (18:19 +0000)]
powers of indexed objects are now parenthesized correctly in LaTeX output
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
Richard Kreckel [Tue, 11 Jun 2002 21:47:19 +0000 (21:47 +0000)]
* Insert date and bump patchlevel.
Christian Bauer [Tue, 11 Jun 2002 19:35:18 +0000 (19:35 +0000)]
documentation update
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()
Christian Bauer [Mon, 27 May 2002 20:47:10 +0000 (20:47 +0000)]
implemented relational::subs()
Christian Bauer [Mon, 27 May 2002 20:47:00 +0000 (20:47 +0000)]
documentation update
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
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
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
Christian Bauer [Mon, 13 May 2002 20:21:57 +0000 (20:21 +0000)]
mentioned the imaginary unit 'I'
Christian Bauer [Fri, 10 May 2002 19:02:41 +0000 (19:02 +0000)]
reactivated an epsilon-tensor simplification hack because of a user request
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
Richard Kreckel [Sun, 31 Mar 2002 21:56:25 +0000 (21:56 +0000)]
* Bump timestamps and version numbers.
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.
Richard Kreckel [Thu, 28 Mar 2002 15:38:29 +0000 (15:38 +0000)]
* Clean up the output of all timings to stderr.
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.
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. ;-)
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.)
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.
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.
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...
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.
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
Richard Kreckel [Sun, 24 Mar 2002 19:11:12 +0000 (19:11 +0000)]
* Add namespace declarators to is_ex_the_function().
Richard Kreckel [Mon, 18 Mar 2002 22:02:34 +0000 (22:02 +0000)]
* Update dates, touch, and all this...
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.)
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).
Christian Bauer [Wed, 6 Mar 2002 18:01:58 +0000 (18:01 +0000)]
updated the description of degree()/ldegree()
Christian Bauer [Tue, 5 Mar 2002 20:32:16 +0000 (20:32 +0000)]
fixed LaTeX output of indexed objects
Christian Bauer [Tue, 5 Mar 2002 20:32:02 +0000 (20:32 +0000)]
documentation update
Richard Kreckel [Mon, 4 Mar 2002 22:09:29 +0000 (22:09 +0000)]
* Insert date.
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?
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"
Christian Bauer [Thu, 28 Feb 2002 17:53:40 +0000 (17:53 +0000)]
fixed typos in examples
Christian Bauer [Thu, 28 Feb 2002 17:53:32 +0000 (17:53 +0000)]
added some checks for subs() behavior
Christian Bauer [Thu, 28 Feb 2002 17:53:20 +0000 (17:53 +0000)]
documentation update
Christian Bauer [Tue, 29 Jan 2002 22:46:20 +0000 (22:46 +0000)]
added check for consistency of numeric input/output routines
Richard Kreckel [Sun, 27 Jan 2002 20:59:12 +0000 (20:59 +0000)]
* Bump up versions to 1.0.5, adjust dates.
Richard Kreckel [Sat, 26 Jan 2002 16:29:52 +0000 (16:29 +0000)]
* Add Roberto Bagnara.
Richard Kreckel [Sat, 26 Jan 2002 16:29:42 +0000 (16:29 +0000)]
* numeric::print(): Treat imaginary numbers correctly.
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).
Richard Kreckel [Fri, 25 Jan 2002 01:28:01 +0000 (01:28 +0000)]
* Finilize version 1.0.4 (version numbers, copyrights and such rubbish).
Richard Kreckel [Fri, 25 Jan 2002 00:03:44 +0000 (00:03 +0000)]
* mul::expand(): Considerable speedup through caching in nested loop.
Richard Kreckel [Tue, 22 Jan 2002 17:01:10 +0000 (17:01 +0000)]
* bernoulli(): Add Markus Nullmeier's new implementation.
* numeric::numeric({int,unsigned}): Really construct CLN immediates.
Richard Kreckel [Sat, 19 Jan 2002 19:12:47 +0000 (19:12 +0000)]
* Enable EXTRACT_ALL for LaTeX.
Richard Kreckel [Sat, 19 Jan 2002 19:12:24 +0000 (19:12 +0000)]
* Docu: elaborate definition of sqrfree() (by Roberto Bagnara)
Richard Kreckel [Fri, 18 Jan 2002 20:06:01 +0000 (20:06 +0000)]
* Updated.
Richard Kreckel [Fri, 18 Jan 2002 19:59:19 +0000 (19:59 +0000)]
* Updated.
Richard Kreckel [Fri, 18 Jan 2002 19:59:09 +0000 (19:59 +0000)]
* Faster Bernoulli numbers (Markus Nullmeier).
Richard Kreckel [Tue, 15 Jan 2002 14:46:17 +0000 (14:46 +0000)]
* GINAC_CHECK_ERRORS: Don't delete cache_file /dev/null (by Roberto Bagnara).
Richard Kreckel [Fri, 11 Jan 2002 18:48:39 +0000 (18:48 +0000)]
* Document the rounding behavior as dicussed on ginac-list.
Richard Kreckel [Fri, 21 Dec 2001 21:06:52 +0000 (21:06 +0000)]
* Adjust for 1.0.3.
Richard Kreckel [Fri, 21 Dec 2001 20:32:23 +0000 (20:32 +0000)]
* Fix thinkos in print_csrc context.
(Cebix: read the implementations of ex::compare() and basic::compare()!!!)
Christian Bauer [Thu, 20 Dec 2001 14:24:45 +0000 (14:24 +0000)]
fixed a bug where quo() would call vector::reserve() with a negative argument
Christian Bauer [Thu, 20 Dec 2001 14:24:34 +0000 (14:24 +0000)]
added check for quo() bug
Christian Bauer [Thu, 20 Dec 2001 14:24:27 +0000 (14:24 +0000)]
documentation update
Richard Kreckel [Wed, 19 Dec 2001 22:06:45 +0000 (22:06 +0000)]
* Packaging update.
Richard Kreckel [Wed, 19 Dec 2001 22:06:24 +0000 (22:06 +0000)]
* Remove check for empty seq in Python output.
Richard Kreckel [Wed, 19 Dec 2001 19:17:26 +0000 (19:17 +0000)]
* Old and future changes: relativity at work...
Richard Kreckel [Wed, 19 Dec 2001 19:16:48 +0000 (19:16 +0000)]
* Huh, huh...
Richard Kreckel [Wed, 19 Dec 2001 19:16:16 +0000 (19:16 +0000)]
* Added output-support for Python bindings and LaTeX printing for
indexed objects (Pearu Peterson).
* relational.*: Removed superfluous is_equal_same_type()...
* inifcns_trans.cpp: ...added extern declaration as workaround for
compiler-bug triggered by changes to relational.*,
* input_parser.yy: added missing namespace specification.
Richard Kreckel [Tue, 18 Dec 2001 19:03:48 +0000 (19:03 +0000)]
* Added some long-pending docu.
Christian Bauer [Tue, 18 Dec 2001 18:48:06 +0000 (18:48 +0000)]
- input parser recognizes "sqrt()", which is also used in the output
- divide(a,b,q) only modifies q if the division succeeds; also, divide(a,b,a)
works now
- fixed small bug in dummy index renaming which could cause it to not
recognize renamable indices in some cases
- power::degree() and power::ldegree() throw an exception when encountering
a non-integer exponent
Richard Kreckel [Thu, 22 Nov 2001 19:33:58 +0000 (19:33 +0000)]
* Bump version number.
Richard Kreckel [Thu, 22 Nov 2001 19:32:56 +0000 (19:32 +0000)]
* Add Pearu's patch canonicalizing class relational, augmented by missing
logic in compare_same_type().
Richard Kreckel [Thu, 22 Nov 2001 19:31:34 +0000 (19:31 +0000)]
* Minor cleanups to avoid copying of symbols and stuff like that.
Christian Bauer [Tue, 20 Nov 2001 20:42:05 +0000 (20:42 +0000)]
readline versions like "4.735beta5-pl2" should now be correctly recognized
Richard Kreckel [Mon, 19 Nov 2001 19:56:46 +0000 (19:56 +0000)]
* Make zeta1_eval() more lightweight by copying less stuff.
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.
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.
Richard Kreckel [Fri, 16 Nov 2001 18:59:12 +0000 (18:59 +0000)]
* Some minor optimization glitches.
Richard Kreckel [Mon, 12 Nov 2001 14:38:49 +0000 (14:38 +0000)]
* Debian packaging reorganized to meet policy.
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.
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.
Richard Kreckel [Tue, 6 Nov 2001 17:52:29 +0000 (17:52 +0000)]
* Removed @acronym{}, it looks silly.
* Broke some long lines.
Richard Kreckel [Tue, 6 Nov 2001 14:05:35 +0000 (14:05 +0000)]
* Adjusted Debinization.
Richard Kreckel [Tue, 6 Nov 2001 14:04:43 +0000 (14:04 +0000)]
* Inserted date.
Richard Kreckel [Mon, 5 Nov 2001 13:05:01 +0000 (13:05 +0000)]
* Bump up version, fix typos.
Richard Kreckel [Mon, 5 Nov 2001 13:04:36 +0000 (13:04 +0000)]
* Remove timing for -O0, people really shouldn't use it.
Richard Kreckel [Mon, 5 Nov 2001 13:00:24 +0000 (13:00 +0000)]
* Unobfuscate the estimate check for the last coefficient.
Richard Kreckel [Mon, 5 Nov 2001 12:59:12 +0000 (12:59 +0000)]
* Fix bug in ctor from string, reported by Christopher Kennedy.
Christian Bauer [Thu, 1 Nov 2001 23:03:45 +0000 (23:03 +0000)]
moved ginsh and viewgar into GiNaC-utils package
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.)
Richard Kreckel [Thu, 1 Nov 2001 17:33:08 +0000 (17:33 +0000)]
* Distinguish between name and longname variables.
Richard Kreckel [Thu, 1 Nov 2001 17:32:37 +0000 (17:32 +0000)]
* Remove obsolete macros.
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.
Christian Bauer [Wed, 31 Oct 2001 18:04:27 +0000 (18:04 +0000)]
"make distclean" didn't remove all necessary files
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
Richard Kreckel [Mon, 29 Oct 2001 23:15:24 +0000 (23:15 +0000)]
* Mention it's configure.ac now, not configure.in.
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.
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)
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.
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.
Richard Kreckel [Sun, 28 Oct 2001 11:47:04 +0000 (11:47 +0000)]
* Updated from FSF.
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.
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.