return inherited::info(inf);
}
-ex constant::evalf(int level) const
+ex constant::evalf() const
{
if (ef!=nullptr) {
return ef();
unsigned constant::calchash() const
{
const void* typeid_this = (const void*)typeid(*this).name();
- hashvalue = golden_ratio_hash((p_int)typeid_this ^ serial);
+ hashvalue = golden_ratio_hash((uintptr_t)typeid_this ^ serial);
setflag(status_flags::hash_calculated);