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