static void conjugate_print_latex(const ex & arg, const print_context & c)
{
- c.s << "\bar{"; arg.print(c); c.s << "}";
+ c.s << "\\bar{"; arg.print(c); c.s << "}";
}
static ex conjugate_conjugate(const ex & arg)
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)
+ 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;
+ if (inf == info_flags::real)
+ return domain == symbol_options::real;
else
return inherited::info(inf);
}