 |
Cadabra
Computer algebra system for field theory problems
|
Go to the documentation of this file.
57 Ex::iterator
one, Ex::iterator two,
58 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2,
59 bool literal_wildcards=
false);
64 const Ex&
one,
const Ex& two,
65 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2);
67 const Ex&
one,
const Ex& two,
68 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2);
70 const Ex&
one,
const Ex& two,
71 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2,
72 bool literal_wildcards=
false);
74 const Ex&
one,
const Ex& two,
75 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2,
76 bool literal_wildcards=
false);
79 Ex::iterator
one, Ex::iterator two,
80 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2);
82 Ex::iterator
one, Ex::iterator two,
83 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2);
85 Ex::iterator
one, Ex::iterator two,
86 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2,
87 bool literal_wildcards=
false);
89 Ex::iterator
one, Ex::iterator two,
90 int mod_prel=-2,
bool checksets=
true,
int compare_multiplier=-2,
91 bool literal_wildcards=
false);
252 Ex::sibling_iterator
lhs, Ex::sibling_iterator tofind,
253 Ex::sibling_iterator st, Ex::iterator conditions);
263 Ex::sibling_iterator
lhs, Ex::sibling_iterator tofind,
264 Ex::sibling_iterator st, Ex::iterator conditions);
317 bool ignore_implicit_indices=
false);
332 Ex::sibling_iterator two,
bool fix_one=
false) ;
342 int can_move_adjacent(Ex::iterator prod,
const std::vector<Ex::sibling_iterator>& factors, Ex::sibling_iterator to_move);
355 bool nobrackets=
false,
357 bool ignore_parent_rel=
false);
368 std::string
tab()
const;
403 bool operator<(
const cadabra::Ex::iterator&,
const cadabra::Ex::iterator&);
Ex_comparator(const Properties &)
Definition: Compare.cc:419
bool operator()(const Ex &, const Ex &)
Definition: Compare.cc:1706
const Properties * properties
Definition: Compare.hh:150
Definition: Compare.hh:137
const Properties * properties
Definition: Compare.hh:100
std::vector< int > factor_moving_signs
Definition: Compare.hh:293
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:210
tree_exact_less_mod_prel_obj(const Properties *)
Definition: Compare.cc:255
void set_value_matches_index(bool)
Determine whether Coordinates in the pattern (first argument to functions below) can match against In...
Definition: Compare.cc:424
bool tree_exact_equal(const Properties *properties, const Ex &one, const Ex &two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
Definition: Compare.cc:160
const Properties * properties
Definition: Compare.hh:134
bool subtree_equal(const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier)
Definition: Compare.cc:172
Definition: Compare.hh:103
std::string tab() const
Definition: Compare.cc:429
const Properties & properties
Definition: Compare.hh:387
int can_swap_prod_sum(Ex::iterator prod, Ex::iterator sum, bool)
Definition: Compare.cc:1372
match_t
Definition: Compare.hh:196
bool operator()(const Ex &, const Ex &)
Definition: Compare.cc:1718
Compare two trees exactly, treat wildcard names as ordinary names.
Definition: Compare.hh:167
useprops_t
Definition: Compare.hh:207
replacement_map_t replacement_map
Definition: Compare.hh:275
std::ostream & operator<<(std::ostream &, cadabra::Ex_comparator::useprops_t up)
Definition: Compare.cc:1737
tree_exact_less_no_wildcards_obj()
Definition: Compare.cc:235
int can_swap_prod_obj(Ex::iterator prod, Ex::iterator obj, bool)
Definition: Compare.cc:1312
const Properties & properties
Definition: Compare.hh:345
tree_exact_less_obj(const Properties *)
Definition: Compare.cc:225
const Properties & properties
Definition: Compare.hh:395
bool subtree_less(const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier)
Definition: Compare.cc:165
Ex_is_less(const Properties &, int mod_prel)
Definition: Compare.cc:1713
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:220
Compare two trees exactly, i.e. including exact index names.
Definition: Compare.hh:121
std::vector< Ex::sibling_iterator > factor_locations
Information to keep track of where individual factors/terms in a sub-product/sub-sum were found,...
Definition: Compare.hh:292
bool lhs_contains_dummies
Flag to indicate whether additional care must be taken to handle dummies in the lhs of the pattern.
Definition: Compare.hh:299
const Properties * properties
Definition: Compare.hh:108
bool subtree_exact_equal(const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
Definition: Compare.cc:187
const Properties * properties
Definition: Compare.hh:181
static int offset
Definition: Compare.hh:375
bool satisfies_conditions(Ex::iterator conditions, std::string &error)
Check whether the a match found by calling equal_subtree or match_subproduct satisfies the conditions...
Definition: Compare.cc:1556
int subtree_compare(const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool, int compare_multiplier, bool literal_wildcards)
Definition: Compare.cc:33
tree_exact_equal_obj(const Properties *)
int can_swap_sum_sum(Ex::iterator sum1, Ex::iterator sum2, bool)
Definition: Compare.cc:1389
bool value_matches_index
Definition: Compare.hh:347
std::map< Ex, Ex, tree_exact_less_no_wildcards_obj > replacement_map_t
Map for the replacement of nodes (indices, patterns).
Definition: Compare.hh:274
int can_swap(Ex::iterator one, Ex::iterator two, match_t subtree_comparison, bool ignore_implicit_indices=false)
Determine whether obj and obj+1 be exchanged? If yes, return the sign, if no return zero.
Definition: Compare.cc:1461
subtree_replacement_map_t subtree_replacement_map
Definition: Compare.hh:280
Definition: Compare.hh:145
int can_swap_ilist_ilist(Ex::iterator obj1, Ex::iterator obj2)
Definition: Compare.cc:1406
multiplier_t term_ratio
Definition: Compare.hh:294
match_t match_subtree(const Ex &, Ex::iterator i1, Ex::iterator i2, Ex::iterator conditions)
Match two subtrees, new-style equal_subtree that handles conditions; this is what substitute uses.
Definition: Compare.cc:290
Definition: Compare.hh:192
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:245
bool tree_equal(const Properties *properties, const Ex &one, const Ex &two, int mod_prel, bool checksets, int compare_multiplier)
Definition: Compare.cc:150
const Properties * properties
Definition: Compare.hh:173
bool tree_less(const Properties *properties, const Ex &one, const Ex &two, int mod_prel, bool checksets, int compare_multiplier)
Various comparison functions, some exact, some with pattern logic.
Definition: Compare.cc:145
replacement_map_t index_value_map
Map for matching of index names to index values.
Definition: Compare.hh:285
void one(rset_t::iterator &num)
Definition: Storage.cc:1024
int can_move_adjacent(Ex::iterator prod, Ex::sibling_iterator one, Ex::sibling_iterator two, bool fix_one=false)
Determine whether object 'one' and 'two' can be moved next to each other by moving either one or the ...
Definition: Compare.cc:1130
Ex_is_equivalent(const Properties &)
Definition: Compare.cc:1701
bool subtree_exact_less(const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
Definition: Compare.cc:179
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:240
bool operator<(const cadabra::Ex::iterator &, const cadabra::Ex::iterator &)
Definition: Compare.cc:1727
bool tree_exact_less(const Properties *properties, const Ex &one, const Ex &two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
Definition: Compare.cc:155
int can_move_to_front(Ex &, Ex::iterator prod, Ex::sibling_iterator one)
Determine whether object 'one' can be moved to be the first factor in the given product.
Definition: Compare.cc:1185
tree_exact_less_no_wildcards_mod_prel_obj(const Properties *)
const Properties * properties
Definition: Compare.hh:116
const Properties * properties
Definition: Compare.hh:126
tree_equal_obj(const Properties *)
Definition: Compare.cc:215
@ no_match_indexpos_greater
Functions to handle the exchange properties of two or more symbols in a product.
Definition: Adjform.cc:83
match_t equal_subtree(Ex::iterator i1, Ex::iterator i2, useprops_t use_props=useprops_t::always, bool ignore_parent_rel=false)
Match two subtrees taking into account symbol properties.
Definition: Compare.cc:304
Definition: Storage.hh:141
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:265
Definition: Compare.hh:111
match_t match_subproduct(const Ex &, Ex::sibling_iterator lhs, Ex::sibling_iterator tofind, Ex::sibling_iterator st, Ex::iterator conditions)
Find a sub-product in a product.
Definition: Compare.cc:904
match_t match_subsum(const Ex &, Ex::sibling_iterator lhs, Ex::sibling_iterator tofind, Ex::sibling_iterator st, Ex::iterator conditions)
Find a sub-sum in a sum.
Definition: Compare.cc:998
bool can_swap_different_indexsets(Ex::iterator obj1, Ex::iterator obj2)
Definition: Compare.cc:1435
int mod_prel
Definition: Compare.hh:396
std::map< nset_t::iterator, Ex::iterator, nset_it_less > subtree_replacement_map_t
Map for the replacement of entire subtrees (object patterns).
Definition: Compare.hh:279
match_t report(match_t r) const
Definition: Compare.cc:437
mpq_class multiplier_t
Definition: Storage.hh:38
tree_less_modprel_obj(const Properties *)
Definition: Compare.cc:205
Definition: Compare.hh:176
Definition: Compare.hh:129
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:260
Ex lhs(Ex_ptr ex)
Definition: py_ex.cc:342
match_t compare(const Ex::iterator &, const Ex::iterator &, bool nobrackets=false, useprops_t use_props=useprops_t::always, bool ignore_parent_rel=false)
Internal entry point.
Definition: Compare.cc:475
Compare two trees by pattern logic, i.e. modulo index names.
Definition: Compare.hh:95
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:270
int can_swap_prod_prod(Ex::iterator prod1, Ex::iterator prod2, bool)
Definition: Compare.cc:1337
bool should_swap(Ex::iterator obj, match_t subtree_comparison)
Determine whether two objects should be swapped according to the available SortOrder properties.
Definition: Compare.cc:1272
tree_exact_equal_mod_prel_obj(const Properties *)
tree_less_obj(const Properties *)
Definition: Compare.cc:195
void clear()
Reset the object for a new match.
Definition: Compare.cc:281
Compare for indexmap_t.
Definition: Compare.hh:160
const char error[]
Definition: Snoop.hh:338
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:200
const Properties * properties
Definition: Compare.hh:142
int can_swap_sum_obj(Ex::iterator sum, Ex::iterator obj, bool)
Definition: Compare.cc:1353
int can_swap_components(Ex::iterator one, Ex::iterator two, match_t subtree_comparison)
Wrapper for can_swap which is meant for objects that have implicit indices.
Definition: Compare.cc:1195
bool name_match_with_autodeclare(Ex::sibling_iterator one, Ex::sibling_iterator two) const
Match the name elements of a node, but take into account that one of them can be an autodeclare name ...
Definition: Compare.cc:893
Definition: Compare.hh:390
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:230
Definition: Compare.hh:382
bool operator()(const Ex &first, const Ex &second) const
Definition: Compare.cc:250