- debugmsg("symbol print", LOGLEVEL_PRINT);
-
- if (is_of_type(c, print_tree)) {
-
- c.s << std::string(level, ' ') << name << " (" << class_name() << ")"
- << ", serial=" << serial
- << std::hex << ", hash=0x" << hashvalue << ", flags=0x" << flags << std::dec
- << std::endl;
-
- } else if (is_of_type(c, print_latex))
- c.s << TeX_name;
- else
- c.s << name;
-}
-
-bool symbol::info(unsigned inf) const
-{
- 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);