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_morph.h>
   6 #include <isl_polynomial.h>
   7
   8 struct isl_upoly {
   9         int ref;
  10         struct isl_ctx *ctx;
  11
  12         int var;
  13 };
  14
  15 struct isl_upoly_cst {
  16         struct isl_upoly up;
  17         isl_int n;
  18         isl_int d;
  19 };
  20
  21 struct isl_upoly_rec {
  22         struct isl_upoly up;
  23         int n;
  24
  25         size_t size;
  26         struct isl_upoly *p[1];
  27 };
  28
  29 struct isl_qpolynomial {
  30         int ref;
  31
  32         struct isl_dim *dim;
  33         struct isl_mat *div;
  34         struct isl_upoly *upoly;
  35 };
  36
  37 struct isl_term {
  38         int ref;
  39
  40         isl_int n;
  41         isl_int d;
  42
  43         struct isl_dim *dim;
  44         struct isl_mat *div;
  45
  46         int pow[1];
  47 };
  48
  49 struct isl_pw_qpolynomial_piece {
  50         struct isl_set *set;
  51         struct isl_qpolynomial *qp;
  52 };
  53
  54 struct isl_pw_qpolynomial {
  55         int ref;
  56
  57         struct isl_dim *dim;
  58
  59         int n;
  60
  61         size_t size;
  62         struct isl_pw_qpolynomial_piece p[1];
  63 };
  64
  65 struct isl_qpolynomial_fold {
  66         int ref;
  67
  68         enum isl_fold type;
  69         struct isl_dim *dim;
  70
  71         int n;
  72
  73         size_t size;
  74         struct isl_qpolynomial *qp[1];
  75 };
  76
  77 struct isl_pw_qpolynomial_fold_piece {
  78         struct isl_set *set;
  79         struct isl_qpolynomial_fold *fold;
  80 };
  81
  82 struct isl_pw_qpolynomial_fold {
  83         int ref;
  84
  85         struct isl_dim *dim;
  86
  87         int n;
  88
  89         size_t size;
  90         struct isl_pw_qpolynomial_fold_piece p[1];
  91 };
  92
  93 __isl_give struct isl_upoly *isl_upoly_zero(struct isl_ctx *ctx);
  94 __isl_give struct isl_upoly *isl_upoly_copy(__isl_keep struct isl_upoly *up);
  95 __isl_give struct isl_upoly *isl_upoly_cow(__isl_take struct isl_upoly *up);
  96 __isl_give struct isl_upoly *isl_upoly_dup(__isl_keep struct isl_upoly *up);
  97 void isl_upoly_free(__isl_take struct isl_upoly *up);
  98 __isl_give struct isl_upoly *isl_upoly_mul(__isl_take struct isl_upoly *up1,
  99         __isl_take struct isl_upoly *up2);
 100
 101 int isl_upoly_is_cst(__isl_keep struct isl_upoly *up);
 102 int isl_upoly_is_zero(__isl_keep struct isl_upoly *up);
 103 int isl_upoly_is_one(__isl_keep struct isl_upoly *up);
 104 int isl_upoly_is_negone(__isl_keep struct isl_upoly *up);
 105 __isl_keep struct isl_upoly_cst *isl_upoly_as_cst(__isl_keep struct isl_upoly *up);
 106 __isl_keep struct isl_upoly_rec *isl_upoly_as_rec(__isl_keep struct isl_upoly *up);
 107
 108 __isl_give struct isl_upoly *isl_upoly_sum(__isl_take struct isl_upoly *up1,
 109         __isl_take struct isl_upoly *up2);
 110 __isl_give struct isl_upoly *isl_upoly_neg(__isl_take struct isl_upoly *up);
 111
 112 __isl_give isl_qpolynomial *isl_qpolynomial_alloc(__isl_take isl_dim *dim,
 113         unsigned n_div, __isl_take struct isl_upoly *up);
 114 __isl_give isl_qpolynomial *isl_qpolynomial_cow(__isl_take isl_qpolynomial *qp);
 115 __isl_give isl_qpolynomial *isl_qpolynomial_dup(__isl_keep isl_qpolynomial *qp);
 116
 117 __isl_give isl_qpolynomial *isl_qpolynomial_cst(__isl_take isl_dim *dim,
 118         isl_int v);
 119 __isl_give isl_qpolynomial *isl_qpolynomial_pow(__isl_take isl_dim *dim,
 120         int pos, int power);
 121 __isl_give isl_qpolynomial *isl_qpolynomial_div_pow(__isl_take isl_div *div,
 122         int power);
 123 int isl_qpolynomial_is_one(__isl_keep isl_qpolynomial *qp);
 124 int isl_qpolynomial_is_affine(__isl_keep isl_qpolynomial *qp);
 125
 126 __isl_give isl_qpolynomial *isl_qpolynomial_add_on_domain(
 127         __isl_keep isl_set *dom,
 128         __isl_take isl_qpolynomial *qp1,
 129         __isl_take isl_qpolynomial *qp2);
 130
 131 int isl_qpolynomial_le_cst(__isl_keep isl_qpolynomial *qp1,
 132         __isl_keep isl_qpolynomial *qp2);
 133 __isl_give isl_qpolynomial *isl_qpolynomial_max_cst(
 134         __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2);
 135 __isl_give isl_qpolynomial *isl_qpolynomial_min_cst(
 136         __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2);
 137
 138 int isl_qpolynomial_degree(__isl_keep isl_qpolynomial *poly);
 139 __isl_give isl_qpolynomial *isl_qpolynomial_coeff(
 140         __isl_keep isl_qpolynomial *poly,
 141         enum isl_dim_type type, unsigned pos, int deg);
 142
 143 __isl_give isl_vec *isl_qpolynomial_extract_affine(
 144         __isl_keep isl_qpolynomial *qp);
 145 __isl_give isl_qpolynomial *isl_qpolynomial_from_affine(__isl_take isl_dim *dim,
 146         isl_int *f, isl_int denom);
 147
 148 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_cow(
 149         __isl_take isl_pw_qpolynomial *pwqp);
 150
 151 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_piece(
 152         __isl_take isl_pw_qpolynomial *pwqp,
 153         __isl_take isl_set *set, __isl_take isl_qpolynomial *qp);
 154 int isl_pw_qpolynomial_is_one(__isl_keep isl_pw_qpolynomial *pwqp);
 155
 156 __isl_give isl_qpolynomial *isl_qpolynomial_opt_on_domain(
 157         __isl_take isl_qpolynomial *qp, __isl_take isl_set *set, int max);
 158
 159 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_cow(
 160         __isl_take isl_qpolynomial_fold *fold);
 161 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_dup(
 162         __isl_keep isl_qpolynomial_fold *fold);
 163
 164 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_cow(
 165         __isl_take isl_pw_qpolynomial_fold *pwf);
 166
 167 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_add_on_domain(
 168         __isl_keep isl_set *set,
 169         __isl_take isl_qpolynomial_fold *fold1,
 170         __isl_take isl_qpolynomial_fold *fold2);
 171 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold_on_domain(
 172         __isl_keep isl_set *set,
 173         __isl_take isl_qpolynomial_fold *fold1,
 174         __isl_take isl_qpolynomial_fold *fold2);
 175
 176 __isl_give isl_qpolynomial *isl_qpolynomial_fold_opt_on_domain(
 177         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *set, int max);
 178
 179 int isl_pw_qpolynomial_fold_covers(__isl_keep isl_pw_qpolynomial_fold *pwf1,
 180         __isl_keep isl_pw_qpolynomial_fold *pwf2);
 181
 182 __isl_give isl_qpolynomial *isl_qpolynomial_morph(__isl_take isl_qpolynomial *qp,
 183         __isl_take isl_morph *morph);
 184 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_morph(
 185         __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_morph *morph);
 186 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_morph(
 187         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_morph *morph);
 188 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_morph(
 189         __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_morph *morph);
 190
 191 __isl_give isl_qpolynomial *isl_qpolynomial_lift(__isl_take isl_qpolynomial *qp,
 192         __isl_take isl_dim *dim);
 193 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_lift(
 194         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_dim *dim);
 195
 196 __isl_give isl_qpolynomial *isl_qpolynomial_substitute_equalities(
 197         __isl_take isl_qpolynomial *qp, __isl_take isl_basic_set *eq);
 198 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute_equalities(
 199         __isl_take isl_qpolynomial_fold *fold, __isl_take isl_basic_set *eq);