6 #include <isl/polynomial.h>
7 #include <isl_reordering.h>
16 struct isl_upoly_cst
{
22 struct isl_upoly_rec
{
27 struct isl_upoly
*p
[];
30 /* dim represents the domain space.
32 struct isl_qpolynomial
{
37 struct isl_upoly
*upoly
;
52 struct isl_pw_qpolynomial_piece
{
54 struct isl_qpolynomial
*qp
;
57 struct isl_pw_qpolynomial
{
65 struct isl_pw_qpolynomial_piece p
[1];
68 /* dim represents the domain space.
70 struct isl_qpolynomial_fold
{
79 struct isl_qpolynomial
*qp
[1];
82 struct isl_pw_qpolynomial_fold_piece
{
84 struct isl_qpolynomial_fold
*fold
;
87 struct isl_pw_qpolynomial_fold
{
96 struct isl_pw_qpolynomial_fold_piece p
[1];
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
);
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
);
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
);
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
);
124 __isl_give isl_qpolynomial
*isl_qpolynomial_cst_on_domain(__isl_take isl_space
*dim
,
126 __isl_give isl_qpolynomial
*isl_qpolynomial_var_pow_on_domain(__isl_take isl_space
*dim
,
128 __isl_give isl_qpolynomial
*isl_qpolynomial_div_pow(__isl_take isl_div
*div
,
130 int isl_qpolynomial_is_one(__isl_keep isl_qpolynomial
*qp
);
131 int isl_qpolynomial_is_affine(__isl_keep isl_qpolynomial
*qp
);
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
);
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
);
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
);
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
);
155 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_cow(
156 __isl_take isl_pw_qpolynomial
*pwqp
);
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
);
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
);
167 __isl_give isl_qpolynomial
*isl_qpolynomial_opt_on_domain(
168 __isl_take isl_qpolynomial
*qp
, __isl_take isl_set
*set
, int max
);
170 enum isl_fold
isl_fold_type_negate(enum isl_fold type
);
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
);
177 __isl_give isl_pw_qpolynomial_fold
*isl_pw_qpolynomial_fold_cow(
178 __isl_take isl_pw_qpolynomial_fold
*pwf
);
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
);
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
);
192 int isl_pw_qpolynomial_fold_covers(__isl_keep isl_pw_qpolynomial_fold
*pwf1
,
193 __isl_keep isl_pw_qpolynomial_fold
*pwf2
);
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
);
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
);
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
);
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
);
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
);