basic * duplicate() const;
void print(const print_context & c, unsigned level = 0) const;
bool info(unsigned inf) const;
- bool has(const ex & other) const;
int degree(const ex & s) const;
int ldegree(const ex & s) const;
ex coeff(const ex & s, int n = 1) const;
return static_cast<const symbol &>(*e.bp);
}
+inline symbol &ex_to_nonconst_symbol(const ex &e)
+{
+ return static_cast<symbol &>(*e.bp);
+}
+
/** Specialization of is_exactly_a<symbol>(obj) for symbol objects. */
template<> inline bool is_exactly_a<symbol>(const basic & obj)
{