This class represents a Minkowski metric tensor. More...
#include <tensor.h>
Inheritance diagram for GiNaC::minkmetric:
Public Member Functions | |
| minkmetric (bool pos_sig) | |
| Construct Lorentz metric tensor with given signature. More... | |
| 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 Lorentz metric tensor. 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::tensmetric | |
| 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 metric tensor. More... | |
| bool | contract_with (exvector::iterator self, exvector::iterator other, exvector &v) const override |
| Contraction of an indexed metric tensor with something else. 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 |
| Protected Member Functions inherited from GiNaC::tensmetric | |
| unsigned | return_type () const override |
| void | do_print (const print_context &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 | pos_sig |
| If true, the metric is 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 a Minkowski metric tensor.
It has all the properties of a metric tensor and is (as a matrix) equal to diag(1,-1,-1,...) or diag(-1,1,1,...).
Constructor & Destructor Documentation
◆ minkmetric()
| GiNaC::minkmetric::minkmetric | ( | bool | pos_sig | ) |
Construct Lorentz metric tensor with given signature.
Definition at line 75 of file tensor.cpp.
Member Function Documentation
◆ info()
|
overridevirtual |
Information about the object.
- See also
- class info_flags
Reimplemented from GiNaC::tensmetric.
Definition at line 167 of file tensor.cpp.
References GiNaC::info_flags::real.
◆ eval_indexed()
Automatic symbolic evaluation of an indexed Lorentz metric tensor.
Reimplemented from GiNaC::tensmetric.
Definition at line 284 of file tensor.cpp.
References GiNaC::_ex0, GiNaC::_ex1, GiNaC::_ex_1, GiNaC::idx::get_value(), GINAC_ASSERT, GiNaC::info_flags::nonnegint, GiNaC::basic::nops(), GiNaC::basic::op(), and pos_sig.
◆ archive()
|
overridevirtual |
Save (a.k.a.
serialize) object into archive.
Reimplemented from GiNaC::basic.
Definition at line 106 of file tensor.cpp.
◆ read_archive()
|
overridevirtual |
Read (a.k.a.
deserialize) object from archive.
Reimplemented from GiNaC::basic.
Definition at line 99 of file tensor.cpp.
◆ return_type()
|
inlineoverrideprotectedvirtual |
Reimplemented from GiNaC::tensmetric.
Definition at line 117 of file tensor.h.
References GiNaC::return_types::commutative.
◆ do_print()
|
protected |
◆ do_print_latex()
|
protected |
Member Data Documentation
◆ pos_sig
|
private |
If true, the metric is diag(-1,1,1...).
Otherwise it is diag(1,-1,-1,...).
Definition at line 126 of file tensor.h.
Referenced by archive(), eval_indexed(), and read_archive().
The documentation for this class was generated from the following files: