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;
}
-void clifford::print(const print_context & c, unsigned level = 0) const
+void clifford::print(const print_context & c, unsigned level) const
{
if (!is_a<diracgamma5>(seq[0]) && !is_a<diracgamma>(seq[0]) && !is_a<diracone>(seq[0])) {