[GiNaC-devel] New tinfo mechanism

[Vladimir V. Kisil]

		Dear All,

		I wish to identify an object by the new tinfo mechanism. I used
  the naive expression

ex_to<basic>(other).return_type_tinfo()

  However for ncmul, for example, it still returns the type of the first
  non-commutative factor, not make_return_type_t<ncmul>() as may be
  expected from basic::return_type_info(). 

  What is most correct way to get the ncmul identified?

  Many thanks and best wishes,
  Vladimir
-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
--                      www: http://maths.leeds.ac.uk/~kisilv/