ginac/function.pl

   1 $maxargs=13;
   2
   3 sub generate_seq {
   4     my ($seq_template,$n)=@_;
   5     my ($res,$N);
   6
   7     $res='';
   8     for ($N=1; $N<=$n; $N++) {
   9         $res .= eval('"' . $seq_template . '"');
  10         if ($N!=$n) {
  11             $res .= ', ';
  12         }
  13     }
  14     return $res;
  15 }
  16
  17 sub generate_from_to {
  18     my ($template,$seq_template1,$seq_template2,$from,$to)=@_;
  19     my ($res,$N,$SEQ);
  20
  21     $res='';
  22     for ($N=$from; $N<=$to; $N++) {
  23         $SEQ1=generate_seq($seq_template1,$N);
  24         $SEQ2=generate_seq($seq_template2,$N);
  25         $res .= eval('"' . $template . '"');
  26         $SEQ1=''; # to avoid main::SEQ1 used only once warning
  27         $SEQ2=''; # same as above
  28     }
  29     return $res;
  30 }
  31
  32 sub generate {
  33     my ($template,$seq_template1,$seq_template2)=@_;
  34     return generate_from_to($template,$seq_template1,$seq_template2,1,$maxargs);
  35 }
  36
  37 $declare_function_macro_namespace = <<'END_OF_DECLARE_FUNCTION_1_AND_2P_MACRO_NAMESPACE';
  38 #ifdef CINT_CONVERSION_WORKAROUND
  39
  40 #define DECLARE_FUNCTION_1P(NAME) \
  41 extern const unsigned function_index_##NAME; \
  42 inline GiNaC::function NAME(const GiNaC::ex & p1) { \
  43     return GiNaC::function(function_index_##NAME, p1); \
  44 } \
  45 inline GiNaC::function NAME(const GiNaC::basic & p1) { \
  46     return GiNaC::function(function_index_##NAME, GiNaC::ex(p1)); \
  47 }
  48 #define DECLARE_FUNCTION_2P(NAME) \
  49 extern const unsigned function_index_##NAME; \
  50 inline GiNaC::function NAME(const GiNaC::ex & p1, const GiNaC::ex & p2) { \
  51     return GiNaC::function(function_index_##NAME, p1, p2); \
  52 } \
  53 inline GiNaC::function NAME(const GiNaC::basic & p1, const GiNaC::ex & p2) { \
  54     return GiNaC::function(function_index_##NAME, GiNaC::ex(p1), p2); \
  55 } \
  56 inline GiNaC::function NAME(const GiNaC::ex & p1, const GiNaC::basic & p2) { \
  57     return GiNaC::function(function_index_##NAME, p1, GiNaC::ex(p2)); \
  58 } \
  59 inline GiNaC::function NAME(const GiNaC::basic & p1, const GiNaC::basic & p2) { \
  60     return GiNaC::function(function_index_##NAME, GiNaC::ex(p1), GiNaC::ex(p2)); \
  61 }
  62
  63 #else // def CINT_CONVERSION_WORKAROUND
  64
  65 #define DECLARE_FUNCTION_1P(NAME) \
  66 extern const unsigned function_index_##NAME; \
  67 inline GiNaC::function NAME(const GiNaC::ex & p1) { \
  68     return GiNaC::function(function_index_##NAME, p1); \
  69 }
  70 #define DECLARE_FUNCTION_2P(NAME) \
  71 extern const unsigned function_index_##NAME; \
  72 inline GiNaC::function NAME(const GiNaC::ex & p1, const GiNaC::ex & p2) { \
  73     return GiNaC::function(function_index_##NAME, p1, p2); \
  74 }
  75
  76 #endif // def CINT_CONVERSION_WORKAROUND
  77
  78 END_OF_DECLARE_FUNCTION_1_AND_2P_MACRO_NAMESPACE
  79
  80 $declare_function_macro_namespace .= generate_from_to(
  81     <<'END_OF_DECLARE_FUNCTION_MACRO_NAMESPACE','const GiNaC::ex & p${N}','p${N}',3,$maxargs);
  82 #define DECLARE_FUNCTION_${N}P(NAME) \\
  83 extern const unsigned function_index_##NAME; \\
  84 inline GiNaC::function NAME(${SEQ1}) { \\
  85     return GiNaC::function(function_index_##NAME, ${SEQ2}); \\
  86 }
  87
  88 END_OF_DECLARE_FUNCTION_MACRO_NAMESPACE
  89
  90 $declare_function_macro_no_namespace = <<'END_OF_DECLARE_FUNCTION_1_AND_2P_MACRO_NO_NAMESPACE';
  91 #ifdef CINT_CONVERSION_WORKAROUND
  92
  93 #define DECLARE_FUNCTION_1P(NAME) \
  94 extern const unsigned function_index_##NAME; \
  95 inline function NAME(const ex & p1) { \
  96     return function(function_index_##NAME, p1); \
  97 } \
  98 inline function NAME(const basic & p1) { \
  99     return function(function_index_##NAME, ex(p1)); \
 100 }
 101 #define DECLARE_FUNCTION_2P(NAME) \
 102 extern const unsigned function_index_##NAME; \
 103 inline function NAME(const ex & p1, const ex & p2) { \
 104     return function(function_index_##NAME, p1, p2); \
 105 } \
 106 inline function NAME(const basic & p1, const ex & p2) { \
 107     return function(function_index_##NAME, ex(p1), p2); \
 108 } \
 109 inline function NAME(const ex & p1, const basic & p2) { \
 110     return function(function_index_##NAME, p1, ex(p2)); \
 111 } \
 112 inline function NAME(const basic & p1, const basic & p2) { \
 113     return function(function_index_##NAME, ex(p1), ex(p2)); \
 114 }
 115
 116 #else // def CINT_CONVERSION_WORKAROUND
 117
 118 #define DECLARE_FUNCTION_1P(NAME) \
 119 extern const unsigned function_index_##NAME; \
 120 inline function NAME(const ex & p1) { \
 121     return function(function_index_##NAME, p1); \
 122 }
 123 #define DECLARE_FUNCTION_2P(NAME) \
 124 extern const unsigned function_index_##NAME; \
 125 inline function NAME(const ex & p1, const ex & p2) { \
 126     return function(function_index_##NAME, p1, p2); \
 127 }
 128
 129 #endif // def CINT_CONVERSION_WORKAROUND
 130
 131 END_OF_DECLARE_FUNCTION_1_AND_2P_MACRO_NO_NAMESPACE
 132
 133 $declare_function_macro_no_namespace .= generate_from_to(
 134     <<'END_OF_DECLARE_FUNCTION_MACRO_NO_NAMESPACE','const ex & p${N}','p${N}',3,$maxargs);
 135 #define DECLARE_FUNCTION_${N}P(NAME) \\
 136 extern const unsigned function_index_##NAME; \\
 137 inline function NAME(${SEQ1}) { \\
 138     return function(function_index_##NAME, ${SEQ2}); \\
 139 }
 140
 141 END_OF_DECLARE_FUNCTION_MACRO_NO_NAMESPACE
 142
 143 $typedef_eval_funcp=generate(
 144 'typedef ex (* eval_funcp_${N})(${SEQ1});'."\n",
 145 'const ex &','');
 146
 147 $typedef_evalf_funcp=generate(
 148 'typedef ex (* evalf_funcp_${N})(${SEQ1});'."\n",
 149 'const ex &','');
 150
 151 $typedef_derivative_funcp=generate(
 152 'typedef ex (* derivative_funcp_${N})(${SEQ1}, unsigned);'."\n",
 153 'const ex &','');
 154
 155 $typedef_series_funcp=generate(
 156 'typedef ex (* series_funcp_${N})(${SEQ1}, const relational &, int);'."\n",
 157 'const ex &','');
 158
 159 $eval_func_interface=generate('    function_options & eval_func(eval_funcp_${N} e);'."\n",'','');
 160
 161 $evalf_func_interface=generate('    function_options & evalf_func(evalf_funcp_${N} ef);'."\n",'','');
 162
 163 $derivative_func_interface=generate('    function_options & derivative_func(derivative_funcp_${N} d);'."\n",'','');
 164
 165 $series_func_interface=generate('    function_options & series_func(series_funcp_${N} s);'."\n",'','');
 166
 167 $constructors_interface=generate(
 168 '    function(unsigned ser, ${SEQ1});'."\n",
 169 'const ex & param${N}','');
 170
 171 $constructors_implementation=generate(
 172     <<'END_OF_CONSTRUCTORS_IMPLEMENTATION','const ex & param${N}','param${N}');
 173 function::function(unsigned ser, ${SEQ1})
 174     : exprseq(${SEQ2}), serial(ser)
 175 {
 176     debugmsg(\"function constructor from unsigned,${N}*ex\",LOGLEVEL_CONSTRUCT);
 177     tinfo_key = TINFO_function;
 178 }
 179 END_OF_CONSTRUCTORS_IMPLEMENTATION
 180
 181 $eval_switch_statement=generate(
 182     <<'END_OF_EVAL_SWITCH_STATEMENT','seq[${N}-1]','');
 183     case ${N}:
 184         eval_result=((eval_funcp_${N})(registered_functions()[serial].eval_f))(${SEQ1});
 185         break;
 186 END_OF_EVAL_SWITCH_STATEMENT
 187
 188 $evalf_switch_statement=generate(
 189     <<'END_OF_EVALF_SWITCH_STATEMENT','eseq[${N}-1]','');
 190     case ${N}:
 191         return ((evalf_funcp_${N})(registered_functions()[serial].evalf_f))(${SEQ1});
 192         break;
 193 END_OF_EVALF_SWITCH_STATEMENT
 194
 195 $diff_switch_statement=generate(
 196     <<'END_OF_DIFF_SWITCH_STATEMENT','seq[${N}-1]','');
 197     case ${N}:
 198         return ((derivative_funcp_${N})(registered_functions()[serial].derivative_f))(${SEQ1},diff_param);
 199         break;
 200 END_OF_DIFF_SWITCH_STATEMENT
 201
 202 $series_switch_statement=generate(
 203     <<'END_OF_SERIES_SWITCH_STATEMENT','seq[${N}-1]','');
 204     case ${N}:
 205         try {
 206             res = ((series_funcp_${N})(registered_functions()[serial].series_f))(${SEQ1},r,order);
 207         } catch (do_taylor) {
 208             res = basic::series(r, order);
 209         }
 210         return res;
 211         break;
 212 END_OF_SERIES_SWITCH_STATEMENT
 213
 214 $eval_func_implementation=generate(
 215     <<'END_OF_EVAL_FUNC_IMPLEMENTATION','','');
 216 function_options & function_options::eval_func(eval_funcp_${N} e)
 217 {
 218     test_and_set_nparams(${N});
 219     eval_f=eval_funcp(e);
 220     return *this;
 221 }
 222 END_OF_EVAL_FUNC_IMPLEMENTATION
 223
 224 $evalf_func_implementation=generate(
 225     <<'END_OF_EVALF_FUNC_IMPLEMENTATION','','');
 226 function_options & function_options::evalf_func(evalf_funcp_${N} ef)
 227 {
 228     test_and_set_nparams(${N});
 229     evalf_f=evalf_funcp(ef);
 230     return *this;
 231 }
 232 END_OF_EVALF_FUNC_IMPLEMENTATION
 233
 234 $derivative_func_implementation=generate(
 235     <<'END_OF_DERIVATIVE_FUNC_IMPLEMENTATION','','');
 236 function_options & function_options::derivative_func(derivative_funcp_${N} d)
 237 {
 238     test_and_set_nparams(${N});
 239     derivative_f=derivative_funcp(d);
 240     return *this;
 241 }
 242 END_OF_DERIVATIVE_FUNC_IMPLEMENTATION
 243
 244 $series_func_implementation=generate(
 245     <<'END_OF_SERIES_FUNC_IMPLEMENTATION','','');
 246 function_options & function_options::series_func(series_funcp_${N} s)
 247 {
 248     test_and_set_nparams(${N});
 249     series_f=series_funcp(s);
 250     return *this;
 251 }
 252 END_OF_SERIES_FUNC_IMPLEMENTATION
 253
 254 $interface=<<END_OF_INTERFACE;
 255 /** \@file function.h
 256  *
 257  *  Interface to abstract class function (new function concept). */
 258
 259 /*
 260  *  This file was generated automatically by function.pl.
 261  *  Please do not modify it directly, edit the perl script instead!
 262  *  function.pl options: \$maxargs=${maxargs}
 263  *
 264  *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
 265  *
 266  *  This program is free software; you can redistribute it and/or modify
 267  *  it under the terms of the GNU General Public License as published by
 268  *  the Free Software Foundation; either version 2 of the License, or
 269  *  (at your option) any later version.
 270  *
 271  *  This program is distributed in the hope that it will be useful,
 272  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 273  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 274  *  GNU General Public License for more details.
 275  *
 276  *  You should have received a copy of the GNU General Public License
 277  *  along with this program; if not, write to the Free Software
 278  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 279  */
 280
 281 #ifndef __GINAC_FUNCTION_H__
 282 #define __GINAC_FUNCTION_H__
 283
 284 #include <string>
 285 #include <vector>
 286
 287 #ifdef __CINT__
 288 // CINT needs <algorithm> to work properly with <vector>
 289 #include <algorithm>
 290 #endif // def __CINT__
 291
 292 #include "exprseq.h"
 293
 294 #ifndef NO_NAMESPACE_GINAC
 295
 296 // the following lines have been generated for max. ${maxargs} parameters
 297 $declare_function_macro_namespace
 298 // end of generated lines
 299
 300 #else // ndef NO_NAMESPACE_GINAC
 301
 302 // the following lines have been generated for max. ${maxargs} parameters
 303 $declare_function_macro_no_namespace
 304 // end of generated lines
 305
 306 #endif // ndef NO_NAMESPACE_GINAC
 307
 308 #ifndef NO_NAMESPACE_GINAC
 309
 310 #define REGISTER_FUNCTION(NAME,OPT) \\
 311 const unsigned function_index_##NAME= \\
 312     GiNaC::function::register_new(GiNaC::function_options(#NAME).OPT);
 313
 314 #define REGISTER_FUNCTION_OLD(NAME,E,EF,D,S) \\
 315 const unsigned function_index_##NAME= \\
 316     GiNaC::function::register_new(GiNaC::function_options(#NAME). \\
 317                                   eval_func(E). \\
 318                                   evalf_func(EF). \\
 319                                   derivative_func(D). \\
 320                                   series_func(S));
 321
 322 #else // ndef NO_NAMESPACE_GINAC
 323
 324 #define REGISTER_FUNCTION(NAME,OPT) \\
 325 const unsigned function_index_##NAME= \\
 326     function::register_new(function_options(#NAME).OPT);
 327
 328 #define REGISTER_FUNCTION_OLD(NAME,E,EF,D,S) \\
 329 const unsigned function_index_##NAME= \\
 330     function::register_new(function_options(#NAME). \\
 331                            eval_func(E). \\
 332                            evalf_func(EF). \\
 333                            derivative_func(D). \\
 334                            series_func(S));
 335
 336 #endif // ndef NO_NAMESPACE_GINAC
 337
 338 #define BEGIN_TYPECHECK \\
 339 bool automatic_typecheck=true;
 340
 341 #define TYPECHECK(VAR,TYPE) \\
 342 if (!is_ex_exactly_of_type(VAR,TYPE)) { \\
 343     automatic_typecheck=false; \\
 344 } else
 345
 346 #ifndef NO_NAMESPACE_GINAC
 347
 348 #define TYPECHECK_INTEGER(VAR) \\
 349 if (!(VAR).info(GiNaC::info_flags::integer)) { \\
 350     automatic_typecheck=false; \\
 351 } else
 352
 353 #else // ndef NO_NAMESPACE_GINAC
 354
 355 #define TYPECHECK_INTEGER(VAR) \\
 356 if (!(VAR).info(info_flags::integer)) { \\
 357     automatic_typecheck=false; \\
 358 } else
 359
 360 #endif // ndef NO_NAMESPACE_GINAC
 361
 362 #define END_TYPECHECK(RV) \\
 363 {} \\
 364 if (!automatic_typecheck) { \\
 365     return RV.hold(); \\
 366 }
 367
 368 #ifndef NO_NAMESPACE_GINAC
 369 namespace GiNaC {
 370 #endif // ndef NO_NAMESPACE_GINAC
 371
 372 class function;
 373
 374 typedef ex (* eval_funcp)();
 375 typedef ex (* evalf_funcp)();
 376 typedef ex (* derivative_funcp)();
 377 typedef ex (* series_funcp)();
 378
 379 // the following lines have been generated for max. ${maxargs} parameters
 380 $typedef_eval_funcp
 381 $typedef_evalf_funcp
 382 $typedef_derivative_funcp
 383 $typedef_series_funcp
 384 // end of generated lines
 385
 386 class function_options
 387 {
 388     friend class function;
 389 public:
 390     function_options();
 391     function_options(string const & n, string const & tn=string());
 392     ~function_options();
 393     void initialize(void);
 394     function_options & set_name(string const & n, string const & tn=string());
 395 // the following lines have been generated for max. ${maxargs} parameters
 396 $eval_func_interface
 397 $evalf_func_interface
 398 $derivative_func_interface
 399 $series_func_interface
 400 // end of generated lines
 401     function_options & set_return_type(unsigned rt, unsigned rtt=0);
 402     function_options & do_not_evalf_params(void);
 403     function_options & remember(unsigned size, unsigned assoc_size=0,
 404                                 unsigned strategy=remember_strategies::delete_never);
 405     function_options & overloaded(unsigned o);
 406     void test_and_set_nparams(unsigned n);
 407     string get_name(void) const { return name; }
 408     unsigned get_nparams(void) const { return nparams; }
 409
 410 protected:
 411     string name;
 412     string TeX_name;
 413
 414     unsigned nparams;
 415
 416     eval_funcp eval_f;
 417     evalf_funcp evalf_f;
 418     derivative_funcp derivative_f;
 419     series_funcp series_f;
 420
 421     bool evalf_params_first;
 422
 423     bool use_return_type;
 424     unsigned return_type;
 425     unsigned return_type_tinfo;
 426
 427     bool use_remember;
 428     unsigned remember_size;
 429     unsigned remember_assoc_size;
 430     unsigned remember_strategy;
 431
 432     unsigned functions_with_same_name;
 433 };
 434
 435 /** The class function is used to implement builtin functions like sin, cos...
 436     and user defined functions */
 437 class function : public exprseq
 438 {
 439     GINAC_DECLARE_REGISTERED_CLASS(function, exprseq)
 440
 441     // CINT has a linking problem
 442     friend void ginsh_get_ginac_functions(void);
 443
 444     friend class remember_table_entry;
 445     // friend class remember_table_list;
 446     // friend class remember_table;
 447
 448 // member functions
 449
 450     // default constructor, destructor, copy constructor assignment operator and helpers
 451 public:
 452     function();
 453     ~function();
 454     function(const function & other);
 455     const function & operator=(const function & other);
 456 protected:
 457     void copy(const function & other);
 458     void destroy(bool call_parent);
 459
 460     // other constructors
 461 public:
 462     function(unsigned ser);
 463     // the following lines have been generated for max. ${maxargs} parameters
 464 $constructors_interface
 465     // end of generated lines
 466     function(unsigned ser, const exprseq & es);
 467     function(unsigned ser, const exvector & v, bool discardable=0);
 468     function(unsigned ser, exvector * vp); // vp will be deleted
 469
 470     // functions overriding virtual functions from bases classes
 471 public:
 472     basic * duplicate() const;
 473     void printraw(ostream & os) const;
 474     void print(ostream & os, unsigned upper_precedence=0) const;
 475     void printtree(ostream & os, unsigned indent) const;
 476     void printcsrc(ostream & os, unsigned type, unsigned upper_precedence=0) const;
 477     ex expand(unsigned options=0) const;
 478     ex eval(int level=0) const;
 479     ex evalf(int level=0) const;
 480     ex series(const relational & r, int order) const;
 481     ex thisexprseq(const exvector & v) const;
 482     ex thisexprseq(exvector * vp) const;
 483 protected:
 484     ex derivative(const symbol & s) const;
 485     int compare_same_type(const basic & other) const;
 486     bool is_equal_same_type(const basic & other) const;
 487     unsigned return_type(void) const;
 488     unsigned return_type_tinfo(void) const;
 489
 490     // new virtual functions which can be overridden by derived classes
 491     // none
 492
 493     // non-virtual functions in this class
 494 protected:
 495     ex pderivative(unsigned diff_param) const; // partial differentiation
 496     static vector<function_options> & registered_functions(void);
 497     bool lookup_remember_table(ex & result) const;
 498     void store_remember_table(ex const & result) const;
 499 public:
 500     static unsigned register_new(function_options const & opt);
 501     unsigned getserial(void) const {return serial;}
 502
 503 // member variables
 504
 505 protected:
 506     unsigned serial;
 507 };
 508
 509 // utility functions/macros
 510 inline const function &ex_to_function(const ex &e)
 511 {
 512     return static_cast<const function &>(*e.bp);
 513 }
 514
 515 #ifndef NO_NAMESPACE_GINAC
 516
 517 #define is_ex_the_function(OBJ, FUNCNAME) \\
 518     (is_ex_exactly_of_type(OBJ, function) && static_cast<GiNaC::function *>(OBJ.bp)->getserial() == function_index_##FUNCNAME)
 519
 520 #else // ndef NO_NAMESPACE_GINAC
 521
 522 #define is_ex_the_function(OBJ, FUNCNAME) \\
 523     (is_ex_exactly_of_type(OBJ, function) && static_cast<function *>(OBJ.bp)->getserial() == function_index_##FUNCNAME)
 524
 525 #endif // ndef NO_NAMESPACE_GINAC
 526
 527 // global constants
 528
 529 extern const function some_function;
 530 extern const type_info & typeid_function;
 531
 532 #ifndef NO_NAMESPACE_GINAC
 533 } // namespace GiNaC
 534 #endif // ndef NO_NAMESPACE_GINAC
 535
 536 #endif // ndef __GINAC_FUNCTION_H__
 537
 538 END_OF_INTERFACE
 539
 540 $implementation=<<END_OF_IMPLEMENTATION;
 541 /** \@file function.cpp
 542  *
 543  *  Implementation of class function. */
 544
 545 /*
 546  *  This file was generated automatically by function.pl.
 547  *  Please do not modify it directly, edit the perl script instead!
 548  *  function.pl options: \$maxargs=${maxargs}
 549  *
 550  *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
 551  *
 552  *  This program is free software; you can redistribute it and/or modify
 553  *  it under the terms of the GNU General Public License as published by
 554  *  the Free Software Foundation; either version 2 of the License, or
 555  *  (at your option) any later version.
 556  *
 557  *  This program is distributed in the hope that it will be useful,
 558  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
 559  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 560  *  GNU General Public License for more details.
 561  *
 562  *  You should have received a copy of the GNU General Public License
 563  *  along with this program; if not, write to the Free Software
 564  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 565  */
 566
 567 #include <string>
 568 #include <stdexcept>
 569 #include <list>
 570
 571 #include "function.h"
 572 #include "ex.h"
 573 #include "lst.h"
 574 #include "archive.h"
 575 #include "inifcns.h"
 576 #include "utils.h"
 577 #include "debugmsg.h"
 578 #include "remember.h"
 579
 580 #ifndef NO_NAMESPACE_GINAC
 581 namespace GiNaC {
 582 #endif // ndef NO_NAMESPACE_GINAC
 583
 584 //////////
 585 // helper class function_options
 586 //////////
 587
 588 function_options::function_options()
 589 {
 590     initialize();
 591 }
 592
 593 function_options::function_options(string const & n, string const & tn)
 594 {
 595     initialize();
 596     set_name(n,tn);
 597 }
 598
 599 function_options::~function_options()
 600 {
 601     // nothing to clean up at the moment
 602 }
 603
 604 void function_options::initialize(void)
 605 {
 606     set_name("unnamed_function","\\\\operatorname{unnamed}");
 607     nparams=0;
 608     eval_f=evalf_f=derivative_f=series_f=0;
 609     evalf_params_first=true;
 610     use_return_type=false;
 611     use_remember=false;
 612     functions_with_same_name=1;
 613 }
 614
 615 function_options & function_options::set_name(string const & n,
 616                                               string const & tn)
 617 {
 618     name=n;
 619     if (tn==string()) {
 620         TeX_name="\\\\operatorname{"+name+"}";
 621     } else {
 622         TeX_name=tn;
 623     }
 624     return *this;
 625 }
 626
 627 // the following lines have been generated for max. ${maxargs} parameters
 628 $eval_func_implementation
 629 $evalf_func_implementation
 630 $derivative_func_implementation
 631 $series_func_implementation
 632 // end of generated lines
 633
 634 function_options & function_options::set_return_type(unsigned rt, unsigned rtt)
 635 {
 636     use_return_type=true;
 637     return_type=rt;
 638     return_type_tinfo=rtt;
 639     return *this;
 640 }
 641
 642 function_options & function_options::do_not_evalf_params(void)
 643 {
 644     evalf_params_first=false;
 645     return *this;
 646 }
 647
 648 function_options & function_options::remember(unsigned size,
 649                                               unsigned assoc_size,
 650                                               unsigned strategy)
 651 {
 652     use_remember=true;
 653     remember_size=size;
 654     remember_assoc_size=assoc_size;
 655     remember_strategy=strategy;
 656     return *this;
 657 }
 658
 659 function_options & function_options::overloaded(unsigned o)
 660 {
 661     functions_with_same_name=o;
 662     return *this;
 663 }
 664
 665 void function_options::test_and_set_nparams(unsigned n)
 666 {
 667     if (nparams==0) {
 668         nparams=n;
 669     } else if (nparams!=n) {
 670         // we do not throw an exception here because this code is
 671         // usually executed before main(), so the exception could not
 672         // caught anyhow
 673         cerr << "WARNING: number of parameters ("
 674              << n << ") differs from number set before ("
 675              << nparams << ")" << endl;
 676     }
 677 }
 678
 679 GINAC_IMPLEMENT_REGISTERED_CLASS(function, exprseq)
 680
 681 //////////
 682 // default constructor, destructor, copy constructor assignment operator and helpers
 683 //////////
 684
 685 // public
 686
 687 function::function() : serial(0)
 688 {
 689     debugmsg("function default constructor",LOGLEVEL_CONSTRUCT);
 690     tinfo_key = TINFO_function;
 691 }
 692
 693 function::~function()
 694 {
 695     debugmsg("function destructor",LOGLEVEL_DESTRUCT);
 696     destroy(0);
 697 }
 698
 699 function::function(const function & other)
 700 {
 701     debugmsg("function copy constructor",LOGLEVEL_CONSTRUCT);
 702     copy(other);
 703 }
 704
 705 const function & function::operator=(const function & other)
 706 {
 707     debugmsg("function operator=",LOGLEVEL_ASSIGNMENT);
 708     if (this != &other) {
 709         destroy(1);
 710         copy(other);
 711     }
 712     return *this;
 713 }
 714
 715 // protected
 716
 717 void function::copy(const function & other)
 718 {
 719     exprseq::copy(other);
 720     serial=other.serial;
 721 }
 722
 723 void function::destroy(bool call_parent)
 724 {
 725     if (call_parent) exprseq::destroy(call_parent);
 726 }
 727
 728 //////////
 729 // other constructors
 730 //////////
 731
 732 // public
 733
 734 function::function(unsigned ser) : serial(ser)
 735 {
 736     debugmsg("function constructor from unsigned",LOGLEVEL_CONSTRUCT);
 737     tinfo_key = TINFO_function;
 738 }
 739
 740 // the following lines have been generated for max. ${maxargs} parameters
 741 $constructors_implementation
 742 // end of generated lines
 743
 744 function::function(unsigned ser, const exprseq & es) : exprseq(es), serial(ser)
 745 {
 746     debugmsg("function constructor from unsigned,exprseq",LOGLEVEL_CONSTRUCT);
 747     tinfo_key = TINFO_function;
 748 }
 749
 750 function::function(unsigned ser, const exvector & v, bool discardable)
 751     : exprseq(v,discardable), serial(ser)
 752 {
 753     debugmsg("function constructor from string,exvector,bool",LOGLEVEL_CONSTRUCT);
 754     tinfo_key = TINFO_function;
 755 }
 756
 757 function::function(unsigned ser, exvector * vp)
 758     : exprseq(vp), serial(ser)
 759 {
 760     debugmsg("function constructor from unsigned,exvector *",LOGLEVEL_CONSTRUCT);
 761     tinfo_key = TINFO_function;
 762 }
 763
 764 //////////
 765 // archiving
 766 //////////
 767
 768 /** Construct object from archive_node. */
 769 function::function(const archive_node &n, const lst &sym_lst) : inherited(n, sym_lst)
 770 {
 771     debugmsg("function constructor from archive_node", LOGLEVEL_CONSTRUCT);
 772
 773     // Find serial number by function name
 774     string s;
 775     if (n.find_string("name", s)) {
 776         unsigned int ser = 0;
 777         vector<function_options>::const_iterator i = registered_functions().begin(), iend = registered_functions().end();
 778         while (i != iend) {
 779             if (s == i->name) {
 780                 serial = ser;
 781                 return;
 782             }
 783             i++; ser++;
 784         }
 785         throw (std::runtime_error("unknown function '" + s + "' in archive"));
 786     } else
 787         throw (std::runtime_error("unnamed function in archive"));
 788 }
 789
 790 /** Unarchive the object. */
 791 ex function::unarchive(const archive_node &n, const lst &sym_lst)
 792 {
 793     return (new function(n, sym_lst))->setflag(status_flags::dynallocated);
 794 }
 795
 796 /** Archive the object. */
 797 void function::archive(archive_node &n) const
 798 {
 799     inherited::archive(n);
 800     GINAC_ASSERT(serial < registered_functions().size());
 801     n.add_string("name", registered_functions()[serial].name);
 802 }
 803
 804 //////////
 805 // functions overriding virtual functions from bases classes
 806 //////////
 807
 808 // public
 809
 810 basic * function::duplicate() const
 811 {
 812     debugmsg("function duplicate",LOGLEVEL_DUPLICATE);
 813     return new function(*this);
 814 }
 815
 816 void function::printraw(ostream & os) const
 817 {
 818     debugmsg("function printraw",LOGLEVEL_PRINT);
 819
 820     GINAC_ASSERT(serial<registered_functions().size());
 821
 822     os << "function(name=" << registered_functions()[serial].name;
 823     for (exvector::const_iterator it=seq.begin(); it!=seq.end(); ++it) {
 824         os << ",";
 825         (*it).bp->print(os);
 826     }
 827     os << ")";
 828 }
 829
 830 void function::print(ostream & os, unsigned upper_precedence) const
 831 {
 832     debugmsg("function print",LOGLEVEL_PRINT);
 833
 834     GINAC_ASSERT(serial<registered_functions().size());
 835
 836     os << registered_functions()[serial].name;
 837     printseq(os,'(',',',')',exprseq::precedence,function::precedence);
 838 }
 839
 840 void function::printtree(ostream & os, unsigned indent) const
 841 {
 842     debugmsg("function printtree",LOGLEVEL_PRINT);
 843
 844     GINAC_ASSERT(serial<registered_functions().size());
 845
 846     os << string(indent,' ') << "function "
 847        << registered_functions()[serial].name
 848        << ", hash=" << hashvalue << " (0x" << hex << hashvalue << dec << ")"
 849        << ", flags=" << flags
 850        << ", nops=" << nops() << endl;
 851     for (unsigned i=0; i<nops(); ++i) {
 852         seq[i].printtree(os,indent+delta_indent);
 853     }
 854     os << string(indent+delta_indent,' ') << "=====" << endl;
 855 }
 856
 857 void function::printcsrc(ostream & os, unsigned type, unsigned upper_precedence) const
 858 {
 859     debugmsg("function print csrc",LOGLEVEL_PRINT);
 860
 861     GINAC_ASSERT(serial<registered_functions().size());
 862
 863         // Print function name in lowercase
 864     string lname;
 865     lname=registered_functions()[serial].name;
 866     for (unsigned i=0; i<lname.size(); i++)
 867         lname[i] = tolower(lname[i]);
 868     os << lname << "(";
 869
 870         // Print arguments, separated by commas
 871     exvector::const_iterator it = seq.begin();
 872     exvector::const_iterator itend = seq.end();
 873     while (it != itend) {
 874         it->bp->printcsrc(os, type, 0);
 875         it++;
 876         if (it != itend)
 877             os << ",";
 878     }
 879     os << ")";
 880 }
 881
 882 ex function::expand(unsigned options) const
 883 {
 884     return this->setflag(status_flags::expanded);
 885 }
 886
 887 ex function::eval(int level) const
 888 {
 889     GINAC_ASSERT(serial<registered_functions().size());
 890
 891     if (level>1) {
 892         // first evaluate children, then we will end up here again
 893         return function(serial,evalchildren(level));
 894     }
 895
 896     if (registered_functions()[serial].eval_f==0) {
 897         return this->hold();
 898     }
 899
 900     bool use_remember=registered_functions()[serial].use_remember;
 901     ex eval_result;
 902     if (use_remember && lookup_remember_table(eval_result)) {
 903         return eval_result;
 904     }
 905
 906     switch (registered_functions()[serial].nparams) {
 907         // the following lines have been generated for max. ${maxargs} parameters
 908 ${eval_switch_statement}
 909         // end of generated lines
 910     default:
 911         throw(std::logic_error("function::eval(): invalid nparams"));
 912     }
 913     if (use_remember) {
 914         store_remember_table(eval_result);
 915     }
 916     return eval_result;
 917 }
 918
 919 ex function::evalf(int level) const
 920 {
 921     GINAC_ASSERT(serial<registered_functions().size());
 922
 923     exvector eseq=evalfchildren(level);
 924
 925     if (registered_functions()[serial].evalf_f==0) {
 926         return function(serial,eseq).hold();
 927     }
 928     switch (registered_functions()[serial].nparams) {
 929         // the following lines have been generated for max. ${maxargs} parameters
 930 ${evalf_switch_statement}
 931         // end of generated lines
 932     }
 933     throw(std::logic_error("function::evalf(): invalid nparams"));
 934 }
 935
 936 ex function::thisexprseq(const exvector & v) const
 937 {
 938     return function(serial,v);
 939 }
 940
 941 ex function::thisexprseq(exvector * vp) const
 942 {
 943     return function(serial,vp);
 944 }
 945
 946 /** Implementation of ex::series for functions.
 947  *  \@see ex::series */
 948 ex function::series(const relational & r, int order) const
 949 {
 950     GINAC_ASSERT(serial<registered_functions().size());
 951
 952     if (registered_functions()[serial].series_f==0) {
 953         return basic::series(r, order);
 954     }
 955     ex res;
 956     switch (registered_functions()[serial].nparams) {
 957         // the following lines have been generated for max. ${maxargs} parameters
 958 ${series_switch_statement}
 959         // end of generated lines
 960     }
 961     throw(std::logic_error("function::series(): invalid nparams"));
 962 }
 963
 964 // protected
 965
 966
 967 /** Implementation of ex::diff() for functions. It applies the chain rule,
 968  *  except for the Order term function.
 969  *  \@see ex::diff */
 970 ex function::derivative(const symbol & s) const
 971 {
 972     ex result;
 973
 974     if (serial == function_index_Order) {
 975         // Order Term function only differentiates the argument
 976         return Order(seq[0].diff(s));
 977     } else if (serial == function_index_Derivative) {
 978         // Inert derivative performs chain rule on the first argument only, and
 979         // adds differentiation parameter to list (second argument)
 980         GINAC_ASSERT(is_ex_exactly_of_type(seq[0], function));
 981         GINAC_ASSERT(is_ex_exactly_of_type(seq[1], function));
 982         ex fcn = seq[0];
 983         ex arg_diff;
 984         for (unsigned i=0; i!=fcn.nops(); i++) {
 985             arg_diff = fcn.op(i).diff(s);
 986             if (!arg_diff.is_zero()) {
 987                 lst new_lst = ex_to_lst(seq[1]);
 988                 new_lst.append(i);
 989                 result += arg_diff * Derivative(fcn, new_lst);
 990             }
 991         }
 992     } else {
 993         // Chain rule
 994         ex arg_diff;
 995         for (unsigned i=0; i!=seq.size(); i++) {
 996             arg_diff = seq[i].diff(s);
 997             // We apply the chain rule only when it makes sense.  This is not
 998             // just for performance reasons but also to allow functions to
 999             // throw when differentiated with respect to one of its arguments
1000             // without running into trouble with our automatic full
1001             // differentiation:
1002             if (!arg_diff.is_zero())
1003                 result += pderivative(i)*arg_diff;
1004         }
1005     }
1006     return result;
1007 }
1008
1009 int function::compare_same_type(const basic & other) const
1010 {
1011     GINAC_ASSERT(is_of_type(other, function));
1012     const function & o=static_cast<function &>(const_cast<basic &>(other));
1013
1014     if (serial!=o.serial) {
1015         return serial < o.serial ? -1 : 1;
1016     }
1017     return exprseq::compare_same_type(o);
1018 }
1019
1020 bool function::is_equal_same_type(const basic & other) const
1021 {
1022     GINAC_ASSERT(is_of_type(other, function));
1023     const function & o=static_cast<function &>(const_cast<basic &>(other));
1024
1025     if (serial!=o.serial) return false;
1026     return exprseq::is_equal_same_type(o);
1027 }
1028
1029 unsigned function::return_type(void) const
1030 {
1031     if (seq.size()==0) {
1032         return return_types::commutative;
1033     }
1034     return (*seq.begin()).return_type();
1035 }
1036
1037 unsigned function::return_type_tinfo(void) const
1038 {
1039     if (seq.size()==0) {
1040         return tinfo_key;
1041     }
1042     return (*seq.begin()).return_type_tinfo();
1043 }
1044
1045 //////////
1046 // new virtual functions which can be overridden by derived classes
1047 //////////
1048
1049 // none
1050
1051 //////////
1052 // non-virtual functions in this class
1053 //////////
1054
1055 // protected
1056
1057 ex function::pderivative(unsigned diff_param) const // partial differentiation
1058 {
1059     GINAC_ASSERT(serial<registered_functions().size());
1060
1061     if (registered_functions()[serial].derivative_f==0) {
1062         return Derivative(*this, lst(diff_param));
1063     }
1064     switch (registered_functions()[serial].nparams) {
1065         // the following lines have been generated for max. ${maxargs} parameters
1066 ${diff_switch_statement}
1067         // end of generated lines
1068     }
1069     throw(std::logic_error("function::pderivative(): no diff function defined"));
1070 }
1071
1072 vector<function_options> & function::registered_functions(void)
1073 {
1074     static vector<function_options> * rf=new vector<function_options>;
1075     return *rf;
1076 }
1077
1078 bool function::lookup_remember_table(ex & result) const
1079 {
1080     return remember_table::remember_tables()[serial].lookup_entry(*this,result);
1081 }
1082
1083 void function::store_remember_table(ex const & result) const
1084 {
1085     remember_table::remember_tables()[serial].add_entry(*this,result);
1086 }
1087
1088 // public
1089
1090 unsigned function::register_new(function_options const & opt)
1091 {
1092     unsigned same_name=0;
1093     for (unsigned i=0; i<registered_functions().size(); ++i) {
1094         if (registered_functions()[i].name==opt.name) {
1095             same_name++;
1096         }
1097     }
1098     if (same_name>=opt.functions_with_same_name) {
1099         // we do not throw an exception here because this code is
1100         // usually executed before main(), so the exception could not
1101         // caught anyhow
1102         cerr << "WARNING: function name " << opt.name
1103              << " already in use!" << endl;
1104     }
1105     registered_functions().push_back(opt);
1106     if (opt.use_remember) {
1107         remember_table::remember_tables().
1108             push_back(remember_table(opt.remember_size,
1109                                      opt.remember_assoc_size,
1110                                      opt.remember_strategy));
1111     } else {
1112         remember_table::remember_tables().push_back(remember_table());
1113     }
1114     return registered_functions().size()-1;
1115 }
1116
1117 //////////
1118 // static member variables
1119 //////////
1120
1121 // none
1122
1123 //////////
1124 // global constants
1125 //////////
1126
1127 const function some_function;
1128 const type_info & typeid_function=typeid(some_function);
1129
1130 #ifndef NO_NAMESPACE_GINAC
1131 } // namespace GiNaC
1132 #endif // ndef NO_NAMESPACE_GINAC
1133
1134 END_OF_IMPLEMENTATION
1135
1136 print "Creating interface file function.h...";
1137 open OUT,">function.h" or die "cannot open function.h";
1138 print OUT $interface;
1139 close OUT;
1140 print "ok.\n";
1141
1142 print "Creating implementation file function.cpp...";
1143 open OUT,">function.cpp" or die "cannot open function.cpp";
1144 print OUT $implementation;
1145 close OUT;
1146 print "ok.\n";
1147
1148 print "done.\n";