X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fsymbol.h;h=90013144ccd5d7f88e28a280055b54c814c193df;hp=9c7e526d6dca881b89c35a49e39fff2feb89c27b;hb=f79727f9acf4f78ff71cbe324c333c234c211cb5;hpb=aa378587448168767c40dcfc4c819d2893fc24a5;ds=sidebyside

diff --git a/ginac/symbol.h b/ginac/symbol.h
index 9c7e526d..90013144 100644
--- a/ginac/symbol.h
+++ b/ginac/symbol.h
@@ -132,7 +132,10 @@ public:
 /** Specialization of is_exactly_a<realsymbol>(obj) for realsymbol objects. */
 template<> inline bool is_exactly_a<realsymbol>(const basic & obj)
 {
-	return (obj.tinfo() == &symbol::tinfo_static) && (static_cast<const symbol &>(obj).get_domain() == domain::real);
+	if (obj.tinfo() != &symbol::tinfo_static)
+		return false;
+	unsigned domain = static_cast<const symbol &>(obj).get_domain();
+	return domain==domain::real || domain==domain::positive;
 }
 
 // wrapper functions around member functions