int clifford::compare_same_type(const basic & other) const
{
- GINAC_ASSERT(is_of_type(other, clifford));
+ GINAC_ASSERT(is_a<clifford>(other));
const clifford &o = static_cast<const clifford &>(other);
if (representation_label != o.representation_label) {
bool clifford::match_same_type(const basic & other) const
{
- GINAC_ASSERT(is_of_type(other, clifford));
+ GINAC_ASSERT(is_a<clifford>(other));
const clifford &o = static_cast<const clifford &>(other);
return representation_label == o.representation_label;