lattice_point.h

   1 #ifndef LATTICE_POINT_H
   2 #define LATTICE_POINT_H
   3
   4 #include <gmp.h>
   5 #include <NTL/vec_ZZ.h>
   6 #include <NTL/mat_ZZ.h>
   7 #include <barvinok/polylib.h>
   8
   9 #ifdef NTL_STD_CXX
  10 using namespace NTL;
  11 #endif
  12
  13 struct barvinok_options;
  14
  15 evalue *multi_monom(vec_ZZ& p);
  16 int normal_mod(Value *coef, int len, Value *m);
  17 void lattice_point_fixed(Value *vertex, Value *vertex_res,
  18                          Matrix *Rays, Matrix *Rays_res,
  19                          Value *point, int *closed);
  20 void lattice_points_fixed(Value *vertex, Value *vertex_res,
  21                           Matrix *Rays, Matrix *Rays_res, Matrix *points,
  22                           unsigned long det, int *closed);
  23 void lattice_point(Param_Vertices *V, const mat_ZZ& rays, vec_ZZ& num,
  24                    evalue **E_vertex, barvinok_options *options);
  25
  26 /* This structure encodes the power of the term in a rational generating function.
  27  *
  28  * Either E == NULL or constant = 0
  29  * If E != NULL, then the power is          E
  30  * If E == NULL, then the power is          constant
  31  */
  32 struct term_info {
  33     evalue        **E;
  34     vec_ZZ          constant;
  35 };
  36
  37 void lattice_point(Param_Vertices* V, const mat_ZZ& rays, vec_ZZ& lambda,
  38     term_info* term, unsigned long det, int *closed,
  39     barvinok_options *options);
  40
  41 #endif