X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fidx.h;h=401996720c2a6f8f7c05b37aaa9cde203b8779ca;hp=b6e63e0717f8538cc9e9c8c25004c043ed775412;hb=b773294dd380ae81056c3d37b647500aae738ea1;hpb=5ef801553eb39aed7bd2df9dd1aff9d752c3ea9d diff --git a/ginac/idx.h b/ginac/idx.h index b6e63e07..40199672 100644 --- a/ginac/idx.h +++ b/ginac/idx.h @@ -3,7 +3,7 @@ * Interface to GiNaC's indices. */ /* - * GiNaC Copyright (C) 1999-2003 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2020 Johannes Gutenberg University Mainz, Germany * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by @@ -17,18 +17,17 @@ * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ -#ifndef __GINAC_IDX_H__ -#define __GINAC_IDX_H__ +#ifndef GINAC_IDX_H +#define GINAC_IDX_H #include "ex.h" #include "numeric.h" namespace GiNaC { - /** This class holds one index of an indexed object. Indices can * theoretically consist of any symbolic expression but they are usually * only just a symbol (e.g. "mu", "i") or numeric (integer). Indices belong @@ -48,17 +47,18 @@ public: // functions overriding virtual functions from base classes public: - void print(const print_context & c, unsigned level = 0) const; - bool info(unsigned inf) const; - size_t nops() const; - ex op(size_t i) const; - ex map(map_function & f) const; - ex evalf(int level = 0) const; - ex subs(const exmap & m, unsigned options = 0) const; - + bool info(unsigned inf) const override; + size_t nops() const override; + ex op(size_t i) const override; + ex map(map_function & f) const override; + ex evalf() const override; + ex subs(const exmap & m, unsigned options = 0) const override; + void archive(archive_node& n) const override; + void read_archive(const archive_node& n, lst& syms) override; protected: - ex derivative(const symbol & s) const; - bool match_same_type(const basic & other) const; + ex derivative(const symbol & s) const override; + bool match_same_type(const basic & other) const override; + unsigned calchash() const override; // new virtual functions in this class public: @@ -93,10 +93,18 @@ public: * If this is undecidable, throw an exception. */ ex minimal_dim(const idx & other) const; +protected: + void print_index(const print_context & c, unsigned level) const; + void do_print(const print_context & c, unsigned level) const; + void do_print_csrc(const print_csrc & 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; + protected: ex value; /**< Expression that constitutes the index (numeric or symbolic name) */ ex dim; /**< Dimension of space (can be symbolic or numeric) */ }; +GINAC_DECLARE_UNARCHIVER(idx); /** This class holds an index with a variance (co- or contravariant). There @@ -117,11 +125,11 @@ public: // functions overriding virtual functions from base classes public: - void print(const print_context & c, unsigned level = 0) const; - bool is_dummy_pair_same_type(const basic & other) const; - + bool is_dummy_pair_same_type(const basic & other) const override; + void archive(archive_node& n) const override; + void read_archive(const archive_node& n, lst& syms) override; protected: - bool match_same_type(const basic & other) const; + bool match_same_type(const basic & other) const override; // non-virtual functions in this class public: @@ -134,10 +142,15 @@ public: /** Make a new index with the same value but the opposite variance. */ ex toggle_variance() const; +protected: + void do_print(const print_context & c, unsigned level) const; + void do_print_tree(const print_tree & c, unsigned level) const; + // member variables protected: bool covariant; /**< x.mu, default is contravariant: x~mu */ }; +GINAC_DECLARE_UNARCHIVER(varidx); /** This class holds a spinor index that can be dotted or undotted and that @@ -162,11 +175,13 @@ public: // functions overriding virtual functions from base classes public: - void print(const print_context & c, unsigned level = 0) const; - bool is_dummy_pair_same_type(const basic & other) const; - + bool is_dummy_pair_same_type(const basic & other) const override; + // complex conjugation + ex conjugate() const override { return toggle_dot(); } + void archive(archive_node& n) const override; + void read_archive(const archive_node& n, lst& syms) override; protected: - bool match_same_type(const basic & other) const; + bool match_same_type(const basic & other) const override; // non-virtual functions in this class public: @@ -184,32 +199,20 @@ public: * dottedness. */ ex toggle_variance_dot() const; +protected: + 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; + // member variables protected: bool dotted; }; +GINAC_DECLARE_UNARCHIVER(spinidx); // utility functions -/** Specialization of is_exactly_a(obj) for idx objects. */ -template<> inline bool is_exactly_a(const basic & obj) -{ - return obj.tinfo()==TINFO_idx; -} - -/** Specialization of is_exactly_a(obj) for varidx objects. */ -template<> inline bool is_exactly_a(const basic & obj) -{ - return obj.tinfo()==TINFO_varidx; -} - -/** Specialization of is_exactly_a(obj) for spinidx objects. */ -template<> inline bool is_exactly_a(const basic & obj) -{ - return obj.tinfo()==TINFO_spinidx; -} - /** Check whether two indices form a dummy pair. */ bool is_dummy_pair(const idx & i1, const idx & i2); @@ -271,4 +274,4 @@ ex minimal_dim(const ex & dim1, const ex & dim2); } // namespace GiNaC -#endif // ndef __GINAC_IDX_H__ +#endif // ndef GINAC_IDX_H