This class represents the totally antisymmetric epsilon tensor. More...
#include <tensor.h>
Inheritance diagram for GiNaC::tensepsilon:
Public Member Functions | |
| tensepsilon (bool minkowski, bool pos_sig) | |
| bool | info (unsigned inf) const override |
| Information about the object. More... | |
| ex | eval_indexed (const basic &i) const override |
| Automatic symbolic evaluation of an indexed epsilon tensor. More... | |
| bool | contract_with (exvector::iterator self, exvector::iterator other, exvector &v) const override |
| Contraction of epsilon tensor with something else. More... | |
| void | archive (archive_node &n) const override |
| Save (a.k.a. More... | |
| void | read_archive (const archive_node &n, lst &syms) override |
| Read (a.k.a. More... | |
 Public Member Functions inherited from GiNaC::tensor | |
| bool | replace_contr_index (exvector::iterator self, exvector::iterator other) const |
| Replace dummy index in contracted-with object by the contracting object's second index (used internally for delta and metric tensor contractions. More... | |
| Public Member Functions inherited from GiNaC::basic | |
| virtual | ~basic () |
| basic destructor, virtual because class ex will delete objects of derived classes via a basic*. More... | |
| basic (const basic &other) | |
| const basic & | operator= (const basic &other) |
| basic assignment operator: the other object might be of a derived class. More... | |
| virtual basic * | duplicate () const |
| Create a clone of this object on the heap. More... | |
| virtual ex | eval () const |
| Perform automatic non-interruptive term rewriting rules. More... | |
| virtual ex | evalf () const |
| Evaluate object numerically. More... | |
| virtual ex | evalm () const |
| Evaluate sums, products and integer powers of matrices. More... | |
| virtual ex | eval_integ () const |
| Evaluate integrals, if result is known. More... | |
| virtual ex | eval_indexed (const basic &i) const |
| Perform automatic symbolic evaluations on indexed expression that contains this object as the base expression. More... | |
| virtual void | print (const print_context &c, unsigned level=0) const |
| Output to stream. More... | |
| virtual void | dbgprint () const |
| Little wrapper around print to be called within a debugger. More... | |
| virtual void | dbgprinttree () const |
| Little wrapper around printtree to be called within a debugger. More... | |
| virtual unsigned | precedence () const |
| Return relative operator precedence (for parenthezing output). More... | |
| virtual bool | info (unsigned inf) const |
| Information about the object. More... | |
| virtual size_t | nops () const |
| Number of operands/members. More... | |
| virtual ex | op (size_t i) const |
| Return operand/member at position i. More... | |
| virtual ex | operator[] (const ex &index) const |
| virtual ex | operator[] (size_t i) const |
| virtual ex & | let_op (size_t i) |
| Return modifiable operand/member at position i. More... | |
| 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. More... | |
| virtual bool | match (const ex &pattern, exmap &repls) const |
| Check whether the expression matches a given pattern. More... | |
| virtual ex | subs (const exmap &m, unsigned options=0) const |
| Substitute a set of objects by arbitrary expressions. More... | |
| virtual ex | map (map_function &f) const |
| Construct new expression by applying the specified function to all sub-expressions (one level only, not recursively). More... | |
| 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. More... | |
| virtual int | degree (const ex &s) const |
| Return degree of highest power in object s. More... | |
| virtual int | ldegree (const ex &s) const |
| Return degree of lowest power in object s. More... | |
| virtual ex | coeff (const ex &s, int n=1) const |
| Return coefficient of degree n in object s. More... | |
| virtual ex | expand (unsigned options=0) const |
| Expand expression, i.e. More... | |
| virtual ex | collect (const ex &s, bool distributed=false) const |
| Sort expanded expression in terms of powers of some object(s). More... | |
| virtual ex | series (const relational &r, int order, unsigned options=0) const |
| Default implementation of ex::series(). More... | |
| virtual ex | normal (exmap &repl, exmap &rev_lookup, lst &modifier) const |
| Default implementation of ex::normal(). More... | |
| virtual ex | to_rational (exmap &repl) const |
| Default implementation of ex::to_rational(). More... | |
| 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. More... | |
| virtual numeric | max_coefficient () const |
| Implementation ex::max_coefficient(). More... | |
| virtual exvector | get_free_indices () const |
| Return a vector containing the free indices of an expression. More... | |
| virtual ex | add_indexed (const ex &self, const ex &other) const |
| Add two indexed expressions. More... | |
| virtual ex | scalar_mul_indexed (const ex &self, const numeric &other) const |
| Multiply an indexed expression with a scalar. More... | |
| 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. More... | |
| virtual unsigned | return_type () const |
| virtual return_type_t | return_type_tinfo () const |
| virtual ex | conjugate () const |
| virtual ex | real_part () const |
| virtual ex | imag_part () const |
| template<class T > | |
| void | print_dispatch (const print_context &c, unsigned level) const |
| Like print(), but dispatch to the specified class. More... | |
| void | print_dispatch (const registered_class_info &ri, const print_context &c, unsigned level) const |
| Like print(), but dispatch to the specified class. More... | |
| virtual void | archive (archive_node &n) const |
| Save (serialize) the object into archive node. More... | |
| virtual void | read_archive (const archive_node &n, lst &syms) |
| Load (deserialize) the object from an archive node. More... | |
| ex | subs_one_level (const exmap &m, unsigned options) const |
| Helper function for subs(). More... | |
| ex | diff (const symbol &s, unsigned nth=1) const |
| Default interface of nth derivative ex::diff(s, n). More... | |
| int | compare (const basic &other) const |
| Compare objects syntactically to establish canonical ordering. More... | |
| bool | is_equal (const basic &other) const |
| Test for syntactic equality. More... | |
| const basic & | hold () const |
| Stop further evaluation. More... | |
| unsigned | gethash () const |
| const basic & | setflag (unsigned f) const |
| Set some status_flags. More... | |
| const basic & | clearflag (unsigned f) const |
| Clear some status_flags. More... | |
| 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 | |
| unsigned | return_type () const override |
| void | do_print (const print_context &c, unsigned level) const |
| void | do_print_latex (const print_latex &c, unsigned level) const |
| unsigned | return_type () const override |
| Protected Member Functions inherited from GiNaC::basic | |
| basic () | |
| virtual ex | eval_ncmul (const exvector &v) const |
| virtual bool | match_same_type (const basic &other) const |
| Returns true if the attributes of two objects are similar enough for a match. More... | |
| virtual ex | derivative (const symbol &s) const |
| Default implementation of ex::diff(). More... | |
| virtual int | compare_same_type (const basic &other) const |
| Returns order relation between two objects of same type. More... | |
| virtual bool | is_equal_same_type (const basic &other) const |
| Returns true if two objects of same type are equal. More... | |
| 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. More... | |
| void | ensure_if_modifiable () const |
| Ensure the object may be modified without hurting others, throws if this is not the case. More... | |
| void | do_print (const print_context &c, unsigned level) const |
| Default output to stream. More... | |
| void | do_print_tree (const print_tree &c, unsigned level) const |
| Tree output to stream. More... | |
| void | do_print_python_repr (const print_python_repr &c, unsigned level) const |
| Python parsable output to stream. More... | |
Private Attributes | |
| bool | minkowski |
| If true, tensor is in Minkowski-type space. More... | |
| bool | pos_sig |
| If true, the metric is assumed to be diag(-1,1,1...). More... | |
Additional Inherited Members | |
| Protected Attributes inherited from GiNaC::basic | |
| unsigned | flags |
| of type status_flags More... | |
| unsigned | hashvalue |
| hash value More... | |
Detailed Description
This class represents the totally antisymmetric epsilon tensor.
If indexed, all indices must be of the same type and their number must be equal to the dimension of the index space.
Constructor & Destructor Documentation
◆ tensepsilon()
| GiNaC::tensepsilon::tensepsilon | ( | bool | minkowski, |
| bool | pos_sig | ||
| ) |
Definition at line 87 of file tensor.cpp.
Member Function Documentation
◆ info()
|
overridevirtual |
Information about the object.
- See also
- class info_flags
Reimplemented from GiNaC::basic.
Definition at line 188 of file tensor.cpp.
References GiNaC::info_flags::real.
◆ eval_indexed()
Automatic symbolic evaluation of an indexed epsilon tensor.
Reimplemented from GiNaC::basic.
Definition at line 342 of file tensor.cpp.
References GiNaC::_ex0, GINAC_ASSERT, GiNaC::basic::hold(), GiNaC::is_zero(), minkowski, GiNaC::info_flags::nonnegint, GiNaC::basic::nops(), GiNaC::basic::op(), GiNaC::permutation_sign(), pos_sig, and x.
◆ contract_with()
|
overridevirtual |
Contraction of epsilon tensor with something else.
Reimplemented from GiNaC::basic.
Definition at line 542 of file tensor.cpp.
References GiNaC::_ex1, GiNaC::delta_tensor(), GiNaC::matrix::determinant(), GINAC_ASSERT, GiNaC::lorentz_g(), GiNaC::metric_tensor(), minkowski, pos_sig, and GiNaC::ex::simplify_indexed().
◆ archive()
|
overridevirtual |
Save (a.k.a.
serialize) object into archive.
Reimplemented from GiNaC::basic.
Definition at line 120 of file tensor.cpp.
◆ read_archive()
|
overridevirtual |
Read (a.k.a.
deserialize) object from archive.
Reimplemented from GiNaC::basic.
Definition at line 112 of file tensor.cpp.
◆ return_type()
|
inlineoverrideprotectedvirtual |
Reimplemented from GiNaC::tensor.
Definition at line 174 of file tensor.h.
References GiNaC::return_types::commutative.
◆ do_print()
|
protected |
◆ do_print_latex()
|
protected |
Member Data Documentation
◆ minkowski
|
private |
If true, tensor is in Minkowski-type space.
Otherwise it is in a Euclidean space.
Definition at line 183 of file tensor.h.
Referenced by archive(), contract_with(), eval_indexed(), and read_archive().
◆ pos_sig
|
private |
If true, the metric is assumed to be diag(-1,1,1...).
Otherwise it is diag(1,-1,-1,...). This is only relevant if minkowski = true.
Definition at line 184 of file tensor.h.
Referenced by archive(), contract_with(), eval_indexed(), and read_archive().
The documentation for this class was generated from the following files: