]> www.ginac.de Git - ginac.git/search
added function::get_name() to return a function's print name