[GiNaC-devel] New tinfo mechanism

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@maths.leeds.ac.uk -- www: http://maths.leeds.ac.uk/~kisilv/