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 tinfo_key = TINFO_function;
85 END_OF_CONSTRUCTORS_IMPLEMENTATION
87 $eval_switch_statement=generate(
88 <<'END_OF_EVAL_SWITCH_STATEMENT','seq[${N}-1]','','');
90 eval_result = ((eval_funcp_${N})(registered_functions()[serial].eval_f))(${SEQ1});
92 END_OF_EVAL_SWITCH_STATEMENT
94 $evalf_switch_statement=generate(
95 <<'END_OF_EVALF_SWITCH_STATEMENT','eseq[${N}-1]','','');
97 return ((evalf_funcp_${N})(registered_functions()[serial].evalf_f))(${SEQ1});
98 END_OF_EVALF_SWITCH_STATEMENT
100 $diff_switch_statement=generate(
101 <<'END_OF_DIFF_SWITCH_STATEMENT','seq[${N}-1]','','');
103 return ((derivative_funcp_${N})(registered_functions()[serial].derivative_f))(${SEQ1},diff_param);
104 END_OF_DIFF_SWITCH_STATEMENT
106 $series_switch_statement=generate(
107 <<'END_OF_SERIES_SWITCH_STATEMENT','seq[${N}-1]','','');
110 res = ((series_funcp_${N})(registered_functions()[serial].series_f))(${SEQ1},r,order,options);
111 } catch (do_taylor) {
112 res = basic::series(r, order, options);
115 END_OF_SERIES_SWITCH_STATEMENT
117 $eval_func_implementation=generate(
118 <<'END_OF_EVAL_FUNC_IMPLEMENTATION','','','');
119 function_options & function_options::eval_func(eval_funcp_${N} e)
121 test_and_set_nparams(${N});
122 eval_f = eval_funcp(e);
125 END_OF_EVAL_FUNC_IMPLEMENTATION
127 $evalf_func_implementation=generate(
128 <<'END_OF_EVALF_FUNC_IMPLEMENTATION','','','');
129 function_options & function_options::evalf_func(evalf_funcp_${N} ef)
131 test_and_set_nparams(${N});
132 evalf_f = evalf_funcp(ef);
135 END_OF_EVALF_FUNC_IMPLEMENTATION
137 $derivative_func_implementation=generate(
138 <<'END_OF_DERIVATIVE_FUNC_IMPLEMENTATION','','','');
139 function_options & function_options::derivative_func(derivative_funcp_${N} d)
141 test_and_set_nparams(${N});
142 derivative_f = derivative_funcp(d);
145 END_OF_DERIVATIVE_FUNC_IMPLEMENTATION
147 $series_func_implementation=generate(
148 <<'END_OF_SERIES_FUNC_IMPLEMENTATION','','','');
149 function_options & function_options::series_func(series_funcp_${N} s)
151 test_and_set_nparams(${N});
152 series_f = series_funcp(s);
155 END_OF_SERIES_FUNC_IMPLEMENTATION
157 $interface=<<END_OF_INTERFACE;
158 /** \@file function.h
160 * Interface to class of symbolic functions. */
163 * This file was generated automatically by function.pl.
164 * Please do not modify it directly, edit the perl script instead!
165 * function.pl options: \$maxargs=${maxargs}
167 * GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany
169 * This program is free software; you can redistribute it and/or modify
170 * it under the terms of the GNU General Public License as published by
171 * the Free Software Foundation; either version 2 of the License, or
172 * (at your option) any later version.
174 * This program is distributed in the hope that it will be useful,
175 * but WITHOUT ANY WARRANTY; without even the implied warranty of
176 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
177 * GNU General Public License for more details.
179 * You should have received a copy of the GNU General Public License
180 * along with this program; if not, write to the Free Software
181 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
184 #ifndef __GINAC_FUNCTION_H__
185 #define __GINAC_FUNCTION_H__
190 // CINT needs <algorithm> to work properly with <vector>
195 // the following lines have been generated for max. ${maxargs} parameters
196 $declare_function_macro
197 // end of generated lines
199 #define REGISTER_FUNCTION(NAME,OPT) \\
200 const unsigned function_index_##NAME= \\
201 GiNaC::function::register_new(GiNaC::function_options(#NAME).OPT);
208 typedef ex (* eval_funcp)();
209 typedef ex (* evalf_funcp)();
210 typedef ex (* derivative_funcp)();
211 typedef ex (* series_funcp)();
213 // the following lines have been generated for max. ${maxargs} parameters
216 $typedef_derivative_funcp
217 $typedef_series_funcp
218 // end of generated lines
220 // Alternatively, an exvector may be passed into the static function, instead
221 // of individual ex objects. Then, the number of arguments is not limited.
222 typedef ex (* eval_funcp_exvector)(const exvector &);
223 typedef ex (* evalf_funcp_exvector)(const exvector &);
224 typedef ex (* derivative_funcp_exvector)(const exvector &, unsigned);
225 typedef ex (* series_funcp_exvector)(const exvector &, const relational &, int, unsigned);
227 class function_options
229 friend class function;
230 friend class fderivative;
233 function_options(std::string const & n, std::string const & tn=std::string());
235 void initialize(void);
236 function_options & set_name(std::string const & n, std::string const & tn=std::string());
237 function_options & latex_name(std::string const & tn);
238 // the following lines have been generated for max. ${maxargs} parameters
240 $evalf_func_interface
241 $derivative_func_interface
242 $series_func_interface
243 // end of generated lines
244 function_options & eval_func(eval_funcp_exvector e);
245 function_options & evalf_func(evalf_funcp_exvector ef);
246 function_options & derivative_func(derivative_funcp_exvector d);
247 function_options & series_func(series_funcp_exvector s);
249 function_options & set_return_type(unsigned rt, unsigned rtt=0);
250 function_options & do_not_evalf_params(void);
251 function_options & remember(unsigned size, unsigned assoc_size=0,
252 unsigned strategy=remember_strategies::delete_never);
253 function_options & overloaded(unsigned o);
254 function_options & set_symmetry(const symmetry & s);
255 void test_and_set_nparams(unsigned n);
256 std::string get_name(void) const { return name; }
257 unsigned get_nparams(void) const { return nparams; }
258 bool has_derivative(void) const { return derivative_f != NULL; }
262 std::string TeX_name;
268 derivative_funcp derivative_f;
269 series_funcp series_f;
271 bool evalf_params_first;
273 bool use_return_type;
274 unsigned return_type;
275 unsigned return_type_tinfo;
278 unsigned remember_size;
279 unsigned remember_assoc_size;
280 unsigned remember_strategy;
282 bool eval_use_exvector_args;
283 bool evalf_use_exvector_args;
284 bool derivative_use_exvector_args;
285 bool series_use_exvector_args;
287 unsigned functions_with_same_name;
292 /** The class function is used to implement builtin functions like sin, cos...
293 and user defined functions */
294 class function : public exprseq
296 GINAC_DECLARE_REGISTERED_CLASS(function, exprseq)
298 // CINT has a linking problem
300 friend void ginsh_get_ginac_functions(void);
301 #endif // def __MAKECINT__
303 friend class remember_table_entry;
304 // friend class remember_table_list;
305 // friend class remember_table;
311 function(unsigned ser);
312 // the following lines have been generated for max. ${maxargs} parameters
313 $constructors_interface
314 // end of generated lines
315 function(unsigned ser, const exprseq & es);
316 function(unsigned ser, const exvector & v, bool discardable = false);
317 function(unsigned ser, exvector * vp); // vp will be deleted
319 // functions overriding virtual functions from base classes
321 void print(const print_context & c, unsigned level = 0) const;
322 unsigned precedence(void) const {return 70;}
323 ex expand(unsigned options=0) const;
324 ex eval(int level=0) const;
325 ex evalf(int level=0) const;
326 unsigned calchash(void) const;
327 ex series(const relational & r, int order, unsigned options = 0) const;
328 ex thisexprseq(const exvector & v) const;
329 ex thisexprseq(exvector * vp) const;
331 ex derivative(const symbol & s) const;
332 bool is_equal_same_type(const basic & other) const;
333 bool match_same_type(const basic & other) const;
334 unsigned return_type(void) const;
335 unsigned return_type_tinfo(void) const;
337 // new virtual functions which can be overridden by derived classes
340 // non-virtual functions in this class
342 ex pderivative(unsigned diff_param) const; // partial differentiation
343 static std::vector<function_options> & registered_functions(void);
344 bool lookup_remember_table(ex & result) const;
345 void store_remember_table(ex const & result) const;
347 static unsigned register_new(function_options const & opt);
348 static unsigned current_serial;
349 static unsigned find_function(const std::string &name, unsigned nparams);
350 unsigned get_serial(void) const {return serial;}
351 std::string get_name(void) const;
359 // utility functions/macros
361 /** Specialization of is_exactly_a<function>(obj) for objects of type function. */
362 template<> inline bool is_exactly_a<function>(const basic & obj)
364 return obj.tinfo()==TINFO_function;
367 #define is_ex_the_function(OBJ, FUNCNAME) \\
368 (is_exactly_a<GiNaC::function>(OBJ) && ex_to<GiNaC::function>(OBJ).get_serial() == function_index_##FUNCNAME)
372 #endif // ndef __GINAC_FUNCTION_H__
376 $implementation=<<END_OF_IMPLEMENTATION;
377 /** \@file function.cpp
379 * Implementation of class of symbolic functions. */
382 * This file was generated automatically by function.pl.
383 * Please do not modify it directly, edit the perl script instead!
384 * function.pl options: \$maxargs=${maxargs}
386 * GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany
388 * This program is free software; you can redistribute it and/or modify
389 * it under the terms of the GNU General Public License as published by
390 * the Free Software Foundation; either version 2 of the License, or
391 * (at your option) any later version.
393 * This program is distributed in the hope that it will be useful,
394 * but WITHOUT ANY WARRANTY; without even the implied warranty of
395 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
396 * GNU General Public License for more details.
398 * You should have received a copy of the GNU General Public License
399 * along with this program; if not, write to the Free Software
400 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
408 #include "function.h"
409 #include "fderivative.h"
412 #include "symmetry.h"
416 #include "tostring.h"
418 #include "remember.h"
423 // helper class function_options
426 function_options::function_options()
431 function_options::function_options(std::string const & n, std::string const & tn)
437 function_options::~function_options()
439 // nothing to clean up at the moment
442 void function_options::initialize(void)
444 set_name("unnamed_function","\\\\mbox{unnamed}");
446 eval_f = evalf_f = derivative_f = series_f = 0;
447 evalf_params_first = true;
448 use_return_type = false;
449 eval_use_exvector_args = false;
450 evalf_use_exvector_args = false;
451 derivative_use_exvector_args = false;
452 series_use_exvector_args = false;
453 use_remember = false;
454 functions_with_same_name = 1;
458 function_options & function_options::set_name(std::string const & n,
459 std::string const & tn)
462 if (tn==std::string())
463 TeX_name = "\\\\mbox{"+name+"}";
469 function_options & function_options::latex_name(std::string const & tn)
475 // the following lines have been generated for max. ${maxargs} parameters
476 $eval_func_implementation
477 $evalf_func_implementation
478 $derivative_func_implementation
479 $series_func_implementation
480 // end of generated lines
482 function_options& function_options::eval_func(eval_funcp_exvector e)
484 eval_use_exvector_args = true;
485 eval_f = eval_funcp(e);
488 function_options& function_options::evalf_func(evalf_funcp_exvector ef)
490 evalf_use_exvector_args = true;
491 evalf_f = evalf_funcp(ef);
494 function_options& function_options::derivative_func(derivative_funcp_exvector d)
496 derivative_use_exvector_args = true;
497 derivative_f = derivative_funcp(d);
500 function_options& function_options::series_func(series_funcp_exvector s)
502 series_use_exvector_args = true;
503 series_f = series_funcp(s);
508 function_options & function_options::set_return_type(unsigned rt, unsigned rtt)
510 use_return_type = true;
512 return_type_tinfo = rtt;
516 function_options & function_options::do_not_evalf_params(void)
518 evalf_params_first = false;
522 function_options & function_options::remember(unsigned size,
527 remember_size = size;
528 remember_assoc_size = assoc_size;
529 remember_strategy = strategy;
533 function_options & function_options::overloaded(unsigned o)
535 functions_with_same_name = o;
539 function_options & function_options::set_symmetry(const symmetry & s)
545 void function_options::test_and_set_nparams(unsigned n)
549 } else if (nparams!=n) {
550 // we do not throw an exception here because this code is
551 // usually executed before main(), so the exception could not
553 std::cerr << "WARNING: number of parameters ("
554 << n << ") differs from number set before ("
555 << nparams << ")" << std::endl;
559 /** This can be used as a hook for external applications. */
560 unsigned function::current_serial = 0;
563 GINAC_IMPLEMENT_REGISTERED_CLASS(function, exprseq)
566 // default ctor, dtor, copy ctor, assignment operator and helpers
571 function::function() : serial(0)
573 tinfo_key = TINFO_function;
578 void function::copy(const function & other)
580 inherited::copy(other);
581 serial = other.serial;
584 void function::destroy(bool call_parent)
587 inherited::destroy(call_parent);
596 function::function(unsigned ser) : serial(ser)
598 tinfo_key = TINFO_function;
601 // the following lines have been generated for max. ${maxargs} parameters
602 $constructors_implementation
603 // end of generated lines
605 function::function(unsigned ser, const exprseq & es) : exprseq(es), serial(ser)
607 tinfo_key = TINFO_function;
610 function::function(unsigned ser, const exvector & v, bool discardable)
611 : exprseq(v,discardable), serial(ser)
613 tinfo_key = TINFO_function;
616 function::function(unsigned ser, exvector * vp)
617 : exprseq(vp), serial(ser)
619 tinfo_key = TINFO_function;
626 /** Construct object from archive_node. */
627 function::function(const archive_node &n, const lst &sym_lst) : inherited(n, sym_lst)
629 // Find serial number by function name
631 if (n.find_string("name", s)) {
632 unsigned int ser = 0;
633 std::vector<function_options>::const_iterator i = registered_functions().begin(), iend = registered_functions().end();
641 throw (std::runtime_error("unknown function '" + s + "' in archive"));
643 throw (std::runtime_error("unnamed function in archive"));
646 /** Unarchive the object. */
647 ex function::unarchive(const archive_node &n, const lst &sym_lst)
649 return (new function(n, sym_lst))->setflag(status_flags::dynallocated);
652 /** Archive the object. */
653 void function::archive(archive_node &n) const
655 inherited::archive(n);
656 GINAC_ASSERT(serial < registered_functions().size());
657 n.add_string("name", registered_functions()[serial].name);
661 // functions overriding virtual functions from base classes
666 void function::print(const print_context & c, unsigned level) const
668 GINAC_ASSERT(serial<registered_functions().size());
670 if (is_of_type(c, print_tree)) {
672 c.s << std::string(level, ' ') << class_name() << " "
673 << registered_functions()[serial].name
674 << std::hex << ", hash=0x" << hashvalue << ", flags=0x" << flags << std::dec
675 << ", nops=" << nops()
677 unsigned delta_indent = static_cast<const print_tree &>(c).delta_indent;
678 for (unsigned i=0; i<seq.size(); ++i)
679 seq[i].print(c, level + delta_indent);
680 c.s << std::string(level + delta_indent, ' ') << "=====" << std::endl;
682 } else if (is_of_type(c, print_csrc)) {
684 // Print function name in lowercase
685 std::string lname = registered_functions()[serial].name;
686 unsigned num = lname.size();
687 for (unsigned i=0; i<num; i++)
688 lname[i] = tolower(lname[i]);
691 // Print arguments, separated by commas
692 exvector::const_iterator it = seq.begin(), itend = seq.end();
693 while (it != itend) {
701 } else if (is_of_type(c, print_latex)) {
702 c.s << registered_functions()[serial].TeX_name;
703 printseq(c, '(', ',', ')', exprseq::precedence(), function::precedence());
705 c.s << registered_functions()[serial].name;
706 printseq(c, '(', ',', ')', exprseq::precedence(), function::precedence());
710 ex function::expand(unsigned options) const
712 // Only expand arguments when asked to do so
713 if (options & expand_options::expand_function_args)
714 return inherited::expand(options);
716 return (options == 0) ? setflag(status_flags::expanded) : *this;
719 ex function::eval(int level) const
721 GINAC_ASSERT(serial<registered_functions().size());
724 // first evaluate children, then we will end up here again
725 return function(serial,evalchildren(level));
728 const function_options &opt = registered_functions()[serial];
730 // Canonicalize argument order according to the symmetry properties
731 if (seq.size() > 1 && !(opt.symtree.is_zero())) {
733 GINAC_ASSERT(is_a<symmetry>(opt.symtree));
734 int sig = canonicalize(v.begin(), ex_to<symmetry>(opt.symtree));
735 if (sig != INT_MAX) {
736 // Something has changed while sorting arguments, more evaluations later
739 return ex(sig) * thisexprseq(v);
747 bool use_remember = opt.use_remember;
749 if (use_remember && lookup_remember_table(eval_result)) {
752 current_serial = serial;
753 if (registered_functions()[serial].eval_use_exvector_args)
754 eval_result = ((eval_funcp_exvector)(registered_functions()[serial].eval_f))(seq);
756 switch (opt.nparams) {
757 // the following lines have been generated for max. ${maxargs} parameters
758 ${eval_switch_statement}
759 // end of generated lines
761 throw(std::logic_error("function::eval(): invalid nparams"));
764 store_remember_table(eval_result);
769 ex function::evalf(int level) const
771 GINAC_ASSERT(serial<registered_functions().size());
773 // Evaluate children first
777 else if (level == -max_recursion_level)
778 throw(std::runtime_error("max recursion level reached"));
780 eseq.reserve(seq.size());
782 exvector::const_iterator it = seq.begin(), itend = seq.end();
783 while (it != itend) {
784 eseq.push_back(it->evalf(level));
788 if (registered_functions()[serial].evalf_f==0) {
789 return function(serial,eseq).hold();
791 current_serial = serial;
792 if (registered_functions()[serial].evalf_use_exvector_args)
793 return ((evalf_funcp_exvector)(registered_functions()[serial].evalf_f))(seq);
794 switch (registered_functions()[serial].nparams) {
795 // the following lines have been generated for max. ${maxargs} parameters
796 ${evalf_switch_statement}
797 // end of generated lines
799 throw(std::logic_error("function::evalf(): invalid nparams"));
802 unsigned function::calchash(void) const
804 unsigned v = golden_ratio_hash(golden_ratio_hash(tinfo()) ^ serial);
805 for (unsigned i=0; i<nops(); i++) {
806 v = rotate_left_31(v);
807 v ^= this->op(i).gethash();
810 if (flags & status_flags::evaluated) {
811 setflag(status_flags::hash_calculated);
817 ex function::thisexprseq(const exvector & v) const
819 return function(serial,v);
822 ex function::thisexprseq(exvector * vp) const
824 return function(serial,vp);
827 /** Implementation of ex::series for functions.
828 * \@see ex::series */
829 ex function::series(const relational & r, int order, unsigned options) const
831 GINAC_ASSERT(serial<registered_functions().size());
833 if (registered_functions()[serial].series_f==0) {
834 return basic::series(r, order);
837 current_serial = serial;
838 if (registered_functions()[serial].series_use_exvector_args) {
840 res = ((series_funcp_exvector)(registered_functions()[serial].series_f))(seq, r, order, options);
841 } catch (do_taylor) {
842 res = basic::series(r, order, options);
846 switch (registered_functions()[serial].nparams) {
847 // the following lines have been generated for max. ${maxargs} parameters
848 ${series_switch_statement}
849 // end of generated lines
851 throw(std::logic_error("function::series(): invalid nparams"));
856 /** Implementation of ex::diff() for functions. It applies the chain rule,
857 * except for the Order term function.
859 ex function::derivative(const symbol & s) const
863 if (serial == function_index_Order) {
864 // Order Term function only differentiates the argument
865 return Order(seq[0].diff(s));
869 unsigned num = seq.size();
870 for (unsigned i=0; i<num; i++) {
871 arg_diff = seq[i].diff(s);
872 // We apply the chain rule only when it makes sense. This is not
873 // just for performance reasons but also to allow functions to
874 // throw when differentiated with respect to one of its arguments
875 // without running into trouble with our automatic full
877 if (!arg_diff.is_zero())
878 result += pderivative(i)*arg_diff;
884 int function::compare_same_type(const basic & other) const
886 GINAC_ASSERT(is_of_type(other, function));
887 const function & o = static_cast<const function &>(other);
889 if (serial != o.serial)
890 return serial < o.serial ? -1 : 1;
892 return exprseq::compare_same_type(o);
895 bool function::is_equal_same_type(const basic & other) const
897 GINAC_ASSERT(is_of_type(other, function));
898 const function & o = static_cast<const function &>(other);
900 if (serial != o.serial)
903 return exprseq::is_equal_same_type(o);
906 bool function::match_same_type(const basic & other) const
908 GINAC_ASSERT(is_of_type(other, function));
909 const function & o = static_cast<const function &>(other);
911 return serial == o.serial;
914 unsigned function::return_type(void) const
917 return return_types::commutative;
919 return seq.begin()->return_type();
922 unsigned function::return_type_tinfo(void) const
927 return seq.begin()->return_type_tinfo();
931 // new virtual functions which can be overridden by derived classes
937 // non-virtual functions in this class
942 ex function::pderivative(unsigned diff_param) const // partial differentiation
944 GINAC_ASSERT(serial<registered_functions().size());
946 // No derivative defined? Then return abstract derivative object
947 if (registered_functions()[serial].derivative_f == NULL)
948 return fderivative(serial, diff_param, seq);
950 current_serial = serial;
951 if (registered_functions()[serial].derivative_use_exvector_args)
952 return ((derivative_funcp_exvector)(registered_functions()[serial].derivative_f))(seq, diff_param);
953 switch (registered_functions()[serial].nparams) {
954 // the following lines have been generated for max. ${maxargs} parameters
955 ${diff_switch_statement}
956 // end of generated lines
958 throw(std::logic_error("function::pderivative(): no diff function defined"));
961 std::vector<function_options> & function::registered_functions(void)
963 static std::vector<function_options> * rf = new std::vector<function_options>;
967 bool function::lookup_remember_table(ex & result) const
969 return remember_table::remember_tables()[serial].lookup_entry(*this,result);
972 void function::store_remember_table(ex const & result) const
974 remember_table::remember_tables()[serial].add_entry(*this,result);
979 unsigned function::register_new(function_options const & opt)
981 unsigned same_name = 0;
982 for (unsigned i=0; i<registered_functions().size(); ++i) {
983 if (registered_functions()[i].name==opt.name) {
987 if (same_name>=opt.functions_with_same_name) {
988 // we do not throw an exception here because this code is
989 // usually executed before main(), so the exception could not
991 std::cerr << "WARNING: function name " << opt.name
992 << " already in use!" << std::endl;
994 registered_functions().push_back(opt);
995 if (opt.use_remember) {
996 remember_table::remember_tables().
997 push_back(remember_table(opt.remember_size,
998 opt.remember_assoc_size,
999 opt.remember_strategy));
1001 remember_table::remember_tables().push_back(remember_table());
1003 return registered_functions().size()-1;
1006 /** Find serial number of function by name and number of parameters.
1007 * Throws exception if function was not found. */
1008 unsigned function::find_function(const std::string &name, unsigned nparams)
1010 std::vector<function_options>::const_iterator i = function::registered_functions().begin(), end = function::registered_functions().end();
1011 unsigned serial = 0;
1013 if (i->get_name() == name && i->get_nparams() == nparams)
1018 throw (std::runtime_error("no function '" + name + "' with " + ToString(nparams) + " parameters defined"));
1021 /** Return the print name of the function. */
1022 std::string function::get_name(void) const
1024 GINAC_ASSERT(serial<registered_functions().size());
1025 return registered_functions()[serial].name;
1028 } // namespace GiNaC
1030 END_OF_IMPLEMENTATION
1032 print "Creating interface file function.h...";
1033 open OUT,">function.h" or die "cannot open function.h";
1034 print OUT $interface;
1038 print "Creating implementation file function.cpp...";
1039 open OUT,">function.cpp" or die "cannot open function.cpp";
1040 print OUT $implementation;