bernoulli.h

   1 #include <barvinok/evalue.h>
   2 #include "section_array.h"
   3
   4 #if defined(__cplusplus)
   5 extern "C" {
   6 #endif
   7
   8 struct barvinok_options;
   9
  10 struct bernoulli_coef {
  11     Vector  *num;
  12     Vector  *den;
  13     Vector  *lcm;       /* lcm of this and previous denominators */
  14     int     size;
  15     int     n;          /* The number of Bernoulli coefficients */
  16 };
  17
  18 struct poly_list {
  19     Vector  **poly;
  20     int     size;
  21     int     n;          /* The number of polynomials */
  22 };
  23
  24 /*
  25  * Compute Bernoulli coefficients up to the nth.
  26  * The returned structure will contain at least n+1 coefficients (0..n).
  27  */
  28 struct bernoulli_coef *bernoulli_coef_compute(int n);
  29
  30 /*
  31  * Compute Faulhaber polynomials up to the nth.
  32  * The returned structure will contain at least n+1 polynomials (0..n).
  33  */
  34 struct poly_list *faulhaber_compute(int n);
  35
  36 /*
  37  * Compute Bernoulli polynomials up to the nth.
  38  * The returned structure will contain at least n+1 polynomials (0..n).
  39  */
  40 struct poly_list *bernoulli_compute(int n);
  41
  42 evalue *bernoulli_summate(Polyhedron *P, evalue *E, unsigned nvar,
  43                                  struct evalue_section_array *sections,
  44                                  struct barvinok_options *options);
  45
  46 #if defined(__cplusplus)
  47 }
  48 #endif