4 my ($seq_template,$n)=@_;
8 for ($N=1; $N<=$n; $N++) {
9 $res .= eval('"' . $seq_template . '"');
17 sub generate_from_to {
18 my ($template,$seq_template1,$seq_template2,$seq_template3,$from,$to)=@_;
22 for ($N=$from; $N<=$to; $N++) {
23 $SEQ1=generate_seq($seq_template1,$N);
24 $SEQ2=generate_seq($seq_template2,$N);
25 $SEQ3=generate_seq($seq_template3,$N);
26 $res .= eval('"' . $template . '"');
27 $SEQ1=''; # to avoid main::SEQ1 used only once warning
28 $SEQ2=''; # same as above
29 $SEQ3=''; # same as above
35 my ($template,$seq_template1,$seq_template2,$seq_template3)=@_;
36 return generate_from_to($template,$seq_template1,$seq_template2,$seq_template3,1,$maxargs);
39 $declare_function_macro = generate(
40 <<'END_OF_DECLARE_FUNCTION_MACRO','typename T${N}','const T${N} & p${N}','GiNaC::ex(p${N})');
41 #define DECLARE_FUNCTION_${N}P(NAME) \\
42 extern const unsigned function_index_##NAME; \\
44 inline const GiNaC::function NAME(${SEQ2}) { \\
45 return GiNaC::function(function_index_##NAME, ${SEQ3}); \\
48 END_OF_DECLARE_FUNCTION_MACRO
50 $typedef_eval_funcp=generate(
51 'typedef ex (* eval_funcp_${N})(${SEQ1});'."\n",
54 $typedef_evalf_funcp=generate(
55 'typedef ex (* evalf_funcp_${N})(${SEQ1});'."\n",
58 $typedef_derivative_funcp=generate(
59 'typedef ex (* derivative_funcp_${N})(${SEQ1}, unsigned);'."\n",
62 $typedef_series_funcp=generate(
63 'typedef ex (* series_funcp_${N})(${SEQ1}, const relational &, int, unsigned);'."\n",
66 $eval_func_interface=generate(' function_options & eval_func(eval_funcp_${N} e);'."\n",'','','');
68 $evalf_func_interface=generate(' function_options & evalf_func(evalf_funcp_${N} ef);'."\n",'','','');
70 $derivative_func_interface=generate(' function_options & derivative_func(derivative_funcp_${N} d);'."\n",'','','');
72 $series_func_interface=generate(' function_options & series_func(series_funcp_${N} s);'."\n",'','','');
74 $constructors_interface=generate(
75 ' function(unsigned ser, ${SEQ1});'."\n",
76 'const ex & param${N}','','');
78 $constructors_implementation=generate(
79 <<'END_OF_CONSTRUCTORS_IMPLEMENTATION','const ex & param${N}','param${N}','');
80 function::function(unsigned ser, ${SEQ1})
81 : exprseq(${SEQ2}), serial(ser)
83 debugmsg(\"function ctor from unsigned,${N}*ex\",LOGLEVEL_CONSTRUCT);
84 tinfo_key = TINFO_function;
86 END_OF_CONSTRUCTORS_IMPLEMENTATION
88 $eval_switch_statement=generate(
89 <<'END_OF_EVAL_SWITCH_STATEMENT','seq[${N}-1]','','');
91 eval_result = ((eval_funcp_${N})(registered_functions()[serial].eval_f))(${SEQ1});
93 END_OF_EVAL_SWITCH_STATEMENT
95 $evalf_switch_statement=generate(
96 <<'END_OF_EVALF_SWITCH_STATEMENT','eseq[${N}-1]','','');
98 return ((evalf_funcp_${N})(registered_functions()[serial].evalf_f))(${SEQ1});
99 END_OF_EVALF_SWITCH_STATEMENT
101 $diff_switch_statement=generate(
102 <<'END_OF_DIFF_SWITCH_STATEMENT','seq[${N}-1]','','');
104 return ((derivative_funcp_${N})(registered_functions()[serial].derivative_f))(${SEQ1},diff_param);
105 END_OF_DIFF_SWITCH_STATEMENT
107 $series_switch_statement=generate(
108 <<'END_OF_SERIES_SWITCH_STATEMENT','seq[${N}-1]','','');
111 res = ((series_funcp_${N})(registered_functions()[serial].series_f))(${SEQ1},r,order,options);
112 } catch (do_taylor) {
113 res = basic::series(r, order, options);
116 END_OF_SERIES_SWITCH_STATEMENT
118 $eval_func_implementation=generate(
119 <<'END_OF_EVAL_FUNC_IMPLEMENTATION','','','');
120 function_options & function_options::eval_func(eval_funcp_${N} e)
122 test_and_set_nparams(${N});
123 eval_f = eval_funcp(e);
126 END_OF_EVAL_FUNC_IMPLEMENTATION
128 $evalf_func_implementation=generate(
129 <<'END_OF_EVALF_FUNC_IMPLEMENTATION','','','');
130 function_options & function_options::evalf_func(evalf_funcp_${N} ef)
132 test_and_set_nparams(${N});
133 evalf_f = evalf_funcp(ef);
136 END_OF_EVALF_FUNC_IMPLEMENTATION
138 $derivative_func_implementation=generate(
139 <<'END_OF_DERIVATIVE_FUNC_IMPLEMENTATION','','','');
140 function_options & function_options::derivative_func(derivative_funcp_${N} d)
142 test_and_set_nparams(${N});
143 derivative_f = derivative_funcp(d);
146 END_OF_DERIVATIVE_FUNC_IMPLEMENTATION
148 $series_func_implementation=generate(
149 <<'END_OF_SERIES_FUNC_IMPLEMENTATION','','','');
150 function_options & function_options::series_func(series_funcp_${N} s)
152 test_and_set_nparams(${N});
153 series_f = series_funcp(s);
156 END_OF_SERIES_FUNC_IMPLEMENTATION
158 $interface=<<END_OF_INTERFACE;
159 /** \@file function.h
161 * Interface to abstract class function (new function concept). */
164 * This file was generated automatically by function.pl.
165 * Please do not modify it directly, edit the perl script instead!
166 * function.pl options: \$maxargs=${maxargs}
168 * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
170 * This program is free software; you can redistribute it and/or modify
171 * it under the terms of the GNU General Public License as published by
172 * the Free Software Foundation; either version 2 of the License, or
173 * (at your option) any later version.
175 * This program is distributed in the hope that it will be useful,
176 * but WITHOUT ANY WARRANTY; without even the implied warranty of
177 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
178 * GNU General Public License for more details.
180 * You should have received a copy of the GNU General Public License
181 * along with this program; if not, write to the Free Software
182 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
185 #ifndef __GINAC_FUNCTION_H__
186 #define __GINAC_FUNCTION_H__
191 // CINT needs <algorithm> to work properly with <vector>
196 // the following lines have been generated for max. ${maxargs} parameters
197 $declare_function_macro
198 // end of generated lines
200 #define REGISTER_FUNCTION(NAME,OPT) \\
201 const unsigned function_index_##NAME= \\
202 GiNaC::function::register_new(GiNaC::function_options(#NAME).OPT);
204 #define BEGIN_TYPECHECK \\
205 bool automatic_typecheck=true;
207 #define TYPECHECK(VAR,TYPE) \\
208 if (!is_exactly_a<TYPE>(VAR)) { \\
209 automatic_typecheck=false; \\
212 #define TYPECHECK_INTEGER(VAR) \\
213 if (!(VAR).info(GiNaC::info_flags::integer)) { \\
214 automatic_typecheck=false; \\
217 #define END_TYPECHECK(RV) \\
219 if (!automatic_typecheck) { \\
228 typedef ex (* eval_funcp)();
229 typedef ex (* evalf_funcp)();
230 typedef ex (* derivative_funcp)();
231 typedef ex (* series_funcp)();
233 // the following lines have been generated for max. ${maxargs} parameters
236 $typedef_derivative_funcp
237 $typedef_series_funcp
238 // end of generated lines
240 class function_options
242 friend class function;
245 function_options(std::string const & n, std::string const & tn=std::string());
247 void initialize(void);
248 function_options & set_name(std::string const & n, std::string const & tn=std::string());
249 function_options & latex_name(std::string const & tn);
250 // the following lines have been generated for max. ${maxargs} parameters
252 $evalf_func_interface
253 $derivative_func_interface
254 $series_func_interface
255 // end of generated lines
256 function_options & set_return_type(unsigned rt, unsigned rtt=0);
257 function_options & do_not_evalf_params(void);
258 function_options & remember(unsigned size, unsigned assoc_size=0,
259 unsigned strategy=remember_strategies::delete_never);
260 function_options & overloaded(unsigned o);
261 function_options & set_symmetry(const symmetry & s);
262 void test_and_set_nparams(unsigned n);
263 std::string get_name(void) const { return name; }
264 unsigned get_nparams(void) const { return nparams; }
265 bool has_derivative(void) const { return derivative_f != NULL; }
269 std::string TeX_name;
275 derivative_funcp derivative_f;
276 series_funcp series_f;
278 bool evalf_params_first;
280 bool use_return_type;
281 unsigned return_type;
282 unsigned return_type_tinfo;
285 unsigned remember_size;
286 unsigned remember_assoc_size;
287 unsigned remember_strategy;
289 unsigned functions_with_same_name;
294 /** The class function is used to implement builtin functions like sin, cos...
295 and user defined functions */
296 class function : public exprseq
298 GINAC_DECLARE_REGISTERED_CLASS(function, exprseq)
300 // CINT has a linking problem
302 friend void ginsh_get_ginac_functions(void);
303 #endif // def __MAKECINT__
305 friend class remember_table_entry;
306 // friend class remember_table_list;
307 // friend class remember_table;
308 friend ex Derivative_eval(const ex &, const ex &);
314 function(unsigned ser);
315 // the following lines have been generated for max. ${maxargs} parameters
316 $constructors_interface
317 // end of generated lines
318 function(unsigned ser, const exprseq & es);
319 function(unsigned ser, const exvector & v, bool discardable = false);
320 function(unsigned ser, exvector * vp); // vp will be deleted
322 // functions overriding virtual functions from bases classes
324 void print(const print_context & c, unsigned level = 0) const;
325 unsigned precedence(void) const {return 70;}
326 int degree(const ex & s) const;
327 int ldegree(const ex & s) const;
328 ex coeff(const ex & s, int n = 1) const;
329 ex expand(unsigned options=0) const;
330 ex eval(int level=0) const;
331 ex evalf(int level=0) const;
332 unsigned calchash(void) const;
333 ex series(const relational & r, int order, unsigned options = 0) const;
334 ex thisexprseq(const exvector & v) const;
335 ex thisexprseq(exvector * vp) const;
337 ex derivative(const symbol & s) const;
338 bool is_equal_same_type(const basic & other) const;
339 bool match_same_type(const basic & other) const;
340 unsigned return_type(void) const;
341 unsigned return_type_tinfo(void) const;
343 // new virtual functions which can be overridden by derived classes
346 // non-virtual functions in this class
348 ex pderivative(unsigned diff_param) const; // partial differentiation
349 static std::vector<function_options> & registered_functions(void);
350 bool lookup_remember_table(ex & result) const;
351 void store_remember_table(ex const & result) const;
353 static unsigned register_new(function_options const & opt);
354 static unsigned find_function(const std::string &name, unsigned nparams);
355 unsigned get_serial(void) const {return serial;}
356 std::string get_name(void) const;
364 // utility functions/macros
365 /** Return the object of type function handled by an ex.
366 * This is unsafe: you need to check the type first. */
367 inline const function &ex_to_function(const ex &e)
369 return static_cast<const function &>(*e.bp);
372 /** Specialization of is_exactly_a<function>(obj) for objects of type function. */
373 template<> inline bool is_exactly_a<function>(const basic & obj)
375 return obj.tinfo()==TINFO_function;
378 #define is_ex_the_function(OBJ, FUNCNAME) \\
379 (is_ex_exactly_of_type(OBJ, function) && static_cast<GiNaC::function *>(OBJ.bp)->get_serial() == function_index_##FUNCNAME)
383 #endif // ndef __GINAC_FUNCTION_H__
387 $implementation=<<END_OF_IMPLEMENTATION;
388 /** \@file function.cpp
390 * Implementation of class function. */
393 * This file was generated automatically by function.pl.
394 * Please do not modify it directly, edit the perl script instead!
395 * function.pl options: \$maxargs=${maxargs}
397 * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
399 * This program is free software; you can redistribute it and/or modify
400 * it under the terms of the GNU General Public License as published by
401 * the Free Software Foundation; either version 2 of the License, or
402 * (at your option) any later version.
404 * This program is distributed in the hope that it will be useful,
405 * but WITHOUT ANY WARRANTY; without even the implied warranty of
406 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
407 * GNU General Public License for more details.
409 * You should have received a copy of the GNU General Public License
410 * along with this program; if not, write to the Free Software
411 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
418 #include "function.h"
421 #include "symmetry.h"
426 #include "debugmsg.h"
427 #include "remember.h"
432 // helper class function_options
435 function_options::function_options()
440 function_options::function_options(std::string const & n, std::string const & tn)
446 function_options::~function_options()
448 // nothing to clean up at the moment
451 void function_options::initialize(void)
453 set_name("unnamed_function","\\\\mbox{unnamed}");
455 eval_f = evalf_f = derivative_f = series_f = 0;
456 evalf_params_first = true;
457 use_return_type = false;
458 use_remember = false;
459 functions_with_same_name = 1;
463 function_options & function_options::set_name(std::string const & n,
464 std::string const & tn)
467 if (tn==std::string())
468 TeX_name = "\\\\mbox{"+name+"}";
474 function_options & function_options::latex_name(std::string const & tn)
480 // the following lines have been generated for max. ${maxargs} parameters
481 $eval_func_implementation
482 $evalf_func_implementation
483 $derivative_func_implementation
484 $series_func_implementation
485 // end of generated lines
487 function_options & function_options::set_return_type(unsigned rt, unsigned rtt)
489 use_return_type = true;
491 return_type_tinfo = rtt;
495 function_options & function_options::do_not_evalf_params(void)
497 evalf_params_first = false;
501 function_options & function_options::remember(unsigned size,
506 remember_size = size;
507 remember_assoc_size = assoc_size;
508 remember_strategy = strategy;
512 function_options & function_options::overloaded(unsigned o)
514 functions_with_same_name = o;
518 function_options & function_options::set_symmetry(const symmetry & s)
524 void function_options::test_and_set_nparams(unsigned n)
528 } else if (nparams!=n) {
529 // we do not throw an exception here because this code is
530 // usually executed before main(), so the exception could not
532 std::cerr << "WARNING: number of parameters ("
533 << n << ") differs from number set before ("
534 << nparams << ")" << std::endl;
538 GINAC_IMPLEMENT_REGISTERED_CLASS(function, exprseq)
541 // default ctor, dtor, copy ctor assignment operator and helpers
546 function::function() : serial(0)
548 debugmsg("function default ctor",LOGLEVEL_CONSTRUCT);
549 tinfo_key = TINFO_function;
554 void function::copy(const function & other)
556 inherited::copy(other);
557 serial = other.serial;
560 void function::destroy(bool call_parent)
563 inherited::destroy(call_parent);
572 function::function(unsigned ser) : serial(ser)
574 debugmsg("function ctor from unsigned",LOGLEVEL_CONSTRUCT);
575 tinfo_key = TINFO_function;
578 // the following lines have been generated for max. ${maxargs} parameters
579 $constructors_implementation
580 // end of generated lines
582 function::function(unsigned ser, const exprseq & es) : exprseq(es), serial(ser)
584 debugmsg("function ctor from unsigned,exprseq",LOGLEVEL_CONSTRUCT);
585 tinfo_key = TINFO_function;
588 function::function(unsigned ser, const exvector & v, bool discardable)
589 : exprseq(v,discardable), serial(ser)
591 debugmsg("function ctor from string,exvector,bool",LOGLEVEL_CONSTRUCT);
592 tinfo_key = TINFO_function;
595 function::function(unsigned ser, exvector * vp)
596 : exprseq(vp), serial(ser)
598 debugmsg("function ctor from unsigned,exvector *",LOGLEVEL_CONSTRUCT);
599 tinfo_key = TINFO_function;
606 /** Construct object from archive_node. */
607 function::function(const archive_node &n, const lst &sym_lst) : inherited(n, sym_lst)
609 debugmsg("function ctor from archive_node", LOGLEVEL_CONSTRUCT);
611 // Find serial number by function name
613 if (n.find_string("name", s)) {
614 unsigned int ser = 0;
615 std::vector<function_options>::const_iterator i = registered_functions().begin(), iend = registered_functions().end();
623 throw (std::runtime_error("unknown function '" + s + "' in archive"));
625 throw (std::runtime_error("unnamed function in archive"));
628 /** Unarchive the object. */
629 ex function::unarchive(const archive_node &n, const lst &sym_lst)
631 return (new function(n, sym_lst))->setflag(status_flags::dynallocated);
634 /** Archive the object. */
635 void function::archive(archive_node &n) const
637 inherited::archive(n);
638 GINAC_ASSERT(serial < registered_functions().size());
639 n.add_string("name", registered_functions()[serial].name);
643 // functions overriding virtual functions from bases classes
648 void function::print(const print_context & c, unsigned level) const
650 debugmsg("function print", LOGLEVEL_PRINT);
652 GINAC_ASSERT(serial<registered_functions().size());
654 if (is_of_type(c, print_tree)) {
656 c.s << std::string(level, ' ') << class_name() << " "
657 << registered_functions()[serial].name
658 << std::hex << ", hash=0x" << hashvalue << ", flags=0x" << flags << std::dec
659 << ", nops=" << nops()
661 unsigned delta_indent = static_cast<const print_tree &>(c).delta_indent;
662 for (unsigned i=0; i<seq.size(); ++i)
663 seq[i].print(c, level + delta_indent);
664 c.s << std::string(level + delta_indent, ' ') << "=====" << std::endl;
666 } else if (is_of_type(c, print_csrc)) {
668 // Print function name in lowercase
669 std::string lname = registered_functions()[serial].name;
670 unsigned num = lname.size();
671 for (unsigned i=0; i<num; i++)
672 lname[i] = tolower(lname[i]);
675 // Print arguments, separated by commas
676 exvector::const_iterator it = seq.begin(), itend = seq.end();
677 while (it != itend) {
685 } else if (is_of_type(c, print_latex)) {
686 c.s << registered_functions()[serial].TeX_name;
687 printseq(c, '(', ',', ')', exprseq::precedence(), function::precedence());
689 c.s << registered_functions()[serial].name;
690 printseq(c, '(', ',', ')', exprseq::precedence(), function::precedence());
694 ex function::expand(unsigned options) const
696 // Only expand arguments when asked to do so
697 if (options & expand_options::expand_function_args)
698 return inherited::expand(options);
700 return (options == 0) ? setflag(status_flags::expanded) : *this;
703 int function::degree(const ex & s) const
705 return is_equal(*s.bp) ? 1 : 0;
708 int function::ldegree(const ex & s) const
710 return is_equal(*s.bp) ? 1 : 0;
713 ex function::coeff(const ex & s, int n) const
716 return n==1 ? _ex1() : _ex0();
718 return n==0 ? ex(*this) : _ex0();
721 ex function::eval(int level) const
723 GINAC_ASSERT(serial<registered_functions().size());
726 // first evaluate children, then we will end up here again
727 return function(serial,evalchildren(level));
730 const function_options &opt = registered_functions()[serial];
732 // Canonicalize argument order according to the symmetry properties
733 if (seq.size() > 1 && !(opt.symtree.is_zero())) {
735 GINAC_ASSERT(is_ex_exactly_of_type(opt.symtree, symmetry));
736 int sig = canonicalize(v.begin(), ex_to<symmetry>(opt.symtree));
737 if (sig != INT_MAX) {
738 // Something has changed while sorting arguments, more evaluations later
741 return ex(sig) * thisexprseq(v);
749 bool use_remember = opt.use_remember;
751 if (use_remember && lookup_remember_table(eval_result)) {
755 switch (opt.nparams) {
756 // the following lines have been generated for max. ${maxargs} parameters
757 ${eval_switch_statement}
758 // end of generated lines
760 throw(std::logic_error("function::eval(): invalid nparams"));
763 store_remember_table(eval_result);
768 ex function::evalf(int level) const
770 GINAC_ASSERT(serial<registered_functions().size());
772 // Evaluate children first
776 else if (level == -max_recursion_level)
777 throw(std::runtime_error("max recursion level reached"));
779 eseq.reserve(seq.size());
781 exvector::const_iterator it = seq.begin(), itend = seq.end();
782 while (it != itend) {
783 eseq.push_back(it->evalf(level));
787 if (registered_functions()[serial].evalf_f==0) {
788 return function(serial,eseq).hold();
790 switch (registered_functions()[serial].nparams) {
791 // the following lines have been generated for max. ${maxargs} parameters
792 ${evalf_switch_statement}
793 // end of generated lines
795 throw(std::logic_error("function::evalf(): invalid nparams"));
798 unsigned function::calchash(void) const
800 unsigned v = golden_ratio_hash(golden_ratio_hash(tinfo()) ^ serial);
801 for (unsigned i=0; i<nops(); i++) {
802 v = rotate_left_31(v);
803 v ^= this->op(i).gethash();
806 if (flags & status_flags::evaluated) {
807 setflag(status_flags::hash_calculated);
813 ex function::thisexprseq(const exvector & v) const
815 return function(serial,v);
818 ex function::thisexprseq(exvector * vp) const
820 return function(serial,vp);
823 /** Implementation of ex::series for functions.
824 * \@see ex::series */
825 ex function::series(const relational & r, int order, unsigned options) const
827 GINAC_ASSERT(serial<registered_functions().size());
829 if (registered_functions()[serial].series_f==0) {
830 return basic::series(r, order);
833 switch (registered_functions()[serial].nparams) {
834 // the following lines have been generated for max. ${maxargs} parameters
835 ${series_switch_statement}
836 // end of generated lines
838 throw(std::logic_error("function::series(): invalid nparams"));
843 /** Implementation of ex::diff() for functions. It applies the chain rule,
844 * except for the Order term function.
846 ex function::derivative(const symbol & s) const
850 if (serial == function_index_Order) {
851 // Order Term function only differentiates the argument
852 return Order(seq[0].diff(s));
853 } else if (serial == function_index_Derivative) {
854 // Inert derivative performs chain rule on the first argument only, and
855 // adds differentiation parameter to list (second argument)
856 GINAC_ASSERT(is_ex_exactly_of_type(seq[0], function));
857 GINAC_ASSERT(is_ex_exactly_of_type(seq[1], function));
860 for (unsigned i=0; i!=fcn.nops(); i++) {
861 arg_diff = fcn.op(i).diff(s);
862 if (!arg_diff.is_zero()) {
863 lst new_lst = ex_to<lst>(seq[1]);
865 result += arg_diff * Derivative(fcn, new_lst);
871 unsigned num = seq.size();
872 for (unsigned i=0; i<num; i++) {
873 arg_diff = seq[i].diff(s);
874 // We apply the chain rule only when it makes sense. This is not
875 // just for performance reasons but also to allow functions to
876 // throw when differentiated with respect to one of its arguments
877 // without running into trouble with our automatic full
879 if (!arg_diff.is_zero())
880 result += pderivative(i)*arg_diff;
886 int function::compare_same_type(const basic & other) const
888 GINAC_ASSERT(is_of_type(other, function));
889 const function & o = static_cast<const function &>(other);
891 if (serial != o.serial)
892 return serial < o.serial ? -1 : 1;
894 return exprseq::compare_same_type(o);
897 bool function::is_equal_same_type(const basic & other) const
899 GINAC_ASSERT(is_of_type(other, function));
900 const function & o = static_cast<const function &>(other);
902 if (serial != o.serial)
905 return exprseq::is_equal_same_type(o);
908 bool function::match_same_type(const basic & other) const
910 GINAC_ASSERT(is_of_type(other, function));
911 const function & o = static_cast<const function &>(other);
913 return serial == o.serial;
916 unsigned function::return_type(void) const
919 return return_types::commutative;
921 return seq.begin()->return_type();
924 unsigned function::return_type_tinfo(void) const
929 return seq.begin()->return_type_tinfo();
933 // new virtual functions which can be overridden by derived classes
939 // non-virtual functions in this class
944 ex function::pderivative(unsigned diff_param) const // partial differentiation
946 GINAC_ASSERT(serial<registered_functions().size());
948 if (registered_functions()[serial].derivative_f==0) {
949 return Derivative(*this, lst(ex(diff_param)));
951 switch (registered_functions()[serial].nparams) {
952 // the following lines have been generated for max. ${maxargs} parameters
953 ${diff_switch_statement}
954 // end of generated lines
956 throw(std::logic_error("function::pderivative(): no diff function defined"));
959 std::vector<function_options> & function::registered_functions(void)
961 static std::vector<function_options> * rf = new std::vector<function_options>;
965 bool function::lookup_remember_table(ex & result) const
967 return remember_table::remember_tables()[serial].lookup_entry(*this,result);
970 void function::store_remember_table(ex const & result) const
972 remember_table::remember_tables()[serial].add_entry(*this,result);
977 unsigned function::register_new(function_options const & opt)
979 unsigned same_name = 0;
980 for (unsigned i=0; i<registered_functions().size(); ++i) {
981 if (registered_functions()[i].name==opt.name) {
985 if (same_name>=opt.functions_with_same_name) {
986 // we do not throw an exception here because this code is
987 // usually executed before main(), so the exception could not
989 std::cerr << "WARNING: function name " << opt.name
990 << " already in use!" << std::endl;
992 registered_functions().push_back(opt);
993 if (opt.use_remember) {
994 remember_table::remember_tables().
995 push_back(remember_table(opt.remember_size,
996 opt.remember_assoc_size,
997 opt.remember_strategy));
999 remember_table::remember_tables().push_back(remember_table());
1001 return registered_functions().size()-1;
1004 /** Find serial number of function by name and number of parameters.
1005 * Throws exception if function was not found. */
1006 unsigned function::find_function(const std::string &name, unsigned nparams)
1008 std::vector<function_options>::const_iterator i = function::registered_functions().begin(), end = function::registered_functions().end();
1009 unsigned serial = 0;
1011 if (i->get_name() == name && i->get_nparams() == nparams)
1016 throw (std::runtime_error("no function '" + name + "' with " + ToString(nparams) + " parameters defined"));
1019 /** Return the print name of the function. */
1020 std::string function::get_name(void) const
1022 GINAC_ASSERT(serial<registered_functions().size());
1023 return registered_functions()[serial].name;
1026 } // namespace GiNaC
1028 END_OF_IMPLEMENTATION
1030 print "Creating interface file function.h...";
1031 open OUT,">function.h" or die "cannot open function.h";
1032 print OUT $interface;
1036 print "Creating implementation file function.cpp...";
1037 open OUT,">function.cpp" or die "cannot open function.cpp";
1038 print OUT $implementation;