Parent Directory
| 
Revision Log
| Links to HEAD: | (view) (annotate) |
| Links to release_1-0-6: | (view) (annotate) |
| Sticky Tag: |
* Finilize version 1.0.4 (version numbers, copyrights and such rubbish).
- 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.
- 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.
- replaced the Derivative() function by a more resonable fderivative class; to see it in action, try "series(abs(x),x==0,3)" and "series(abs(x),x==y,3)" in ginsh with previous GiNaC releases and with this one - add::eval() throws an exception when the first term is non-commutative and the overall_coeff is non-zero - small fixes to print_tree output of indexed objects - ncmul::expand() now actually does expand something like "(dirac_gamma(mu)+1) *dirac_gamma(nu)" correctly (but the change to add::eval() should make this a "can't happen" case) - moved ToString() to tostring.h (fewer header dependencies) - ALL YOUR "BASES CLASSES" ARE BELONG TO US
- added find() (like has(), but returns list of all occurrences)
- added lst::sort() and lst::unique()
- status_flags::expanded is only taken into account when no expand options
are specified. This makes it possible to re-expand with other options.
- added expand_options::expand_function_args
- collect(foo, {}) doesn't crash any more
- introduced match_same_type() method which is slightly similar to
is_equal_same_type() but doesn't check subexpressions. Fixed a number of
match() bugs with this (e.g. a==b matched a!=b, and matrices with different
dimensions but the same number of elements could match). Only container
classes with additional member variables that have to be equal for a match
need to implement match_same_type().
- The default implementations of evalf(), diff(), normal() and expand() use map() where useful. This has the nice effect of having a more reasonable default behaviour for container functions (most of the evalfchildren() etc. stuff is gone). - diff() works with non-commutative products (product rule) and no longer bails on indexed objects. - added decomp_rational() - added sqrfree_parfrac() which doesn't yet work in the general case and is unsupported
* Supplement some (now deprecated) macros by inlined template functions: - ex_to_foobar(baz) -> ex_to<foobar>(baz).
* Supplement some (now deprecated) macros by inlined template functions: - is_of_type(foo, type) -> is_a<type>(foo) - is_ex_of_type(foo, type) -> is_a<type>(foo) - is_exaclty_of_type(foo, type) -> is_exaclty_a<type>(foo) - is_ex_exaclty_of_type(foo, type) -> is_exaclty_a<type>(foo)
- 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
- first implementation of pattern matching
- 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
- color and clifford classes are quite functional now - new "spinidx" class for dotted/undotted indices - predefined spinor metric tensor (created by spinor_metric())
- replaced the various print*() member functions by a single print() that takes a print_context object that determines the output formatting; this should make it easier to add more output types - print_tree output of indexed objects looks better
- subs() can be used to substitute functions, tensors and indexed objects - op(0) of an idx object returns the index value; a nice side-effect of this is that idx'es no longer all have the same hash value - added checks for clifford class
- added Clifford algebra unity element
- superfluous unity elements are removed from Clifford and color strings
- added Clifford contractions:
gamma~mu*gamma.mu
gamma~mu*gamma~alpha*gamma.mu
- added color contractions:
d.aac
d.abc*d.abc
d.akl*d.bkl
d.abc*f.abc
d.akl*f.bkl
f.abc*f.abc
f.akl*f.bkl
- delta tensor and color structure constants can be evaluated numerically
- color_T(), color_d() and color_f() check their arguments
- added a couple of utility functions to idx.*
- simplify_indexed() doesn't crash any more when used on expressions containing
noncommutative products
added predefined epsilon tensor
- revamped indexed objects - subs() works on matrices
* 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.
GINAC_DECLARE_REGISTERED_CLASS declares duplicate() and compare_same_type(), GINAC_IMPLEMENT_REGISTERED_CLASS implements duplicate()
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
removed the "some_*" and "typeid_*" definitions since we are using our own RTTI for quite some time now
- 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
- 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))
- 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. :-)
fixed typos
- Inserted some more std:: to make it compile under GCC2.96.
- fixes to the indentation
- indentation is now done with tabs - printtree() prints the class names as known to the registrar, not the (mangled) class names from typeid().name()
- Derivatives are now assembled in a slightly different manner (i.e. they 'look' different on first sight). Under certain circumstances this can result in a dramatic speedup because it gives hashing a better chance, especially when computing higher derivatives. - Series expansion accepts an additional bool argument now, telling it whether branch cuts are to be honored (as Maple does it) or not (as Mathematica does it). It defaults to true (i.e. the Maple way). - Many series expansions of built-in functions have been reengineered. - The Dilogarithm (Li2) now has floating point evaluation, derivative and a proper series expansion. - Namespace 'std' cleanly disentangled, as demanded by ISO/EIC 14882-1998(E). - Some helpers updated from upstream.
- Renamed flag NO_GINAC_NAMESPACE to NO_NAMESPACE_GINAC because of m4. - Made configure check for cint and makecint and call makecint to dump out cint/Makefile.cint, which will later be called by cint/Makefile. See configure option --with-cint. - Added some documentation about GiNaC-cint (e.g. a manpage). - All dummies in subdir cint/ are created by cint/dummies.pl now, removed older stuff.
- building GiNaC in a separate directory now works
- renamed archive::dump() to archive::printraw() for consistency with the other classes - implemented archiving for the following classes: color, idx, coloridx, isospin - non-crational numbers are now stored in an integer-decoded format in archives
- changed all instances of "foo const &/*" to "const foo &/*" - changed function arguments like "int const" to a simple "int"
- made nops() return unsigned instead of int - changed dates in copyright notices
#ifndef around namespace GiNaC { }
- put everything in "GiNaC" namespace - converted some macros into inline functions - split debugmsg.h into assertion.h (public) and debugmsg.h (private)
- modified the comment blocks so the copyright message no longer appears in the reference manual (made by Doxygen)
added setname/getname to idx
- modified GiNaC headers to Alexander's liking
- enforced GiNaC coding standards :-)
- switched to automake build environment
This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.
| Christian Bauer">Christian Bauer | ViewVC Help |
| Powered by ViewVC 1.1.15 |