Hi, the GiNaC documentation says: In contrast, 'is_exactly_a<T>(e)' allows you to check whether the top-level object of an expression 'e' is an instance of the GiNaC class 'T', not including parent classes. Shouldn't this read "not including subclasses"? Otherwise, I don't understand what the documentation wants to say. Greetings, Jan