// functions overriding virtual functions from bases classes
public:
- basic * duplicate() const;
void print(std::ostream & os, unsigned upper_precedence=0) const;
void printraw(std::ostream & os) const;
void printtree(std::ostream & os, unsigned indent) const;
ex evalf(int level=0) const;
protected:
ex derivative(const symbol & s) const;
- int compare_same_type(const basic & other) const;
bool is_equal_same_type(const basic & other) const;
// new virtual functions which can be overridden by derived classes