Parent Directory
| 
Revision Log
| Links to HEAD: | (view) (annotate) |
| Sticky Tag: |
* Happy New Year(s)!
* Happy New Year(s)!
- New tinfo mechanism (Remark: return_type_tinfo returns basic* now) - Removed rtt from class symbol.
* Last week, the FSF has moved their office.
* Last week, the FSF has moved their office.
Happy new year!
Happy new year!
Added integral class.
Happy New Year!
Happy New Year!
use new-style print methods
merging 1.2 branch into main trunk
func(void) -> func() (this is C++, dammit :)
*** empty log message ***
- prepared for 1.0.13 release - synced to 1.1
* Sync 1.1 branch to 1.0 mainline.
* 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.
- 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().
* 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)
- Instead of just totally symmetric or antisymmetric, complex symmetries can now be defined for indexed objects. Symmetries are described by a tree of "symmetry" objects that is constructed with the sy_none(), sy_symm(), sy_anti() and sy_cycl() functions. The symmetry of a function with respect to its arguments can also be defined (this is currently only used for the Beta function). - color_trace() and dirac_trace() can be applied to a more general class of expressions, e.g. using it on a relation will take the trace on both sides etc. - Generalized map() to take a function object instead of a function pointer. This allows passing an arbitrary number of additional state to the function being called. - The unarchiving functinos find_bool(), find_unsigned() and find_string() can take an additional "index" argument.
- fixed typos - c*M^n with M being a matrix wasn't correctly evalm()'d for n!=1
- first implementation of pattern matching
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 |