Christian Bauer [Wed, 14 Mar 2001 23:05:38 +0000 (23:05 +0000)]
added checks involving epsilon tensor
Christian Bauer [Wed, 14 Mar 2001 23:05:10 +0000 (23:05 +0000)]
added predefined epsilon tensor
Christian Bauer [Wed, 14 Mar 2001 23:01:06 +0000 (23:01 +0000)]
documentation update
Richard Kreckel [Wed, 14 Mar 2001 21:31:28 +0000 (21:31 +0000)]
* ex.h: add docu.
* normal.cpp: make sqrfree_yun() static.
* basic.cpp (compare): slightly clarify syntax.
Richard Kreckel [Wed, 14 Mar 2001 21:30:16 +0000 (21:30 +0000)]
fix stupid memory problem.
Richard Kreckel [Sun, 11 Mar 2001 19:10:03 +0000 (19:10 +0000)]
normal.cpp, normal.h: Fix Yun's algorithm (there was a mistake in Geddes et
al.) for square-free factorization. Also change the syntax to allow for
square-free factoring in a recursive way in Q[X]. This is an example how it
works in Z[x,y,z] in ginsh:
> ?sqrfree
sqrfree(expression [, symbol-list]) - square-free factorization of a polynomial
> sqrfree(expand((x+y)*(x+y+z)^2*(y-z)^3));
(x+y)*(-x-y-z)^2*(y^3+3*y*z^2-3*y^2*z-z^3)
> sqrfree(expand((x+y)*(x+y+z)^2*(y-z)^3),[y]);
(x+y)*(y-z)^3*(x+y+z)^2
> sqrfree(expand((x+y)*(x+y+z)^2*(y-z)^3),[z]);
(x+y)*(y-z)^3*(x+y+z)^2
> sqrfree(expand((x+y)*(x+y+z)^2*(y-z)^3),[x]);
(x+y)*(-x-y-z)^2*(y^3+3*y*z^2-3*y^2*z-z^3)
> sqrfree(expand((x+y)*(x+y+z)^2*(y-z)^3),[x,y]);
(x+y)*(-x-y-z)^2*(y^3+3*y*z^2-3*y^2*z-z^3)
> sqrfree(expand((x+y)*(x+y+z)^2*(y-z)^3),[x,y,z]);
(x+y)*(-x-y-z)^2*(y^3+3*y*z^2-3*y^2*z-z^3)
> sqrfree(expand((x+y)*(x+y+z)^2*(y-z)^3),[v]);
3*x*y^5+3*x^2*y^4+x^3*y^3+y^6-y*z^5-2*y^4*z^2+y^2*z^4-y^5*z+2*y^3*z^3-3*x^3*y^2*z+3*x^3*y*z^2-5*x*y^4*z-x*y*z^4+3*x^2*y*z^3+6*x*y^2*z^3+3*x^2*y^2*z^2-2*x*y^3*z^2-7*x^2*y^3*z-x^3*z^3-2*x^2*z^4-x*z^5
Christian Bauer [Sat, 10 Mar 2001 04:07:15 +0000 (04:07 +0000)]
fixed major memory leak in mul::expand()
Christian Bauer [Fri, 9 Mar 2001 22:21:35 +0000 (22:21 +0000)]
- lcm_of_coefficients_denominators(1/2+x^10) returned 1024 instead of 2 and
multiply_lcm() on that expression barfed
- contract_with() now takes two exvector::iterators and and exvector; this
makes it possible to look for more contractions in the implementation
Christian Bauer [Tue, 6 Mar 2001 20:07:16 +0000 (20:07 +0000)]
- revamped indexed objects
- subs() works on matrices
Christian Bauer [Tue, 6 Mar 2001 20:06:38 +0000 (20:06 +0000)]
added checks for new indexed objects
Christian Bauer [Tue, 6 Mar 2001 20:05:57 +0000 (20:05 +0000)]
documentation update
Christian Bauer [Tue, 6 Mar 2001 20:05:24 +0000 (20:05 +0000)]
removed obsolete files
Richard Kreckel [Mon, 5 Mar 2001 20:02:00 +0000 (20:02 +0000)]
* New funny timing added: compute an antipode in Yukawa theory.
Richard Kreckel [Thu, 1 Mar 2001 19:54:50 +0000 (19:54 +0000)]
* ginac/pseries.cpp (pseries::compare_same_type): optimized.
Richard Kreckel [Wed, 28 Feb 2001 23:30:45 +0000 (23:30 +0000)]
* This is a deliberately silly commit.
Richard Kreckel [Wed, 28 Feb 2001 23:30:28 +0000 (23:30 +0000)]
* Really make those macros work...
Christian Bauer [Wed, 28 Feb 2001 20:02:24 +0000 (20:02 +0000)]
updated to "autogen.sh Professional"
Richard Kreckel [Wed, 28 Feb 2001 15:54:52 +0000 (15:54 +0000)]
* ginac/registrar.h: dtor is inlined now.
* ginac/basic.h, ginac/ex.h: removed INLINE_FOO_CONSTRUCTORS and hand-inlined
stuff instead, since the macros turned out to get in the way while
fine-tuning the inlining.
* ginac/utils.h: if 'long long' works, use that one for computing the hash
value instead of floating point tricks. 2 Reasons: on Intel the assembler
is terrible and slow otherwise, 'long long' will appear in C++ anyways when
they adapt to the C99 standard.
* Several other small performance tweaks.
* ginac/constant.cpp: (constant::calchash()) implement, caring for serial.
* ginac/function.pl (function::calchash()): implement, caring for serial.
* ginac/expairseq.cpp: honor coeff's hash value.
* ginac/pseries.cpp: (pseries::power_const()) fix problems with zero pseries.
* Added several pounds of in-source documentation in doxygen style.
Richard Kreckel [Wed, 28 Feb 2001 15:54:46 +0000 (15:54 +0000)]
* Tweak around problem with unexpanded GINAC_DECLARE_REGISTER_CLASS macros.
Richard Kreckel [Wed, 28 Feb 2001 15:54:23 +0000 (15:54 +0000)]
* Prepare for landing of version 0.7.3.
Richard Kreckel [Wed, 28 Feb 2001 15:54:07 +0000 (15:54 +0000)]
* Macro deobfuscation.
Richard Kreckel [Wed, 28 Feb 2001 15:53:26 +0000 (15:53 +0000)]
* some longish timings are now disabled by default.
* check/time_lw_M2.cpp: new timing (defaults to disabled)
* check/time_lw_N.cpp: new timing (defaults to disabled)
Richard Kreckel [Wed, 28 Feb 2001 15:53:15 +0000 (15:53 +0000)]
* prepare for landing of version 0.7.3.
Christian Bauer [Tue, 27 Feb 2001 19:54:38 +0000 (19:54 +0000)]
when there are multiple variables with the same maximum degree, the one with
the least number of terms in the leading coefficient is chosen as the main
variable in GCD computations
Christian Bauer [Tue, 27 Feb 2001 19:22:46 +0000 (19:22 +0000)]
"return" statement was missing in yyerror()
Christian Bauer [Tue, 27 Feb 2001 19:21:55 +0000 (19:21 +0000)]
building in separate directory didn't work
Christian Bauer [Wed, 21 Feb 2001 18:40:15 +0000 (18:40 +0000)]
- g~mu_mu contraction returns Dim for general Lorentz indices and Dim-dimP
for orthogonal-only indices
Christian Bauer [Tue, 20 Feb 2001 21:55:10 +0000 (21:55 +0000)]
documentation update
Christian Bauer [Tue, 20 Feb 2001 21:54:56 +0000 (21:54 +0000)]
added a section about adding new algebraic classes to GiNaC
Richard Kreckel [Mon, 19 Feb 2001 14:19:01 +0000 (14:19 +0000)]
Fix two leaks in class pseries, where zero terms could have been created.
Richard Kreckel [Sun, 18 Feb 2001 19:21:22 +0000 (19:21 +0000)]
is_(ex_)(exactly_)of_type: macros fixed, simplfied and documented.
Richard Kreckel [Sat, 17 Feb 2001 21:07:08 +0000 (21:07 +0000)]
pseries::expand(): do not generate zero terms.
pseries::print(): print trivial case, too.
others: documentation updates.
Richard Kreckel [Sat, 17 Feb 2001 21:06:25 +0000 (21:06 +0000)]
Fix typos.
Richard Kreckel [Sat, 17 Feb 2001 21:06:17 +0000 (21:06 +0000)]
Minor fixes.
Richard Kreckel [Sat, 17 Feb 2001 21:06:07 +0000 (21:06 +0000)]
Reflect version number 0.7.2 and update Cint status.
Christian Bauer [Fri, 16 Feb 2001 20:25:47 +0000 (20:25 +0000)]
GINAC_DECLARE_REGISTERED_CLASS declares duplicate() and compare_same_type(),
GINAC_IMPLEMENT_REGISTERED_CLASS implements duplicate()
Christian Bauer [Thu, 15 Feb 2001 22:54:52 +0000 (22:54 +0000)]
the destructor, copy constructor, and assignment operator (which were the
same for all subclasses of basic, with very few exceptions) are now included
in the GINAC_IMPLEMENT_REGISTERED_CLASS macro; the GINAC_DECLARE_REGISTERED_CLASS
macro also defines these (and other common) member functions
Christian Bauer [Thu, 15 Feb 2001 22:52:16 +0000 (22:52 +0000)]
disabled the exam because the lortensor API is going to change soon
Richard Kreckel [Thu, 15 Feb 2001 19:49:08 +0000 (19:49 +0000)]
add two checks that power::series did wrong so far.
Richard Kreckel [Thu, 15 Feb 2001 19:47:57 +0000 (19:47 +0000)]
pseries::power_const: fix a critical bug that led to wrong computations.
power::series: better handling of divergent basis cases.
Christian Bauer [Wed, 14 Feb 2001 19:04:18 +0000 (19:04 +0000)]
removed the "some_*" and "typeid_*" definitions since we are using our own
RTTI for quite some time now
Richard Kreckel [Wed, 14 Feb 2001 19:00:28 +0000 (19:00 +0000)]
Adapted to new version 1.2.5.
Christian Bauer [Wed, 14 Feb 2001 18:42:20 +0000 (18:42 +0000)]
added missing thisexprseq() to clifford class
Christian Bauer [Wed, 14 Feb 2001 00:50:46 +0000 (00:50 +0000)]
- added documentation to the indexed, color, lortensor and clifford classes
- moved Dim() function from lortensor.cpp to lorentzidx.cpp
- moved append_exvector_to_exvector() from color.cpp to utils.cpp
- some cleanups in the lortensor and clifford classes
Christian Bauer [Mon, 12 Feb 2001 20:54:53 +0000 (20:54 +0000)]
- added documentation for the idx, coloridx and lorentzidx classes
- idx_intersect() works correctly when indices appear multiple times
- g~mu_mu = D-2 (instead of D-dim(P))
Richard Kreckel [Wed, 7 Feb 2001 19:16:52 +0000 (19:16 +0000)]
Hope this works now.
Richard Kreckel [Wed, 7 Feb 2001 19:16:41 +0000 (19:16 +0000)]
More file cleanups
Richard Kreckel [Wed, 7 Feb 2001 19:16:21 +0000 (19:16 +0000)]
trancendental function branch-point sanity
Richard Kreckel [Wed, 7 Feb 2001 19:15:51 +0000 (19:15 +0000)]
ChangeLog: mention cvs log (must be non-empty for Debian)
INSTALL: update cint-status
configure.in, NEWS: Prepare for release
Richard Kreckel [Sun, 4 Feb 2001 18:08:26 +0000 (18:08 +0000)]
Explain the branch-cut conventions in some more detail.
Richard Kreckel [Fri, 2 Feb 2001 21:39:19 +0000 (21:39 +0000)]
Added correct series expansion for atan and atanh.
Richard Kreckel [Wed, 31 Jan 2001 21:07:43 +0000 (21:07 +0000)]
Fixed most bugs with building Debian packages.
Richard Kreckel [Wed, 31 Jan 2001 00:55:27 +0000 (00:55 +0000)]
- throw at atan()'s poles.
Christian Bauer [Wed, 31 Jan 2001 00:37:44 +0000 (00:37 +0000)]
documentation update
Christian Bauer [Wed, 31 Jan 2001 00:37:13 +0000 (00:37 +0000)]
list of completion work break characters set correctly
Christian Bauer [Tue, 30 Jan 2001 19:50:16 +0000 (19:50 +0000)]
normal() applied to a power expression also normalizes the exponent
Christian Bauer [Mon, 29 Jan 2001 21:46:01 +0000 (21:46 +0000)]
expand() always expands the exponent and transforms x^(a+b) -> x^a*x^b
Christian Bauer [Mon, 29 Jan 2001 21:43:45 +0000 (21:43 +0000)]
added a check that expand(x^((a+b)^2-a^2-b^2-2*a*b)) -> 1
Christian Bauer [Mon, 29 Jan 2001 21:42:36 +0000 (21:42 +0000)]
updated changes
Richard Kreckel [Mon, 29 Jan 2001 18:52:35 +0000 (18:52 +0000)]
- Lewis-Wester tests D and E now benchmark the time to expand the
rational function. Just assembling it is boring...
Christian Bauer [Thu, 25 Jan 2001 20:53:54 +0000 (20:53 +0000)]
- gcd() and lcm() always checked the second argument, even when check_args
was false
- add::normal() handles large expressions (that collapse to much smaller ones)
better
Christian Bauer [Tue, 23 Jan 2001 19:14:36 +0000 (19:14 +0000)]
replaced fraction addition algorithm with a slightly faster one (no polynomial
divisions in loop)
Richard Kreckel [Mon, 22 Jan 2001 18:11:54 +0000 (18:11 +0000)]
- See if __GNUC__ < 2.97 before using std::vector<..,malloc_alloc>. Sorry,
there is no way having this depend on whether we are setting up Cint or
not because the malloc_alloc goes into the mangled signature and the
result won't link if one tries to be more clever. It really sucks.
Let's all just pray Masaharu throws away that old STL implementation
really soon now. (Jeez, he still calls this old junk 'reference'!)
- Bumped up a few dates. :-)
Richard Kreckel [Tue, 16 Jan 2001 21:06:47 +0000 (21:06 +0000)]
- Updated Cint mileage report.
Richard Kreckel [Sun, 7 Jan 2001 19:47:41 +0000 (19:47 +0000)]
- Import namespace std globally.
Christian Bauer [Sat, 6 Jan 2001 19:18:29 +0000 (19:18 +0000)]
when normal() doesn't recur any further because the specified recursion level
was reached, the remaining subexpression is replaced by a symbol to avoid
continuing with non-polynomial expressions
Christian Bauer [Wed, 3 Jan 2001 00:55:35 +0000 (00:55 +0000)]
just a test
Richard Kreckel [Tue, 2 Jan 2001 21:40:29 +0000 (21:40 +0000)]
- cleanup, removed some obsolte comments and warnings.
Richard Kreckel [Tue, 2 Jan 2001 17:48:50 +0000 (17:48 +0000)]
- Add Denny-Fliegner test.
Richard Kreckel [Tue, 2 Jan 2001 17:48:31 +0000 (17:48 +0000)]
- GiNaC-cint: Change to new (still experimental) scheme for handling 2-arg
operator new since <cln/object.h> defines such beasts.
Richard Kreckel [Tue, 2 Jan 2001 17:46:07 +0000 (17:46 +0000)]
- power::derivative(): slight optimization.
Christian Bauer [Sat, 30 Dec 2000 19:20:07 +0000 (19:20 +0000)]
-DIN_GINAC moved from CPPFLAGS to INCLUDES (as suggested in automake docs)
Christian Bauer [Sat, 30 Dec 2000 19:00:50 +0000 (19:00 +0000)]
man pages are included even if they are compressed
Richard Kreckel [Fri, 22 Dec 2000 20:46:56 +0000 (20:46 +0000)]
- fixed typo.
Richard Kreckel [Fri, 15 Dec 2000 20:47:51 +0000 (20:47 +0000)]
- utils.cpp, version.h.in: add version information to the library itself.
- numeric.*: It was not a good idea to have a cast from numeric to cl_N,
make a method to_cl_N, instead, in order not to confuse compilers.
Richard Kreckel [Fri, 15 Dec 2000 20:46:48 +0000 (20:46 +0000)]
- Some minor fixes.
Richard Kreckel [Fri, 15 Dec 2000 20:46:29 +0000 (20:46 +0000)]
- Makefile.am: target clean should remove G__*.
- ginaccint.bin.cpp: check for recent enough cint.
Richard Kreckel [Fri, 15 Dec 2000 20:45:59 +0000 (20:45 +0000)]
- Updated dependencies in INSTALL.
- Last fixes to NEWS.
- New config.guess and config.sub from FSF.
- Rewritten ginac.m4 to make it idiot-proof.
Richard Kreckel [Fri, 8 Dec 2000 03:41:56 +0000 (03:41 +0000)]
- Eduardo Kalinowskis documentation add-on.
Richard Kreckel [Thu, 7 Dec 2000 23:13:51 +0000 (23:13 +0000)]
- ctor numeric from char* now honors Digits variable.
Christian Bauer [Tue, 5 Dec 2000 23:02:14 +0000 (23:02 +0000)]
fixed typos
Christian Bauer [Tue, 5 Dec 2000 23:02:05 +0000 (23:02 +0000)]
Include files were not properly included in package
Richard Kreckel [Tue, 5 Dec 2000 20:29:40 +0000 (20:29 +0000)]
- It's CLN, not LIBCLN. sigh^2.
Richard Kreckel [Tue, 5 Dec 2000 20:23:15 +0000 (20:23 +0000)]
- It's CLN, not LIBCLN. sigh.
Richard Kreckel [Sat, 25 Nov 2000 01:19:44 +0000 (01:19 +0000)]
Transition to the (yet to be released) CLN 1.1.
Richard Kreckel [Sat, 25 Nov 2000 01:19:44 +0000 (01:19 +0000)]
Transition to the (yet to be released) CLN 1.1.
Christian Bauer [Thu, 16 Nov 2000 22:38:21 +0000 (22:38 +0000)]
removed non-sources from CVS
Christian Bauer [Thu, 16 Nov 2000 22:38:13 +0000 (22:38 +0000)]
disabled automake maintainer mode
Christian Bauer [Thu, 16 Nov 2000 22:12:24 +0000 (22:12 +0000)]
removed non-sources from CVS
Christian Bauer [Thu, 16 Nov 2000 22:08:52 +0000 (22:08 +0000)]
all man pages now display the current GiNaC version number
Christian Bauer [Thu, 16 Nov 2000 22:08:37 +0000 (22:08 +0000)]
- added man page for ginac-config
- all man pages now display the current GiNaC version number
Alexander Frink [Tue, 14 Nov 2000 23:28:27 +0000 (23:28 +0000)]
new iterative mul::expand()
Alexander Frink [Tue, 14 Nov 2000 23:28:12 +0000 (23:28 +0000)]
doobiidoo
Richard Kreckel [Sun, 29 Oct 2000 18:15:51 +0000 (18:15 +0000)]
- inifcns_trans.cpp: Added rules for atan(+/-1).
Richard Kreckel [Sun, 29 Oct 2000 18:15:15 +0000 (18:15 +0000)]
- INSTALL: Added success report for Cint 5.14.55,56.
- config.guess, config.sub: Updated to newer version from FSF.
Christian Bauer [Wed, 25 Oct 2000 18:33:32 +0000 (18:33 +0000)]
- non-integer powers are treated as 0 by (l)degree() and coeff()
Richard Kreckel [Tue, 24 Oct 2000 20:44:27 +0000 (20:44 +0000)]
- Corrected use of macro AM_PATH_GINAC.
Christian Bauer [Wed, 11 Oct 2000 00:40:48 +0000 (00:40 +0000)]
updated a little
Christian Bauer [Thu, 5 Oct 2000 19:48:34 +0000 (19:48 +0000)]
updated spec file which is now also included in the tarball
Richard Kreckel [Thu, 5 Oct 2000 19:11:59 +0000 (19:11 +0000)]
- config.guess, config.sub: upgraded from FSF.