Ex::iterator iterator
Definition Algorithm.hh:70
Algorithm(const Kernel &, Ex &)
Initialise the algorithm with a reference to the expression tree, but do not yet do anything with thi...
Definition Algorithm.cc:47
Ex::result_t result_t
Definition Algorithm.hh:73
Basic storage class for symbolic mathemematical expressions.
Definition Storage.hh:142
Definition FilledTableau.hh:8
Property representing a Young tableau with unlabelled boxes.
Definition Tableau.hh:14
tabdimension(const Kernel &, Ex &)
Definition tab_dimension.cc:7
virtual bool can_apply(iterator)
Definition tab_dimension.cc:12
int dimension
Definition tab_dimension.hh:19
const FilledTableau * ftab
Definition tab_dimension.hh:18
const Tableau * tab
Definition tab_dimension.hh:17
virtual result_t apply(iterator &)
Definition tab_dimension.cc:34
Functions to handle the exchange properties of two or more symbols in a product.
Definition Adjform.cc:83