Cadabra
Computer algebra system for field theory problems
Loading...
Searching...
No Matches
cadabra::fierz Class Reference

#include <fierz.hh>

Inheritance diagram for cadabra::fierz:
cadabra::Algorithm cadabra::IndexClassifier

Public Member Functions

 fierz (const Kernel &, Ex &, Ex &)
virtual bool can_apply (iterator) override
virtual result_t apply (iterator &) override
Public Member Functions inherited from cadabra::Algorithm
 Algorithm (const Kernel &, Ex &)
 Initialise the algorithm with a reference to the expression tree, but do not yet do anything with this tree.
virtual ~Algorithm ()
void set_progress_monitor (ProgressMonitor *)
 Provide the algorithm with a ProgressMonitor object on which to register (nested) progress information, to be reported out-of-band to a client.
result_t apply_generic (bool deep=true, bool repeat=false, unsigned int depth=0)
 The main entry points for running algorithms, which traverse the tree post-order ('child before parent').
result_t apply_generic (iterator &, bool deep, bool repeat, unsigned int depth)
result_t apply_pre_order (bool repeat=false)
 Apply algorithm with alternative traversal: starting from the top node, traverse the tree pre-order ('parent before child') and once the algorithm acts at a given node, do not traverse the subtree below anymore.
bool check_consistency (iterator) const
 Given an expression top node, check index consistency.
bool check_index_consistency (iterator) const
bool check_degree_consistency (iterator) const
 Given an expression top node, check differential form degree consistency.
void report_progress (const std::string &, int todo, int done, int count=2)
index_iterator begin_index (iterator it) const
index_iterator end_index (iterator it) const
unsigned int number_of_indices (iterator it)
std::string get_index_set_name (iterator it) const
bool rename_replacement_dummies (iterator, bool still_inside_algo=false)
 Rename the dummies in the sub-tree starting with head at the given iterator.
void pushup_multiplier (iterator)
 Determines whether the indicated node is 'like a factor in a product'.
template<class BinaryPredicate>
unsigned int intersection_number (sibling_iterator, sibling_iterator, sibling_iterator, sibling_iterator, BinaryPredicate) const
 Determine the number of elements in the first range which also occur in the second range.
void node_zero (iterator)
void node_one (iterator)
void node_integer (iterator, int)
Public Member Functions inherited from cadabra::IndexClassifier
 IndexClassifier (const Kernel &)
void fill_index_position_map (Ex::iterator, const index_map_t &, index_position_map_t &) const
 Routines to find and classify all indices in an expression, taking into account sums and products.
void fill_map (index_map_t &, Ex::sibling_iterator, Ex::sibling_iterator) const
void print_classify_indices (std::ostream &, Ex::iterator) const
void determine_intersection (index_map_t &one, index_map_t &two, index_map_t &target, bool move_out=false) const
 Determine those indices in 'two' which have a name which is identical to an index name occurring in 'one'.
void classify_add_index (Ex::iterator it, index_map_t &ind_free, index_map_t &ind_dummy) const
void classify_indices_up (Ex::iterator, index_map_t &ind_free, index_map_t &ind_dummy) const
 Classify indices bottom-up, that is, given a node, it goes up the tree to find.
void classify_indices (Ex::iterator, index_map_t &ind_free, index_map_t &ind_dummy) const
 Classify indices top-down, that is, finds the free indices and all dummy index pairs used in the full subtree below a given node.
int max_numbered_name_one (const std::string &nm, const index_map_t *one) const
int max_numbered_name (const std::string &, const index_map_t *m1, const index_map_t *m2=0, const index_map_t *m3=0, const index_map_t *m4=0, const index_map_t *m5=0) const
Ex get_dummy (const list_property *, const index_map_t *m1, const index_map_t *m2=0, const index_map_t *m3=0, const index_map_t *m4=0, const index_map_t *m5=0) const
Ex get_dummy (const list_property *, Ex::iterator) const
Ex get_dummy (const list_property *, Ex::iterator, Ex::iterator) const
bool index_in_set (Ex, const index_map_t *) const
void dumpmap (std::ostream &, const index_map_t &) const
index_map_t::iterator find_modulo_parent_rel (Ex::iterator it, index_map_t &imap) const
 Find an index in the set, not taking into account index position.

Private Attributes

Ex spinor_list
iterator spin1
iterator spin2
iterator spin3
iterator spin4
const Spinorprop1
const Spinorprop2
const Spinorprop3
const Spinorprop4
iterator gam1
iterator gam2
int dim
int spinordim
const Indicesindprop

Additional Inherited Members

Public Types inherited from cadabra::Algorithm
typedef Ex::iterator iterator
typedef Ex::post_order_iterator post_order_iterator
typedef Ex::sibling_iterator sibling_iterator
typedef Ex::result_t result_t
Public Types inherited from cadabra::IndexClassifier
typedef std::multimap< Ex, Ex::iterator, tree_exact_less_for_indexmap_objindex_map_t
 A map from a pattern to the position where it occurs in the tree.
typedef std::map< Ex::iterator, int, Ex::iterator_base_less > index_position_map_t
 A map from the position of each index to the sequential index.
Static Public Member Functions inherited from cadabra::Algorithm
static unsigned int number_of_indices (const Properties &, iterator it)
static unsigned int number_of_direct_indices (iterator it)
static bool is_termlike (iterator)
 Determines whether the indicated node is 'like a term in a sum'.
Public Attributes inherited from cadabra::Algorithm
bool interrupted
unsigned int number_of_calls
unsigned int number_of_modifications
bool suppress_normal_output
bool discard_command_node
Stopwatch index_sw
Stopwatch get_dummy_sw
Stopwatch report_progress_stopwatch
Protected Attributes inherited from cadabra::Algorithm
bool traverse_ldots
Protected Attributes inherited from cadabra::IndexClassifier
const Kernelkernel

Constructor & Destructor Documentation

◆ fierz()

fierz::fierz ( const Kernel & k,
Ex & e,
Ex & args )

Member Function Documentation

◆ apply()

Algorithm::result_t fierz::apply ( iterator & it)
overridevirtual

◆ can_apply()

bool fierz::can_apply ( iterator it)
overridevirtual

Member Data Documentation

◆ dim

int cadabra::fierz::dim
private

◆ gam1

iterator cadabra::fierz::gam1
private

◆ gam2

iterator cadabra::fierz::gam2
private

◆ indprop

const Indices* cadabra::fierz::indprop
private

◆ prop1

const Spinor* cadabra::fierz::prop1
private

◆ prop2

const Spinor * cadabra::fierz::prop2
private

◆ prop3

const Spinor * cadabra::fierz::prop3
private

◆ prop4

const Spinor * cadabra::fierz::prop4
private

◆ spin1

iterator cadabra::fierz::spin1
private

◆ spin2

iterator cadabra::fierz::spin2
private

◆ spin3

iterator cadabra::fierz::spin3
private

◆ spin4

iterator cadabra::fierz::spin4
private

◆ spinor_list

Ex cadabra::fierz::spinor_list
private

◆ spinordim

int cadabra::fierz::spinordim
private

The documentation for this class was generated from the following files: