Cadabra
Computer algebra system for field theory problems
Toggle main menu visibility
Loading...
Searching...
No Matches
core
Grouping.hh
Go to the documentation of this file.
1
2
#pragma once
3
4
#include "
Storage.hh
"
5
#include <functional>
6
7
namespace
cadabra
{
8
14
15
typedef
std::map<Ex::iterator, std::pair<multiplier_t, Ex::sibling_iterator>, Ex::iterator_base_less>
equiv_map_t
;
16
typedef
std::function<bool(
const
Ex
&, Ex::iterator, Ex::iterator)>
equiv_fun_t
;
17
18
equiv_map_t
group_by_equivalence
(
const
Ex
&, Ex::sibling_iterator first, Ex::sibling_iterator last);
19
equiv_map_t
group_by_equivalence
(
const
Ex
&, Ex::iterator comma_top);
20
21
equiv_map_t
group_by_equivalence
(
const
Ex
&, Ex::sibling_iterator first, Ex::sibling_iterator last,
equiv_fun_t
&);
22
equiv_map_t
group_by_equivalence
(
const
Ex
&, Ex::iterator comma_top,
equiv_fun_t
&);
23
24
}
Storage.hh
cadabra::Ex
Definition
Storage.hh:170
cadabra::equiv_map_t
std::map< Ex::iterator, std::pair< multiplier_t, Ex::sibling_iterator >, Ex::iterator_base_less > equiv_map_t
Given an ExNode iterator, find all expressions in its range which are equal up to a numerical multipl...
Definition
Grouping.hh:15
cadabra
Functions to handle the exchange properties of two or more symbols in a product.
Definition
Adjform.cc:83
cadabra::equiv_fun_t
std::function< bool(const Ex &, Ex::iterator, Ex::iterator)> equiv_fun_t
Definition
Grouping.hh:16
cadabra::group_by_equivalence
equiv_map_t group_by_equivalence(const Ex &, Ex::sibling_iterator first, Ex::sibling_iterator last)
Definition
Grouping.cc:6
Generated by
1.17.0