bernoulli.h

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