![]() |
Cadabra
Computer algebra system for field theory problems
|
#include <TableauBase.hh>
Public Types | |
| typedef yngtab::filled_tableau< unsigned int > | tab_t |
| Public Types inherited from cadabra::property | |
| enum | match_t { no_match , id_match , exact_match } |
Public Member Functions | |
| virtual | ~TableauBase () |
| virtual std::string | name () const |
| virtual unsigned int | size (const Properties &, Ex &, Ex::iterator) const =0 |
| virtual tab_t | get_tab (const Properties &, Ex &, Ex::iterator, unsigned int) const =0 |
| virtual bool | only_column_exchange () const |
| int | get_indexgroup (const Properties &, Ex &, Ex::iterator, int) const |
| bool | is_simple_symmetry (const Properties &, Ex &, Ex::iterator) const |
| Public Member Functions inherited from cadabra::property | |
| property (bool hidden=false) | |
| virtual | ~property () |
| bool | parse_to_keyvals (const Ex &, keyval_t &) |
| virtual bool | parse (Kernel &, keyval_t &keyvals) |
| virtual bool | parse (Kernel &, std::shared_ptr< Ex >, keyval_t &keyvals) |
| virtual void | validate (Kernel &, std::shared_ptr< Ex >) const |
| virtual void | latex (std::ostream &) const |
| Display the property on the stream. | |
| virtual std::string | unnamed_argument () const |
| virtual match_t | equals (const property *) const |
| void | hidden (bool h) |
| Properties can be hidden because they only make sense to the system; they will not be printed when the user asks for a list of properties. | |
| bool | hidden (void) const |
| typedef yngtab::filled_tableau<unsigned int> cadabra::TableauBase::tab_t |
|
virtual |
| int TableauBase::get_indexgroup | ( | const Properties & | pr, |
| Ex & | tr, | ||
| Ex::iterator | it, | ||
| int | indexnum ) const |
|
pure virtual |
| bool TableauBase::is_simple_symmetry | ( | const Properties & | pr, |
| Ex & | tr, | ||
| Ex::iterator | it ) const |
|
virtual |
Implements cadabra::property.
Reimplemented in cadabra::AntiSymmetric, cadabra::DAntiSymmetric, cadabra::Derivative, cadabra::Diagonal, cadabra::EpsilonTensor, cadabra::ExteriorDerivative, cadabra::GammaMatrix, cadabra::InverseMetric, cadabra::KroneckerDelta, cadabra::Metric, cadabra::PartialDerivative, cadabra::RiemannTensor, cadabra::SatisfiesBianchi, cadabra::Symmetric, cadabra::TableauInherit, cadabra::TableauSymmetry, cadabra::Trace, and cadabra::WeylTensor.
|
inlinevirtual |
Reimplemented in cadabra::TableauSymmetry.
|
pure virtual |