doc/info/it/zeilberger.texi

   1 @menu
   2 * Introduction to zeilberger::
   3 * Definitions for zeilberger::
   4 @end menu
   5
   6 @node Introduction to zeilberger, Definitions for zeilberger, zeilberger, zeilberger
   7 @section Introduction to zeilberger
   8
   9 @node Definitions for zeilberger, , Introduction to zeilberger, zeilberger
  10 @section Definitions for zeilberger
  11
  12 @deffn {Function} AntiDifference (@var{F_k}, @var{k})
  13 THIS ITEM NEEDS TO BE TRANSLATED.
  14 @end deffn
  15
  16 @deffn {Function} Gosper (@var{F_k}, @var{k})
  17 THIS ITEM NEEDS TO BE TRANSLATED.
  18 @end deffn
  19
  20 @deffn {Function} GosperSum (@var{F_k}, @var{k}, @var{a}, @var{b})
  21 THIS ITEM NEEDS TO BE TRANSLATED.
  22 @end deffn
  23
  24 @deffn {Function} parGosper (@var{F_@{n,k@}}, @var{k}, @var{n}, @var{d})
  25 THIS ITEM NEEDS TO BE TRANSLATED.
  26 @end deffn
  27
  28 @deffn {Function} Zeilberger (@var{F_@{n,k@}}, @var{k}, @var{n})
  29 THIS ITEM NEEDS TO BE TRANSLATED.
  30 @end deffn
  31
  32 @section General global variables
  33
  34 @defvr {Global variable} MAX_ORD
  35 THIS ITEM NEEDS TO BE TRANSLATED.
  36 @end defvr
  37
  38 @defvr {Global variable} simplified_output
  39 THIS ITEM NEEDS TO BE TRANSLATED.
  40 @end defvr
  41
  42 @defvr {Global variable} linear_solver
  43 THIS ITEM NEEDS TO BE TRANSLATED.
  44 @end defvr
  45
  46 @defvr {Global variable} warnings
  47 THIS ITEM NEEDS TO BE TRANSLATED.
  48 @end defvr
  49
  50 @defvr {Global variable} gosper_in_zeilberger
  51 THIS ITEM NEEDS TO BE TRANSLATED.
  52 @end defvr
  53
  54 @defvr {Global variable} trivial_solutions
  55 THIS ITEM NEEDS TO BE TRANSLATED.
  56 @end defvr
  57
  58 @section Variables related to the modular test
  59
  60 @defvr {Global variable} mod_test
  61 THIS ITEM NEEDS TO BE TRANSLATED.
  62 @end defvr
  63
  64 @defvr {Global variable} modular_linear_solver
  65 THIS ITEM NEEDS TO BE TRANSLATED.
  66 @end defvr
  67
  68 @defvr {Global variable} ev_point
  69 THIS ITEM NEEDS TO BE TRANSLATED.
  70 @end defvr
  71
  72 @defvr {Global variable} mod_big_prime
  73 THIS ITEM NEEDS TO BE TRANSLATED.
  74 @end defvr
  75
  76 @defvr {Global variable} mod_threshold
  77 THIS ITEM NEEDS TO BE TRANSLATED.
  78 @end defvr
  79