isl_polynomial_private.h

   1 #include <stdio.h>
   2 #include <isl_div.h>
   3 #include <isl_map.h>
   4 #include <isl_mat.h>
   5 #include <isl_polynomial.h>
   6
   7 struct isl_upoly {
   8         int ref;
   9         struct isl_ctx *ctx;
  10
  11         int var;
  12 };
  13
  14 struct isl_upoly_cst {
  15         struct isl_upoly up;
  16         isl_int n;
  17         isl_int d;
  18 };
  19
  20 struct isl_upoly_rec {
  21         struct isl_upoly up;
  22         int n;
  23
  24         size_t size;
  25         struct isl_upoly *p[1];
  26 };
  27
  28 struct isl_qpolynomial {
  29         int ref;
  30
  31         struct isl_dim *dim;
  32         struct isl_mat *div;
  33         struct isl_upoly *upoly;
  34 };
  35
  36 struct isl_pw_qpolynomial_piece {
  37         struct isl_set *set;
  38         struct isl_qpolynomial *qp;
  39 };
  40
  41 struct isl_pw_qpolynomial {
  42         int ref;
  43
  44         struct isl_dim *dim;
  45
  46         int n;
  47
  48         size_t size;
  49         struct isl_pw_qpolynomial_piece p[1];
  50 };
  51
  52 __isl_give struct isl_upoly *isl_upoly_zero(struct isl_ctx *ctx);
  53 __isl_give struct isl_upoly *isl_upoly_copy(__isl_keep struct isl_upoly *up);
  54 __isl_give struct isl_upoly *isl_upoly_cow(__isl_take struct isl_upoly *up);
  55 __isl_give struct isl_upoly *isl_upoly_dup(__isl_keep struct isl_upoly *up);
  56 void isl_upoly_free(__isl_take struct isl_upoly *up);
  57 __isl_give struct isl_upoly *isl_upoly_mul(__isl_take struct isl_upoly *up1,
  58         __isl_take struct isl_upoly *up2);
  59
  60 int isl_upoly_is_cst(__isl_keep struct isl_upoly *up);
  61 int isl_upoly_is_zero(__isl_keep struct isl_upoly *up);
  62 int isl_upoly_is_one(__isl_keep struct isl_upoly *up);
  63 int isl_upoly_is_negone(__isl_keep struct isl_upoly *up);
  64 __isl_keep struct isl_upoly_cst *isl_upoly_as_cst(__isl_keep struct isl_upoly *up);
  65 __isl_keep struct isl_upoly_rec *isl_upoly_as_rec(__isl_keep struct isl_upoly *up);
  66
  67 __isl_give struct isl_upoly *isl_upoly_sum(__isl_take struct isl_upoly *up1,
  68         __isl_take struct isl_upoly *up2);
  69 __isl_give struct isl_upoly *isl_upoly_neg(__isl_take struct isl_upoly *up);
  70
  71 __isl_give isl_qpolynomial *isl_qpolynomial_alloc(__isl_take isl_dim *dim,
  72         unsigned n_div);
  73 __isl_give isl_qpolynomial *isl_qpolynomial_cow(__isl_take isl_qpolynomial *qp);
  74 __isl_give isl_qpolynomial *isl_qpolynomial_dup(__isl_keep isl_qpolynomial *qp);
  75
  76 __isl_give isl_qpolynomial *isl_qpolynomial_sub(__isl_take isl_qpolynomial *qp1,
  77         __isl_take isl_qpolynomial *qp2);
  78
  79 __isl_give isl_qpolynomial *isl_qpolynomial_cst(__isl_take isl_dim *dim,
  80         isl_int v);
  81 __isl_give isl_qpolynomial *isl_qpolynomial_pow(__isl_take isl_dim *dim,
  82         int pos, int power);
  83 __isl_give isl_qpolynomial *isl_qpolynomial_div_pow(__isl_take isl_div *div,
  84         int power);
  85 int isl_qpolynomial_is_zero(__isl_keep isl_qpolynomial *qp);
  86 int isl_qpolynomial_is_one(__isl_keep isl_qpolynomial *qp);
  87
  88 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_piece(
  89         __isl_take isl_pw_qpolynomial *pwqp,
  90         __isl_take isl_set *set, __isl_take isl_qpolynomial *qp);
  91 int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp);
  92 int isl_pw_qpolynomial_is_one(__isl_keep isl_pw_qpolynomial *pwqp);