|
GiNaC 1.8.9
|
This class holds a generator T_a or the unity element of the Lie algebra of SU(3), as used for calculations in quantum chromodynamics. More...
#include <color.h>
Public Member Functions | |
| color (const ex &b, unsigned char rl=0) | |
| Construct object without any color index. | |
| color (const ex &b, const ex &i1, unsigned char rl=0) | |
| Construct object with one color index. | |
| color (unsigned char rl, const exvector &v) | |
| color (unsigned char rl, exvector &&v) | |
| void | archive (archive_node &n) const override |
| Save (serialize) the object into archive node. | |
| void | read_archive (const archive_node &n, lst &sym_lst) override |
| Load (deserialize) the object from an archive node. | |
| unsigned char | get_representation_label () const |
Public Member Functions inherited from GiNaC::indexed | |
| indexed (const ex &b) | |
| Construct indexed object with no index. | |
| indexed (const ex &b, const ex &i1) | |
| Construct indexed object with one index. | |
| indexed (const ex &b, const ex &i1, const ex &i2) | |
| Construct indexed object with two indices. | |
| indexed (const ex &b, const ex &i1, const ex &i2, const ex &i3) | |
| Construct indexed object with three indices. | |
| indexed (const ex &b, const ex &i1, const ex &i2, const ex &i3, const ex &i4) | |
| Construct indexed object with four indices. | |
| indexed (const ex &b, const symmetry &symm, const ex &i1, const ex &i2) | |
| Construct indexed object with two indices and a specified symmetry. | |
| indexed (const ex &b, const symmetry &symm, const ex &i1, const ex &i2, const ex &i3) | |
| Construct indexed object with three indices and a specified symmetry. | |
| indexed (const ex &b, const symmetry &symm, const ex &i1, const ex &i2, const ex &i3, const ex &i4) | |
| Construct indexed object with four indices and a specified symmetry. | |
| indexed (const ex &b, const exvector &iv) | |
| Construct indexed object with a specified vector of indices. | |
| indexed (const ex &b, const symmetry &symm, const exvector &iv) | |
| Construct indexed object with a specified vector of indices and symmetry. | |
| indexed (const symmetry &symm, const exprseq &es) | |
| indexed (const symmetry &symm, const exvector &v) | |
| indexed (const symmetry &symm, exvector &&v) | |
| unsigned | precedence () const override |
| Return relative operator precedence (for parenthezing output). | |
| bool | info (unsigned inf) const override |
| Information about the object. | |
| ex | eval () const override |
| Perform automatic non-interruptive term rewriting rules. | |
| ex | real_part () const override |
| ex | imag_part () const override |
| exvector | get_free_indices () const override |
| Return a vector containing the free indices of an expression. | |
| void | archive (archive_node &n) const override |
| Save (a.k.a. | |
| void | read_archive (const archive_node &n, lst &syms) override |
| Read (a.k.a. | |
| bool | all_index_values_are (unsigned inf) const |
| Check whether all index values have a certain property. | |
| exvector | get_indices () const |
| Return a vector containing the object's indices. | |
| exvector | get_dummy_indices () const |
| Return a vector containing the dummy indices of the object, if any. | |
| exvector | get_dummy_indices (const indexed &other) const |
| Return a vector containing the dummy indices in the contraction with another indexed object. | |
| bool | has_dummy_index_for (const ex &i) const |
| Check whether the object has an index that forms a dummy index pair with a given index. | |
| ex | get_symmetry () const |
| Return symmetry properties. | |
Public Member Functions inherited from GiNaC::container< C > | |
| container (STLT const &s) | |
| container (STLT &&v) | |
| container (exvector::const_iterator b, exvector::const_iterator e) | |
| container (std::initializer_list< ex > il) | |
| size_t | nops () const override |
| Number of operands/members. | |
| ex | op (size_t i) const override |
| Return operand/member at position i. | |
| ex & | let_op (size_t i) override |
| Return modifiable operand/member at position i. | |
| ex | subs (const exmap &m, unsigned options=0) const override |
| Substitute a set of objects by arbitrary expressions. | |
| container & | prepend (const ex &b) |
| Add element at front. | |
| container & | append (const ex &b) |
| Add element at back. | |
| container & | remove_first () |
| Remove first element. | |
| container & | remove_last () |
| Remove last element. | |
| container & | remove_all () |
| Remove all elements. | |
| container & | sort () |
| Sort elements. | |
| container & | unique () |
| Remove adjacent duplicate elements. | |
| const_iterator | begin () const |
| const_iterator | end () const |
| const_reverse_iterator | rbegin () const |
| const_reverse_iterator | rend () const |
Public Member Functions inherited from GiNaC::basic | |
| virtual | ~basic () |
| basic destructor, virtual because class ex will delete objects of derived classes via a basic*. | |
| basic (const basic &other) | |
| const basic & | operator= (const basic &other) |
| basic assignment operator: the other object might be of a derived class. | |
| virtual basic * | duplicate () const |
| Create a clone of this object on the heap. | |
| virtual ex | evalf () const |
| Evaluate object numerically. | |
| virtual ex | evalm () const |
| Evaluate sums, products and integer powers of matrices. | |
| virtual ex | eval_integ () const |
| Evaluate integrals, if result is known. | |
| virtual ex | eval_indexed (const basic &i) const |
| Perform automatic symbolic evaluations on indexed expression that contains this object as the base expression. | |
| virtual void | print (const print_context &c, unsigned level=0) const |
| Output to stream. | |
| virtual void | dbgprint () const |
| Little wrapper around print to be called within a debugger. | |
| virtual void | dbgprinttree () const |
| Little wrapper around printtree to be called within a debugger. | |
| virtual ex | operator[] (const ex &index) const |
| virtual ex | operator[] (size_t i) const |
| virtual ex & | operator[] (const ex &index) |
| virtual ex & | operator[] (size_t i) |
| virtual bool | has (const ex &other, unsigned options=0) const |
| Test for occurrence of a pattern. | |
| virtual bool | match (const ex &pattern, exmap &repls) const |
| Check whether the expression matches a given pattern. | |
| virtual ex | map (map_function &f) const |
| Construct new expression by applying the specified function to all sub-expressions (one level only, not recursively). | |
| virtual void | accept (GiNaC::visitor &v) const |
| virtual bool | is_polynomial (const ex &var) const |
| Check whether this is a polynomial in the given variables. | |
| virtual int | degree (const ex &s) const |
| Return degree of highest power in object s. | |
| virtual int | ldegree (const ex &s) const |
| Return degree of lowest power in object s. | |
| virtual ex | coeff (const ex &s, int n=1) const |
| Return coefficient of degree n in object s. | |
| virtual ex | collect (const ex &s, bool distributed=false) const |
| Sort expanded expression in terms of powers of some object(s). | |
| virtual ex | series (const relational &r, int order, unsigned options=0) const |
| Default implementation of ex::series(). | |
| virtual ex | normal (exmap &repl, exmap &rev_lookup, lst &modifier) const |
| Default implementation of ex::normal(). | |
| virtual ex | to_rational (exmap &repl) const |
| Default implementation of ex::to_rational(). | |
| virtual ex | to_polynomial (exmap &repl) const |
| virtual numeric | integer_content () const |
| virtual ex | smod (const numeric &xi) const |
| Apply symmetric modular homomorphism to an expanded multivariate polynomial. | |
| virtual numeric | max_coefficient () const |
| Implementation ex::max_coefficient(). | |
| virtual ex | add_indexed (const ex &self, const ex &other) const |
| Add two indexed expressions. | |
| virtual ex | scalar_mul_indexed (const ex &self, const numeric &other) const |
| Multiply an indexed expression with a scalar. | |
| virtual bool | contract_with (exvector::iterator self, exvector::iterator other, exvector &v) const |
| Try to contract two indexed expressions that appear in the same product. | |
| template<class T > | |
| void | print_dispatch (const print_context &c, unsigned level) const |
| Like print(), but dispatch to the specified class. | |
| void | print_dispatch (const registered_class_info &ri, const print_context &c, unsigned level) const |
| Like print(), but dispatch to the specified class. | |
| ex | subs_one_level (const exmap &m, unsigned options) const |
| Helper function for subs(). | |
| ex | diff (const symbol &s, unsigned nth=1) const |
| Default interface of nth derivative ex::diff(s, n). | |
| int | compare (const basic &other) const |
| Compare objects syntactically to establish canonical ordering. | |
| bool | is_equal (const basic &other) const |
| Test for syntactic equality. | |
| const basic & | hold () const |
| Stop further evaluation. | |
| unsigned | gethash () const |
| const basic & | setflag (unsigned f) const |
| Set some status_flags. | |
| const basic & | clearflag (unsigned f) const |
| Clear some status_flags. | |
Public Member Functions inherited from GiNaC::refcounted | |
| refcounted () noexcept | |
| unsigned int | add_reference () noexcept |
| unsigned int | remove_reference () noexcept |
| unsigned int | get_refcount () const noexcept |
| void | set_refcount (unsigned int r) noexcept |
Protected Member Functions | |
| ex | eval_ncmul (const exvector &v) const override |
| Perform automatic simplification on noncommutative product of color objects. | |
| bool | match_same_type (const basic &other) const override |
| Returns true if the attributes of two objects are similar enough for a match. | |
| ex | thiscontainer (const exvector &v) const override |
| ex | thiscontainer (exvector &&v) const override |
| unsigned | return_type () const override |
| return_type_t | return_type_tinfo () const override |
Protected Member Functions inherited from GiNaC::indexed | |
| ex | derivative (const symbol &s) const override |
| Implementation of ex::diff() for an indexed object always returns 0. | |
| ex | thiscontainer (const exvector &v) const override |
| ex | thiscontainer (exvector &&v) const override |
| unsigned | return_type () const override |
| return_type_t | return_type_tinfo () const override |
| ex | expand (unsigned options=0) const override |
| Expand expression, i.e. | |
| void | printindices (const print_context &c, unsigned level) const |
| void | print_indexed (const print_context &c, const char *openbrace, const char *closebrace, unsigned level) const |
| void | do_print (const print_context &c, unsigned level) const |
| void | do_print_latex (const print_latex &c, unsigned level) const |
| void | do_print_tree (const print_tree &c, unsigned level) const |
| void | validate () const |
| Check whether all indices are of class idx and validate the symmetry tree. | |
Protected Member Functions inherited from GiNaC::container< C > | |
| ex | conjugate () const override |
| bool | is_equal_same_type (const basic &other) const override |
| Returns true if two objects of same type are equal. | |
| virtual ex | thiscontainer (const STLT &v) const |
| Similar to duplicate(), but with a preset sequence. | |
| virtual ex | thiscontainer (STLT &&v) const |
| Similar to duplicate(), but with a preset sequence (which gets pilfered). | |
| virtual void | printseq (const print_context &c, char openbracket, char delim, char closebracket, unsigned this_precedence, unsigned upper_precedence=0) const |
| Print sequence of contained elements. | |
| void | do_print (const print_context &c, unsigned level) const |
| void | do_print_tree (const print_tree &c, unsigned level) const |
| void | do_print_python (const print_python &c, unsigned level) const |
| void | do_print_python_repr (const print_python_repr &c, unsigned level) const |
| STLT | subschildren (const exmap &m, unsigned options=0) const |
Protected Member Functions inherited from GiNaC::basic | |
| basic () | |
| virtual int | compare_same_type (const basic &other) const |
| Returns order relation between two objects of same type. | |
| virtual unsigned | calchash () const |
| Compute the hash value of an object and if it makes sense to store it in the objects status_flags, do so. | |
| void | ensure_if_modifiable () const |
| Ensure the object may be modified without hurting others, throws if this is not the case. | |
| void | do_print (const print_context &c, unsigned level) const |
| Default output to stream. | |
| void | do_print_tree (const print_tree &c, unsigned level) const |
| Tree output to stream. | |
| void | do_print_python_repr (const print_python_repr &c, unsigned level) const |
| Python parsable output to stream. | |
Protected Member Functions inherited from GiNaC::container_storage< C > | |
| container_storage () | |
| container_storage (size_t n, const ex &e) | |
| container_storage (std::initializer_list< ex > il) | |
| template<class In > | |
| container_storage (In b, In e) | |
| void | reserve (size_t) |
| ~container_storage () | |
| void | reserve (size_t n) |
| void | reserve (std::vector< ex > &v, size_t n) |
Private Attributes | |
| unsigned char | representation_label |
| Representation label to distinguish independent color matrices coming from separated fermion lines. | |
Additional Inherited Members | |
Public Types inherited from GiNaC::container< C > | |
| typedef STLT::const_iterator | const_iterator |
| typedef STLT::const_reverse_iterator | const_reverse_iterator |
Protected Types inherited from GiNaC::container< C > | |
| typedef container_storage< C >::STLT | STLT |
Protected Types inherited from GiNaC::container_storage< C > | |
| typedef C< ex > | STLT |
Static Protected Member Functions inherited from GiNaC::container< C > | |
| static unsigned | get_default_flags () |
| Specialization of container::get_default_flags() for lst. | |
| static char | get_open_delim () |
| Specialization of container::get_open_delim() for lst. | |
| static char | get_close_delim () |
| Specialization of container::get_close_delim() for lst. | |
Static Protected Member Functions inherited from GiNaC::container_storage< C > | |
| static void | reserve (STLT &, size_t) |
Protected Attributes inherited from GiNaC::indexed | |
| ex | symtree |
| Index symmetry (tree of symmetry objects) | |
Protected Attributes inherited from GiNaC::basic | |
| unsigned | flags |
| of type status_flags | |
| unsigned | hashvalue |
| hash value | |
Protected Attributes inherited from GiNaC::container_storage< C > | |
| STLT | seq |
This class holds a generator T_a or the unity element of the Lie algebra of SU(3), as used for calculations in quantum chromodynamics.
A representation label (an unsigned 8-bit integer) is used to distinguish elements from different Lie algebras (objects with different labels commutate). These objects implement an abstract representation of the group, not a specific matrix representation. The indices used for color objects should not have a variance.
| GiNaC::color::color | ( | const ex & | b, |
| unsigned char | rl = 0 |
||
| ) |
Construct object without any color index.
This constructor is for internal use only. Use the color_ONE() function instead.
| GiNaC::color::color | ( | unsigned char | rl, |
| const exvector & | v | ||
| ) |
|
overridevirtual |
Save (serialize) the object into archive node.
Archive the object.
Losely speaking, this method turns an expression into a byte stream (which can be saved and restored later on, or sent via network, etc.)
Reimplemented from GiNaC::basic.
Definition at line 113 of file color.cpp.
References n, and representation_label.
|
overridevirtual |
Load (deserialize) the object from an archive node.
Construct object from archive_node.
Reimplemented from GiNaC::basic.
Definition at line 105 of file color.cpp.
References n, and representation_label.
Perform automatic simplification on noncommutative product of color objects.
This removes superfluous ONEs.
Reimplemented from GiNaC::basic.
Definition at line 162 of file color.cpp.
References GiNaC::hold_ncmul(), and GiNaC::container_storage< C >::reserve().
|
overrideprotectedvirtual |
Returns true if the attributes of two objects are similar enough for a match.
This function must not match subexpressions (this is already done by basic::match()). Only attributes not accessible by op() should be compared. This is also the reason why this function doesn't take the wildcard replacement list from match() as an argument: only subexpressions are subject to wildcard matches. Also, this function only needs to be implemented for container classes because is_equal_same_type() is automatically used instead of match_same_type() if nops() == 0.
Reimplemented from GiNaC::basic.
Definition at line 142 of file color.cpp.
References GINAC_ASSERT, and representation_label.
Definition at line 179 of file color.cpp.
References representation_label.
Definition at line 184 of file color.cpp.
References representation_label.
|
inlineoverrideprotectedvirtual |
Reimplemented from GiNaC::basic.
Definition at line 60 of file color.h.
References GiNaC::return_types::noncommutative.
|
overrideprotectedvirtual |
Reimplemented from GiNaC::basic.
Definition at line 96 of file color.cpp.
References representation_label.
|
inline |
Definition at line 65 of file color.h.
References representation_label.
|
private |
Representation label to distinguish independent color matrices coming from separated fermion lines.
Definition at line 69 of file color.h.
Referenced by archive(), get_representation_label(), match_same_type(), read_archive(), return_type_tinfo(), thiscontainer(), and thiscontainer().