- if (inf==info_flags::symbol) return true;
- if (inf==info_flags::polynomial ||
- inf==info_flags::integer_polynomial ||
- inf==info_flags::cinteger_polynomial ||
- inf==info_flags::rational_polynomial ||
- inf==info_flags::crational_polynomial ||
- inf==info_flags::rational_function) {
- return true;
- } else {
- return inherited::info(inf);
- }
-}
-
-ex symbol::expand(unsigned options) const
-{
- return this->hold();
-}
-
-bool symbol::has(const ex & other) const
-{
- if (is_equal(*other.bp)) return true;
- return false;
-}
-
-int symbol::degree(const symbol & s) const
-{
- return compare_same_type(s)==0 ? 1 : 0;
-}
-
-int symbol::ldegree(const symbol & s) const
-{
- return compare_same_type(s)==0 ? 1 : 0;
-}
-
-ex symbol::coeff(const symbol & s, int n) const
-{
- if (compare_same_type(s)==0) {
- return n==1 ? _ex1() : _ex0();
- } else {
- return n==0 ? *this : _ex0();
- }
+ if (inf==info_flags::symbol) return true;
+ if (inf==info_flags::polynomial ||
+ inf==info_flags::integer_polynomial ||
+ inf==info_flags::cinteger_polynomial ||
+ inf==info_flags::rational_polynomial ||
+ inf==info_flags::crational_polynomial ||
+ inf==info_flags::rational_function)
+ return true;
+ else
+ return inherited::info(inf);