/** @file lorentzidx.h
*
- * Interface to GiNaC's lorentz indices. */
+ * Interface to GiNaC's Lorentz indices. */
/*
- * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2001 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
#include <vector>
#include "idx.h"
-#ifndef NO_NAMESPACE_GINAC
namespace GiNaC {
-#endif // ndef NO_NAMESPACE_GINAC
+
+/** Class of indices for Lorentz tensors, to tell them apart from other
+ * index families like color indices. The indices of this class also
+ * support the case of P-O-decomposed D-dimensional spacetime, where the
+ * parallel space is a Minkowski space with integral dimension P and the
+ * orthogonal space is a Euclidean space with (possibly complex) dimension
+ * D-P. The dimension D of spacetime is represented by the global symbol
+ * that is returned by the Dim() function. */
class lorentzidx : public idx
{
GINAC_DECLARE_REGISTERED_CLASS(lorentzidx, idx)
// member functions
- // default constructor, destructor, copy constructor assignment operator and helpers
-public:
- lorentzidx();
- ~lorentzidx();
- lorentzidx (const lorentzidx & other);
- const lorentzidx & operator=(const lorentzidx & other);
-protected:
- void copy(const lorentzidx & other);
- void destroy(bool call_parent);
-
// other constructors
public:
explicit lorentzidx(bool cov, bool oonly=false, unsigned dimp=0);
// functions overriding virtual functions from bases classes
public:
- basic * duplicate() const;
void printraw(std::ostream & os) const;
void printtree(std::ostream & os, unsigned indent) const;
void print(std::ostream & os, unsigned upper_precedence=0) const;
// non-virtual functions in this class
public:
- bool is_orthogonal_only(void) const { return orthogonal_only; }
- unsigned get_dim_parallel_space(void) const { return dim_parallel_space; }
+ /** Check whether index only lives in orthogonal space. */
+ bool is_orthogonal_only(void) const {return orthogonal_only;}
+
+ /** Return dimension of parallel space. */
+ unsigned get_dim_parallel_space(void) const {return dim_parallel_space;}
+
lorentzidx create_anonymous_representative(void) const;
// member variables
protected:
- bool orthogonal_only;
- unsigned dim_parallel_space;
+ bool orthogonal_only; /**< Symbolic index only lives in orthogonal space? */
+ unsigned dim_parallel_space; /**< Dimension of parallel space */
};
-// global constants
-
-extern const lorentzidx some_lorentzidx;
-extern const type_info & typeid_lorentzidx;
-
// utility functions
inline const lorentzidx &ex_to_lorentzidx(const ex &e)
{
return static_cast<const lorentzidx &>(*e.bp);
}
-#ifndef NO_NAMESPACE_GINAC
+ex Dim(void);
+
} // namespace GiNaC
-#endif // ndef NO_NAMESPACE_GINAC
#endif // ndef __GINAC_LORENTZIDX_H__