Cadabra
Computer algebra system for field theory problems
Classes | Functions
meld.cc File Reference
#include <vector>
#include <numeric>
#include "Cleanup.hh"
#include "DisplayTerminal.hh"
#include "meld.hh"
#include "properties/Trace.hh"
#include "properties/TableauBase.hh"
#include "properties/SelfNonCommuting.hh"
#include "properties/NonCommuting.hh"
#include <boost/numeric/ublas/matrix.hpp>
#include <boost/numeric/ublas/vector.hpp>
#include <boost/numeric/ublas/matrix_proxy.hpp>
#include <boost/numeric/ublas/lu.hpp>

Classes

struct  Ident
 
struct  LinearSolver< T >
 

Functions

std::string ex_to_string (const Kernel &kernel, const Ex &ex)
 
std::string ex_to_string (const Kernel &kernel, Ex::iterator it)
 
std::vector< Ex::iterator > split_ex (Ex::iterator it, const std::string &delim)
 
template<typename FilterFunc >
std::vector< Ex::iterator > split_ex (Ex::iterator it, const std::string &delim, FilterFunc filter)
 
bool similar_form (const Kernel &kernel, Ex::iterator it1, Ex::iterator it2)
 
bool similar_tensor_form (const Kernel &kernel, Ex &tr, Ex::iterator it1, Ex::iterator it2)
 
bool has_NonCommuting (const Kernel &kernel, Ex::iterator it)
 
Ex get_noncommuting (const Kernel &kernel, Ex::iterator it)
 
Ex combine_commuting (const Kernel &kernel, Ex::iterator a, Ex::iterator b)
 
void cycle_ex (Ex &tr, Ex::iterator parent)
 

Function Documentation

◆ combine_commuting()

Ex combine_commuting ( const Kernel kernel,
Ex::iterator  a,
Ex::iterator  b 
)

◆ cycle_ex()

void cycle_ex ( Ex tr,
Ex::iterator  parent 
)

◆ ex_to_string() [1/2]

std::string ex_to_string ( const Kernel kernel,
const Ex ex 
)

◆ ex_to_string() [2/2]

std::string ex_to_string ( const Kernel kernel,
Ex::iterator  it 
)

◆ get_noncommuting()

Ex get_noncommuting ( const Kernel kernel,
Ex::iterator  it 
)

◆ has_NonCommuting()

bool has_NonCommuting ( const Kernel kernel,
Ex::iterator  it 
)

◆ similar_form()

bool similar_form ( const Kernel kernel,
Ex::iterator  it1,
Ex::iterator  it2 
)

◆ similar_tensor_form()

bool similar_tensor_form ( const Kernel kernel,
Ex tr,
Ex::iterator  it1,
Ex::iterator  it2 
)

◆ split_ex() [1/2]

std::vector<Ex::iterator> split_ex ( Ex::iterator  it,
const std::string &  delim 
)

◆ split_ex() [2/2]

template<typename FilterFunc >
std::vector<Ex::iterator> split_ex ( Ex::iterator  it,
const std::string &  delim,
FilterFunc  filter 
)