A better return_type_tinfo() mechanism.
authorAlexei Sheplyakov <varg@theor.jinr.ru>
Fri, 17 Oct 2008 09:15:03 +0000 (13:15 +0400)
committerAlexei Sheplyakov <varg@theor.jinr.ru>
Sun, 19 Oct 2008 17:29:11 +0000 (21:29 +0400)
commit12fefbca9b424cb8e9ae05d83883b96e17c7b96e
tree490c54e6ce24611248d998bdeb88d8b534294f70
parentb573b0146341709649f373e0fc5c0d440877ebaf
A better return_type_tinfo() mechanism.

return_type_tinfo() is used in order to distingish between non-commutative
objects of different type. However, often it's necessary to distingish
between non-commutative objects of the same type, for example, between
gamma matrices with different representation label. return_type_tinfo()
does not provide any clean way to do that. Hence, introduce return_type_t
type which holds representation label along with type information, and
use it for return_type_tinfo().
25 files changed:
ginac/add.cpp
ginac/add.h
ginac/basic.cpp
ginac/basic.h
ginac/clifford.cpp
ginac/clifford.h
ginac/color.cpp
ginac/color.h
ginac/ex.h
ginac/function.pl
ginac/indexed.h
ginac/integral.cpp
ginac/integral.h
ginac/mul.cpp
ginac/mul.h
ginac/ncmul.cpp
ginac/ncmul.h
ginac/power.cpp
ginac/power.h
ginac/registrar.h
ginac/relational.cpp
ginac/relational.h
ginac/structure.h
ginac/symbol.cpp
ginac/symbol.h