Cadabra
Computer algebra system for field theory problems
Namespaces | Macros | Functions
Compare.cc File Reference
#include <typeinfo>
#include "Compare.hh"
#include "Algorithm.hh"
#include <sstream>
#include <regex>
#include "properties/Indices.hh"
#include "properties/Coordinate.hh"
#include "properties/ImplicitIndex.hh"
#include "properties/SelfCommutingBehaviour.hh"
#include "properties/CommutingAsSum.hh"
#include "properties/CommutingAsProduct.hh"
#include "properties/CommutingBehaviour.hh"
#include "properties/DifferentialForm.hh"
#include "properties/DiracBar.hh"
#include "properties/Integer.hh"
#include "properties/SortOrder.hh"

Namespaces

 cadabra
 Functions to handle the exchange properties of two or more symbols in a product.
 

Macros

#define DEBUGLN(ln)
 

Functions

int cadabra::subtree_compare (const Properties *, Ex::iterator one, Ex::iterator two, int mod_prel=-2, bool checksets=true, int compare_multiplier=-2, bool literal_wildcards=false)
 Basic building block subtree comparison function for tensors without dummy indices, which determines whether two tensor subtrees are equal up to the names of indices. More...
 
bool cadabra::tree_less (const Properties *, const Ex &one, const Ex &two, int mod_prel=-2, bool checksets=true, int compare_multiplier=-2)
 Various comparison functions, some exact, some with pattern logic. More...
 
bool cadabra::tree_equal (const Properties *properties, const Ex &one, const Ex &two, int mod_prel, bool checksets, int compare_multiplier)
 
bool cadabra::tree_exact_less (const Properties *properties, const Ex &one, const Ex &two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
 
bool cadabra::tree_exact_equal (const Properties *properties, const Ex &one, const Ex &two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
 
bool cadabra::subtree_less (const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier)
 
bool cadabra::subtree_equal (const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier)
 
bool cadabra::subtree_exact_less (const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
 
bool cadabra::subtree_exact_equal (const Properties *properties, Ex::iterator one, Ex::iterator two, int mod_prel, bool checksets, int compare_multiplier, bool literal_wildcards)
 
bool operator< (const cadabra::Ex::iterator &i1, const cadabra::Ex::iterator &i2)
 
bool operator< (const cadabra::Ex &e1, const cadabra::Ex &e2)
 
std::ostream & operator<< (std::ostream &s, cadabra::Ex_comparator::useprops_t up)
 

Macro Definition Documentation

◆ DEBUGLN

#define DEBUGLN (   ln)

Function Documentation

◆ operator<() [1/2]

bool operator< ( const cadabra::Ex e1,
const cadabra::Ex e2 
)

◆ operator<() [2/2]

bool operator< ( const cadabra::Ex::iterator &  i1,
const cadabra::Ex::iterator &  i2 
)

◆ operator<<()

std::ostream& operator<< ( std::ostream &  s,
cadabra::Ex_comparator::useprops_t  up 
)