X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fsymmetry.h;h=fa897be9572de5d6704ed685d8df6ad2eb5c47c9;hp=90699e139832aa04ff3189f0e19dd62e4b30ed8d;hb=8ed95601ab0cff1bb02b2a908e5a2c118b1f0a06;hpb=695f6ae955ec530cded8f21efd5569df39447f76 diff --git a/ginac/symmetry.h b/ginac/symmetry.h index 90699e13..fa897be9 100644 --- a/ginac/symmetry.h +++ b/ginac/symmetry.h @@ -3,7 +3,7 @@ * Interface to GiNaC's symmetry definitions. */ /* - * GiNaC Copyright (C) 1999-2005 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2011 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,18 @@ * * 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_SYMMETRY_H__ -#define __GINAC_SYMMETRY_H__ - -#include +#ifndef GINAC_SYMMETRY_H +#define GINAC_SYMMETRY_H #include "ex.h" +#include "archive.h" -namespace GiNaC { +#include +namespace GiNaC { class sy_is_less; class sy_swap; @@ -80,10 +80,19 @@ public: /** Check whether this node actually represents any kind of symmetry. */ bool has_symmetry() const {return type != none || !children.empty(); } - + /** Check whether this node involves anything non symmetric. */ + bool has_nonsymmetric() const; + /** Check whether this node involves a cyclic symmetry. */ + bool has_cyclic() const; + + /** Save (a.k.a. serialize) object into archive. */ + void archive(archive_node& n) const; + /** Read (a.k.a. deserialize) object from archive. */ + void read_archive(const archive_node& n, lst& syms); protected: void do_print(const print_context & c, unsigned level) const; void do_print_tree(const print_tree & c, unsigned level) const; + unsigned calchash() const; // member variables private: @@ -96,6 +105,7 @@ private: /** Vector of child nodes. */ exvector children; }; +GINAC_DECLARE_UNARCHIVER(symmetry); // global functions @@ -136,7 +146,7 @@ const symmetry & antisymmetric4(); * @param v Start of expression vector * @param symm Root node of symmetry tree * @return the overall sign introduced by the reordering (+1, -1 or 0) - * or INT_MAX if nothing changed */ + * or numeric_limits::max() if nothing changed */ extern int canonicalize(exvector::iterator v, const symmetry &symm); /** Symmetrize expression over a set of objects (symbols, indices). */ @@ -168,14 +178,6 @@ inline ex symmetrize_cyclic(const ex & e, const exvector & v) return symmetrize(e, v.begin(), v.end()); } -// utility functions - -/** Specialization of is_exactly_a(obj) for symmetry objects. */ -template<> inline bool is_exactly_a(const basic & obj) -{ - return obj.tinfo()==TINFO_symmetry; -} - } // namespace GiNaC -#endif // ndef __GINAC_SYMMETRY_H__ +#endif // ndef GINAC_SYMMETRY_H