// If symbol is in sym_lst, return the existing symbol
for (unsigned i=0; i<sym_lst.nops(); i++) {
- if (is_ex_of_type(sym_lst.op(i), symbol) && (ex_to_symbol(sym_lst.op(i)).name == ex_to_symbol(s).name))
+ if (is_ex_of_type(sym_lst.op(i), symbol) && (ex_to<symbol>(sym_lst.op(i)).name == ex_to<symbol>(s).name))
return sym_lst.op(i);
}
return s;
return inherited::info(inf);
}
-ex symbol::expand(unsigned options) const
-{
- return this->hold();
-}
-
-bool symbol::has(const ex & other) const
-{
- if (this->is_equal(*other.bp))
- return true;
- else
- return false;
-}
-
int symbol::degree(const ex & s) const
{
return is_equal(*s.bp) ? 1 : 0;