From ef6c54747cb281fc0c390e8345641b3624efdaf9 Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Sat, 7 Apr 2001 20:58:09 +0000
Subject: [PATCH] added function::get_name() to return a function's print name

---
 ginac/function.pl | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ginac/function.pl b/ginac/function.pl
index 947830c4..b6c15814 100755
--- a/ginac/function.pl
+++ b/ginac/function.pl
@@ -363,6 +363,7 @@ public:
 	static unsigned register_new(function_options const & opt);
 	static unsigned find_function(const std::string &name, unsigned nparams);
 	unsigned getserial(void) const {return serial;}
+	std::string get_name(void) const;
 	
 // member variables
 
@@ -957,6 +958,13 @@ unsigned function::find_function(const std::string &name, unsigned nparams)
 	throw (std::runtime_error("no function '" + name + "' with " + ToString(nparams) + " parameters defined"));
 }
 
+/** Return the print name of the function. */
+std::string function::get_name(void) const
+{
+	GINAC_ASSERT(serial<registered_functions().size());
+	return registered_functions()[serial].name;
+}
+
 } // namespace GiNaC
 
 END_OF_IMPLEMENTATION
-- 
2.44.0