16 using map_t = std::map<adjform_t, mpq_class>;
58 std::vector<Ex::iterator>
split_ex(Ex::iterator it,
const std::string& delim);
59 std::vector<Ex::iterator>
split_ex(Ex::iterator it,
const std::string& delim, Ex::iterator pat);
result_t apply_known(iterator &it)
Definition: young_reduce.cc:410
short index_t
Definition: young_reduce.hh:10
Base class for all algorithms, containing generic routines and in particular the logic for index clas...
Definition: Algorithm.hh:59
std::vector< nset_t::iterator > index_map
Definition: young_reduce.hh:92
yr::index_t get_free_index(nset_t::iterator name)
Definition: young_reduce.cc:656
Basic storage class for symbolic mathemematical expressions.
Definition: Storage.hh:140
yr::ProjectedForm pat_sym
Definition: young_reduce.hh:85
yr::ProjectedForm symmetrize(Ex::iterator it)
Definition: young_reduce.cc:547
std::vector< index_t > adjform_t
Definition: young_reduce.hh:11
Definition: young_reduce.hh:65
adjform_t collapse_dummy_indices(adjform_t adjform)
Definition: young_reduce.cc:337
virtual bool can_apply(iterator it) override
Definition: young_reduce.cc:381
Ex rhs(Ex_ptr ex)
Definition: py_ex.cc:305
result_t apply_unknown(iterator &it)
Definition: young_reduce.cc:455
std::vector< Ex::iterator > split_ex(Ex::iterator it, const std::string &delim)
Definition: young_reduce.cc:299
~young_reduce()
Definition: young_reduce.cc:376
bool has_TableauBase(Ex::iterator it, const cadabra::Kernel &kernel)
Definition: young_reduce.cc:286
Ex::iterator iterator
Definition: Algorithm.hh:70
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Algorithm.cc:1045
const Kernel & kernel
Definition: IndexClassifier.hh:66
young_reduce(const Kernel &kernel, Ex &ex, const Ex *pattern=nullptr)
Definition: young_reduce.cc:367
int k
Definition: passing.cc:4
bool check_structure(Ex::iterator lhs, Ex::iterator rhs)
Definition: young_reduce.cc:254
bool set_pattern(Ex::iterator new_pat)
Definition: young_reduce.cc:522
Ex::iterator pat
Definition: young_reduce.hh:84
result_t
Keeping track of what algorithms have done to this expression.
Definition: Storage.hh:159
Ex lhs(Ex_ptr ex)
Definition: py_ex.cc:293
virtual result_t apply(iterator &it) override
Definition: young_reduce.cc:391
yr::adjform_t to_adjform(Ex::iterator it)
Definition: young_reduce.cc:615
adjform_t expand_dummy_indices(adjform_t adjform)
Definition: young_reduce.cc:350