int constant::compare_same_type(basic const & other) const
{
- ASSERT(is_exactly_of_type(other, constant));
+ GINAC_ASSERT(is_exactly_of_type(other, constant));
// constant const & o=static_cast<constant &>(const_cast<basic &>(other));
// return name.compare(o.name);
const constant *o = static_cast<const constant *>(&other);
bool constant::is_equal_same_type(basic const & other) const
{
- ASSERT(is_exactly_of_type(other, constant));
+ GINAC_ASSERT(is_exactly_of_type(other, constant));
const constant *o = static_cast<const constant *>(&other);
return serial==o->serial;
}