unsigned return_type() const { return ret_type; }
tinfo_t return_type_tinfo() const { return ret_type_tinfo; }
ex conjugate() const;
+ bool is_polynomial(const ex & var) const;
protected:
ex derivative(const symbol & s) const;
bool is_equal_same_type(const basic & other) const;