X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=ginac%2Fsymbol.h;h=519980f857dcededb579715ee1dbd9ff96ce3dac;hp=eefd27c80672583ab37f5ae1be2b544fa0b805c2;hb=10365850aa3803337bfea1fc201b81b6752096d4;hpb=c28e61da33905ddc69abf893aaffec98aa30d053

diff --git a/ginac/symbol.h b/ginac/symbol.h
index eefd27c8..519980f8 100644
--- a/ginac/symbol.h
+++ b/ginac/symbol.h
@@ -3,7 +3,7 @@
  *  Interface to GiNaC's symbolic objects. */
 
 /*
- *  GiNaC Copyright (C) 1999-2010 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
@@ -69,7 +69,8 @@ protected:
 	// non-virtual functions in this class
 public:
 	void set_name(const std::string & n) { name = n; }
-	std::string get_name() const { return name; }
+	void set_TeX_name(const std::string & n) { TeX_name = n; }
+	std::string get_name() const;
 	virtual unsigned get_domain() const { return domain::complex; }
 protected:
 	void do_print(const print_context & c, unsigned level) const;
@@ -81,7 +82,7 @@ protected:
 
 protected:
 	unsigned serial;                 ///< unique serial number for comparison
-	std::string name;                ///< printname of this symbol
+	mutable std::string name;        ///< printname of this symbol
 	std::string TeX_name;            ///< LaTeX name of this symbol
 private:
 	static unsigned next_serial;
@@ -108,7 +109,7 @@ public:
 GINAC_DECLARE_UNARCHIVER(realsymbol);
 
 
-/** Specialization of symbol to real domain */
+/** Specialization of symbol to real positive domain */
 class possymbol : public realsymbol
 {
 public: