#include <string>
-#include "ginac.h"
+#include "clifford.h"
+#include "ex.h"
+#include "ncmul.h"
#include "utils.h"
//////////
debugmsg("clifford default constructor",LOGLEVEL_CONSTRUCT);
serial=next_serial++;
name=autoname_prefix()+ToString(serial);
- tinfo_key=TINFO_CLIFFORD;
+ tinfo_key=TINFO_clifford;
}
clifford::~clifford()
debugmsg("clifford constructor from string",LOGLEVEL_CONSTRUCT);
name=initname;
serial=next_serial++;
- tinfo_key=TINFO_CLIFFORD;
+ tinfo_key=TINFO_clifford;
}
//////////
int clifford::compare_same_type(basic const & other) const
{
- ASSERT(other.tinfo() == TINFO_CLIFFORD);
+ ASSERT(other.tinfo() == TINFO_clifford);
const clifford *o = static_cast<const clifford *>(&other);
if (serial==o->serial) {
return indexed::compare_same_type(other);