- debugmsg("constant duplicate",LOGLEVEL_DUPLICATE);
- return new constant(*this);
+ c.s << class_name() << "('" << name << "'";
+ if (TeX_name != "\\mbox{" + name + "}")
+ c.s << ",TeX_name='" << TeX_name << "'";
+ c.s << ')';
+}
+
+bool constant::info(unsigned inf) const
+{
+ if (inf == info_flags::polynomial)
+ return true;
+ if (inf == info_flags::real)
+ return domain==domain::real || domain==domain::positive ;
+ if (inf==info_flags::positive || inf==info_flags::nonnegative)
+ return domain == domain::positive;
+ else
+ return inherited::info(inf);