#include "IndexIterator.hh" #include "Exceptions.hh" #include "Kernel.hh" #include "Algorithm.hh" #include "properties/WeylTensor.hh" using namespace cadabra; WeylTensor::WeylTensor() { tab_t tab; tab.add_box(0,0); tab.add_box(0,2); tab.add_box(1,1); tab.add_box(1,3); tabs.push_back(tab); } WeylTensor::~WeylTensor() { } std::string WeylTensor::name() const { return "WeylTensor"; } // Traceless and TableauSymetry args are overwritten elsewhere bool WeylTensor::parse(Kernel&, keyval_t& ) { return true; } void WeylTensor::validate(const Kernel& kernel, const Ex& pat) const { if(Algorithm::number_of_indices(kernel.properties, pat.begin())!=4) throw ConsistencyException("WeylTensor: need exactly 4 indices."); index_iterator indit=index_iterator::begin(kernel.properties, pat.begin()); auto ind=kernel.properties.get(indit, true); // We cannot access the right things from parse() if(ind) { WeylTensor *ptr = const_cast(this); ptr->index_set_names.insert(ind->set_name); } } void WeylTensor::latex(std::ostream& str) const { TableauSymmetry::latex(str); Traceless::latex(str); }