X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=blobdiff_plain;f=ginac%2Fsymbol.cpp;h=0bdebc0e88a514416b6032b822b4f6392dd89eed;hb=12fefbca9b424cb8e9ae05d83883b96e17c7b96e;hp=6eedfef3b6142b0fd4e53107ced16ccac916d830;hpb=b8150271ff497c2ef0c2a8748f5f53b4f1bab7c8;p=ginac.git diff --git a/ginac/symbol.cpp b/ginac/symbol.cpp index 6eedfef3..0bdebc0e 100644 --- a/ginac/symbol.cpp +++ b/ginac/symbol.cpp @@ -45,7 +45,7 @@ GINAC_IMPLEMENT_REGISTERED_CLASS_OPT(symbol, basic, // symbol symbol::symbol() - : inherited(&symbol::tinfo_static), serial(next_serial++), name(autoname_prefix() + ToString(serial)), TeX_name(name), domain(domain::complex), ret_type(return_types::commutative), ret_type_tinfo(&symbol::tinfo_static) + : inherited(&symbol::tinfo_static), serial(next_serial++), name(autoname_prefix() + ToString(serial)), TeX_name(name), domain(domain::complex), ret_type(return_types::commutative), ret_type_tinfo(make_return_type_t()) { setflag(status_flags::evaluated | status_flags::expanded); } @@ -73,24 +73,24 @@ possymbol::possymbol() // symbol symbol::symbol(const std::string & initname, unsigned domain) - : inherited(&symbol::tinfo_static), serial(next_serial++), name(initname), TeX_name(default_TeX_name()), domain(domain), ret_type(return_types::commutative), ret_type_tinfo(&symbol::tinfo_static) + : inherited(&symbol::tinfo_static), serial(next_serial++), name(initname), TeX_name(default_TeX_name()), domain(domain), ret_type(return_types::commutative), ret_type_tinfo(make_return_type_t()) { setflag(status_flags::evaluated | status_flags::expanded); } -symbol::symbol(const std::string & initname, unsigned rt, tinfo_t rtt, unsigned domain) +symbol::symbol(const std::string & initname, unsigned rt, const return_type_t& rtt, unsigned domain) : inherited(&symbol::tinfo_static), serial(next_serial++), name(initname), TeX_name(default_TeX_name()), domain(domain), ret_type(rt), ret_type_tinfo(rtt) { setflag(status_flags::evaluated | status_flags::expanded); } symbol::symbol(const std::string & initname, const std::string & texname, unsigned domain) - : inherited(&symbol::tinfo_static), serial(next_serial++), name(initname), TeX_name(texname), domain(domain), ret_type(return_types::commutative), ret_type_tinfo(&symbol::tinfo_static) + : inherited(&symbol::tinfo_static), serial(next_serial++), name(initname), TeX_name(texname), domain(domain), ret_type(return_types::commutative), ret_type_tinfo(make_return_type_t()) { setflag(status_flags::evaluated | status_flags::expanded); } -symbol::symbol(const std::string & initname, const std::string & texname, unsigned rt, tinfo_t rtt, unsigned domain) +symbol::symbol(const std::string & initname, const std::string & texname, unsigned rt, const return_type_t& rtt, unsigned domain) : inherited(&symbol::tinfo_static), serial(next_serial++), name(initname), TeX_name(texname), domain(domain), ret_type(rt), ret_type_tinfo(rtt) { setflag(status_flags::evaluated | status_flags::expanded); @@ -104,10 +104,10 @@ realsymbol::realsymbol(const std::string & initname, unsigned domain) realsymbol::realsymbol(const std::string & initname, const std::string & texname, unsigned domain) : symbol(initname, texname, domain) { } -realsymbol::realsymbol(const std::string & initname, unsigned rt, tinfo_t rtt, unsigned domain) +realsymbol::realsymbol(const std::string & initname, unsigned rt, const return_type_t& rtt, unsigned domain) : symbol(initname, rt, rtt, domain) { } -realsymbol::realsymbol(const std::string & initname, const std::string & texname, unsigned rt, tinfo_t rtt, unsigned domain) +realsymbol::realsymbol(const std::string & initname, const std::string & texname, unsigned rt, const return_type_t& rtt, unsigned domain) : symbol(initname, texname, rt, rtt, domain) { } // possymbol @@ -118,10 +118,10 @@ possymbol::possymbol(const std::string & initname, unsigned domain) possymbol::possymbol(const std::string & initname, const std::string & texname, unsigned domain) : symbol(initname, texname, domain) { } -possymbol::possymbol(const std::string & initname, unsigned rt, tinfo_t rtt, unsigned domain) +possymbol::possymbol(const std::string & initname, unsigned rt, const return_type_t& rtt, unsigned domain) : symbol(initname, rt, rtt, domain) { } -possymbol::possymbol(const std::string & initname, const std::string & texname, unsigned rt, tinfo_t rtt, unsigned domain) +possymbol::possymbol(const std::string & initname, const std::string & texname, unsigned rt, const return_type_t& rtt, unsigned domain) : symbol(initname, texname, rt, rtt, domain) { } ////////// @@ -287,7 +287,8 @@ bool symbol::is_equal_same_type(const basic & other) const unsigned symbol::calchash() const { - hashvalue = golden_ratio_hash((p_int)tinfo() ^ serial); + const void* this_tinfo = (const void*)typeid(*this).name(); + hashvalue = golden_ratio_hash((p_int)this_tinfo ^ serial); setflag(status_flags::hash_calculated); return hashvalue; }