1 #ifndef ISL_POLYNOMIAL_H
2 #define ISL_POLYNOMIAL_H
5 #include <isl_constraint.h>
10 #include <isl_printer.h>
12 #if defined(__cplusplus)
16 struct isl_qpolynomial;
17 typedef struct isl_qpolynomial isl_qpolynomial;
19 isl_ctx *isl_qpolynomial_get_ctx(__isl_keep isl_qpolynomial *qp);
20 __isl_give isl_dim *isl_qpolynomial_get_dim(__isl_keep isl_qpolynomial *qp);
21 unsigned isl_qpolynomial_dim(__isl_keep isl_qpolynomial *qp,
22 enum isl_dim_type type);
24 __isl_give isl_qpolynomial *isl_qpolynomial_zero(__isl_take isl_dim *dim);
25 __isl_give isl_qpolynomial *isl_qpolynomial_infty(__isl_take isl_dim *dim);
26 __isl_give isl_qpolynomial *isl_qpolynomial_neginfty(__isl_take isl_dim *dim);
27 __isl_give isl_qpolynomial *isl_qpolynomial_nan(__isl_take isl_dim *dim);
28 __isl_give isl_qpolynomial *isl_qpolynomial_rat_cst(__isl_take isl_dim *dim,
29 const isl_int n, const isl_int d);
30 __isl_give isl_qpolynomial *isl_qpolynomial_div(__isl_take isl_div *div);
31 __isl_give isl_qpolynomial *isl_qpolynomial_var(__isl_take isl_dim *dim,
32 enum isl_dim_type type, unsigned pos);
33 __isl_give isl_qpolynomial *isl_qpolynomial_copy(__isl_keep isl_qpolynomial *qp);
34 void isl_qpolynomial_free(__isl_take isl_qpolynomial *qp);
36 int isl_qpolynomial_is_equal(__isl_keep isl_qpolynomial *qp1,
37 __isl_keep isl_qpolynomial *qp2);
38 int isl_qpolynomial_is_nan(__isl_keep isl_qpolynomial *qp);
39 int isl_qpolynomial_is_infty(__isl_keep isl_qpolynomial *qp);
40 int isl_qpolynomial_is_neginfty(__isl_keep isl_qpolynomial *qp);
41 int isl_qpolynomial_sgn(__isl_keep isl_qpolynomial *qp);
42 int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial *qp,
43 isl_int *n, isl_int *d);
44 void isl_qpolynomial_get_den(__isl_keep isl_qpolynomial *qp, isl_int *d);
46 __isl_give isl_qpolynomial *isl_qpolynomial_neg(__isl_take isl_qpolynomial *qp);
47 __isl_give isl_qpolynomial *isl_qpolynomial_add(__isl_take isl_qpolynomial *qp1,
48 __isl_take isl_qpolynomial *qp2);
49 __isl_give isl_qpolynomial *isl_qpolynomial_sub(__isl_take isl_qpolynomial *qp1,
50 __isl_take isl_qpolynomial *qp2);
51 __isl_give isl_qpolynomial *isl_qpolynomial_mul(__isl_take isl_qpolynomial *qp1,
52 __isl_take isl_qpolynomial *qp2);
54 __isl_give isl_qpolynomial *isl_qpolynomial_add_dims(
55 __isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned n);
56 __isl_give isl_qpolynomial *isl_qpolynomial_move_dims(
57 __isl_take isl_qpolynomial *qp,
58 enum isl_dim_type dst_type, unsigned dst_pos,
59 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
60 __isl_give isl_qpolynomial *isl_qpolynomial_drop_dims(
61 __isl_take isl_qpolynomial *qp,
62 enum isl_dim_type type, unsigned first, unsigned n);
64 __isl_give isl_qpolynomial *isl_qpolynomial_substitute(
65 __isl_take isl_qpolynomial *qp,
66 enum isl_dim_type type, unsigned first, unsigned n,
67 __isl_keep isl_qpolynomial **subs);
69 int isl_qpolynomial_as_polynomial_on_domain(__isl_keep isl_qpolynomial *qp,
70 __isl_keep isl_basic_set *bset,
71 int (*fn)(__isl_take isl_basic_set *bset,
72 __isl_take isl_qpolynomial *poly, void *user), void *user);
74 __isl_give isl_qpolynomial *isl_qpolynomial_homogenize(
75 __isl_take isl_qpolynomial *poly);
78 typedef struct isl_term isl_term;
80 isl_ctx *isl_term_get_ctx(__isl_keep isl_term *term);
82 void isl_term_free(__isl_take isl_term *term);
84 unsigned isl_term_dim(__isl_keep isl_term *term, enum isl_dim_type type);
85 void isl_term_get_num(__isl_keep isl_term *term, isl_int *n);
86 void isl_term_get_den(__isl_keep isl_term *term, isl_int *d);
87 int isl_term_get_exp(__isl_keep isl_term *term,
88 enum isl_dim_type type, unsigned pos);
89 __isl_give isl_div *isl_term_get_div(__isl_keep isl_term *term, unsigned pos);
91 int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial *qp,
92 int (*fn)(__isl_take isl_term *term, void *user), void *user);
94 __isl_give isl_qpolynomial *isl_qpolynomial_eval(
95 __isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt);
97 __isl_give isl_qpolynomial *isl_qpolynomial_from_constraint(
98 __isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos);
99 __isl_give isl_qpolynomial *isl_qpolynomial_from_term(__isl_take isl_term *term);
101 __isl_give isl_printer *isl_printer_print_qpolynomial(
102 __isl_take isl_printer *p, __isl_keep isl_qpolynomial *qp);
103 void isl_qpolynomial_print(__isl_keep isl_qpolynomial *qp, FILE *out,
104 unsigned output_format);
106 struct isl_pw_qpolynomial;
107 typedef struct isl_pw_qpolynomial isl_pw_qpolynomial;
109 isl_ctx *isl_pw_qpolynomial_get_ctx(__isl_keep isl_pw_qpolynomial *pwqp);
111 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_zero(__isl_take isl_dim *dim);
112 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_alloc(__isl_take isl_set *set,
113 __isl_take isl_qpolynomial *qp);
114 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_copy(
115 __isl_keep isl_pw_qpolynomial *pwqp);
116 void isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial *pwqp);
118 int isl_pw_qpolynomial_is_zero(__isl_keep isl_pw_qpolynomial *pwqp);
120 __isl_give isl_dim *isl_pw_qpolynomial_get_dim(
121 __isl_keep isl_pw_qpolynomial *pwqp);
122 unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial *pwqp,
123 enum isl_dim_type type);
124 int isl_pw_qpolynomial_involves_dims(__isl_keep isl_pw_qpolynomial *pwqp,
125 enum isl_dim_type type, unsigned first, unsigned n);
127 __isl_give isl_set *isl_pw_qpolynomial_domain(__isl_take isl_pw_qpolynomial *pwqp);
128 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_intersect_domain(
129 __isl_take isl_pw_qpolynomial *pwpq, __isl_take isl_set *set);
131 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_drop_dims(
132 __isl_take isl_pw_qpolynomial *pwqp,
133 enum isl_dim_type type, unsigned first, unsigned n);
134 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_split_dims(
135 __isl_take isl_pw_qpolynomial *pwqp,
136 enum isl_dim_type type, unsigned first, unsigned n);
138 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add(
139 __isl_take isl_pw_qpolynomial *pwqp1,
140 __isl_take isl_pw_qpolynomial *pwqp2);
141 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_sub(
142 __isl_take isl_pw_qpolynomial *pwqp1,
143 __isl_take isl_pw_qpolynomial *pwqp2);
144 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_disjoint(
145 __isl_take isl_pw_qpolynomial *pwqp1,
146 __isl_take isl_pw_qpolynomial *pwqp2);
147 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_neg(
148 __isl_take isl_pw_qpolynomial *pwqp);
149 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_mul(
150 __isl_take isl_pw_qpolynomial *pwqp1,
151 __isl_take isl_pw_qpolynomial *pwqp2);
153 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_dims(
154 __isl_take isl_pw_qpolynomial *pwqp,
155 enum isl_dim_type type, unsigned n);
156 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_move_dims(
157 __isl_take isl_pw_qpolynomial *pwqp,
158 enum isl_dim_type dst_type, unsigned dst_pos,
159 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
161 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_fix_dim(
162 __isl_take isl_pw_qpolynomial *pwqp,
163 enum isl_dim_type type, unsigned n, isl_int v);
165 __isl_give isl_qpolynomial *isl_pw_qpolynomial_eval(
166 __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_point *pnt);
168 __isl_give isl_qpolynomial *isl_pw_qpolynomial_max(
169 __isl_take isl_pw_qpolynomial *pwqp);
170 __isl_give isl_qpolynomial *isl_pw_qpolynomial_min(
171 __isl_take isl_pw_qpolynomial *pwqp);
173 int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial *pwqp,
174 int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
175 void *user), void *user);
176 int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial *pwqp,
177 int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial *qp,
178 void *user), void *user);
180 __isl_give isl_printer *isl_printer_print_pw_qpolynomial(
181 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial *pwqp);
182 void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial *pwqp, FILE *out,
183 unsigned output_format);
185 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_coalesce(
186 __isl_take isl_pw_qpolynomial *pwqp);
187 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_gist(
188 __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_set *context);
196 struct isl_qpolynomial_fold;
197 typedef struct isl_qpolynomial_fold isl_qpolynomial_fold;
199 enum isl_fold isl_qpolynomial_fold_get_type(__isl_keep isl_qpolynomial_fold *fold);
201 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_empty(enum isl_fold type,
202 __isl_take isl_dim *dim);
203 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_alloc(
204 enum isl_fold type, __isl_take isl_qpolynomial *qp);
205 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_copy(
206 __isl_keep isl_qpolynomial_fold *fold);
207 void isl_qpolynomial_fold_free(__isl_take isl_qpolynomial_fold *fold);
209 int isl_qpolynomial_fold_is_empty(__isl_keep isl_qpolynomial_fold *fold);
210 int isl_qpolynomial_fold_is_equal(__isl_keep isl_qpolynomial_fold *fold1,
211 __isl_keep isl_qpolynomial_fold *fold2);
213 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold(
214 __isl_take isl_qpolynomial_fold *fold1,
215 __isl_take isl_qpolynomial_fold *fold2);
217 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_move_dims(
218 __isl_take isl_qpolynomial_fold *fold,
219 enum isl_dim_type dst_type, unsigned dst_pos,
220 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
222 __isl_give isl_qpolynomial *isl_qpolynomial_fold_eval(
223 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_point *pnt);
225 int isl_qpolynomial_fold_foreach_qpolynomial(
226 __isl_keep isl_qpolynomial_fold *fold,
227 int (*fn)(__isl_take isl_qpolynomial *qp, void *user), void *user);
229 void isl_qpolynomial_fold_print(__isl_keep isl_qpolynomial_fold *fold, FILE *out,
230 unsigned output_format);
232 struct isl_pw_qpolynomial_fold;
233 typedef struct isl_pw_qpolynomial_fold isl_pw_qpolynomial_fold;
235 isl_ctx *isl_pw_qpolynomial_fold_get_ctx(__isl_keep isl_pw_qpolynomial_fold *pwf);
237 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_from_pw_qpolynomial(
238 enum isl_fold type, __isl_take isl_pw_qpolynomial *pwqp);
240 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_alloc(
241 __isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold);
242 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_copy(
243 __isl_keep isl_pw_qpolynomial_fold *pwf);
244 void isl_pw_qpolynomial_fold_free(__isl_take isl_pw_qpolynomial_fold *pwf);
246 int isl_pw_qpolynomial_fold_is_zero(__isl_keep isl_pw_qpolynomial_fold *pwf);
248 __isl_give isl_dim *isl_pw_qpolynomial_fold_get_dim(
249 __isl_keep isl_pw_qpolynomial_fold *pwf);
250 unsigned isl_pw_qpolynomial_fold_dim(__isl_keep isl_pw_qpolynomial_fold *pwf,
251 enum isl_dim_type type);
253 size_t isl_pw_qpolynomial_fold_size(__isl_keep isl_pw_qpolynomial_fold *pwf);
255 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_zero(
256 __isl_take isl_dim *dim);
258 __isl_give isl_set *isl_pw_qpolynomial_fold_domain(
259 __isl_take isl_pw_qpolynomial_fold *pwf);
260 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_intersect_domain(
261 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *set);
263 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add(
264 __isl_take isl_pw_qpolynomial_fold *pwf1,
265 __isl_take isl_pw_qpolynomial_fold *pwf2);
266 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_add_disjoint(
267 __isl_take isl_pw_qpolynomial_fold *pwf1,
268 __isl_take isl_pw_qpolynomial_fold *pwf2);
270 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_move_dims(
271 __isl_take isl_pw_qpolynomial_fold *pwf,
272 enum isl_dim_type dst_type, unsigned dst_pos,
273 enum isl_dim_type src_type, unsigned src_pos, unsigned n);
275 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_eval(
276 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_point *pnt);
278 int isl_pw_qpolynomial_fold_foreach_lifted_piece(
279 __isl_keep isl_pw_qpolynomial_fold *pwf,
280 int (*fn)(__isl_take isl_set *set, __isl_take isl_qpolynomial_fold *fold,
281 void *user), void *user);
283 __isl_give isl_printer *isl_printer_print_pw_qpolynomial_fold(
284 __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf);
285 void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf,
286 FILE *out, unsigned output_format);
288 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_coalesce(
289 __isl_take isl_pw_qpolynomial_fold *pwf);
290 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_gist(
291 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_set *context);
293 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_max(
294 __isl_take isl_pw_qpolynomial_fold *pwf);
295 __isl_give isl_qpolynomial *isl_pw_qpolynomial_fold_min(
296 __isl_take isl_pw_qpolynomial_fold *pwf);
298 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_bound_range(
299 __isl_take isl_pw_qpolynomial *pwqp, enum isl_fold type, int *exact);
301 #if defined(__cplusplus)