Hello guys, I'm working on a CAS for school mathematics in C++ and want to use GiNaC as a backend. In a CAS, the user has the option to define constants and functions, for example def a = 5 def f(x) = 2 * x + 3 def g(x, y) = x + 2y and then use these definitions like this f(3) + a * 4 - g(4, 5) Implement this for constants is pretty straight forward in GiNaC with the subs() method and an exmap which contains all defined constants. For the example above, it would be enough to insert a symbol with the value a together with the expression 5 into the map, then call subs() with it. Enable the same support for functions however seems very difficult, as functions can only defined at compile time with a macro. And using subs() seems a bit silly with functions: GiNaC::ex ex(f(2)); ex.subs(f(2) == f(2)); //what? This problem seems pretty common to me and I really wondered why GiNaC has no options to archive this. Did I miss something?