6 #include <isl_polynomial.h>
15 struct isl_upoly_cst {
21 struct isl_upoly_rec {
26 struct isl_upoly *p[1];
29 struct isl_qpolynomial {
34 struct isl_upoly *upoly;
49 struct isl_pw_qpolynomial_piece {
51 struct isl_qpolynomial *qp;
54 struct isl_pw_qpolynomial {
62 struct isl_pw_qpolynomial_piece p[1];
65 struct isl_qpolynomial_fold {
74 struct isl_qpolynomial *qp[1];
77 struct isl_pw_qpolynomial_fold_piece {
79 struct isl_qpolynomial_fold *fold;
82 struct isl_pw_qpolynomial_fold {
91 struct isl_pw_qpolynomial_fold_piece p[1];
94 __isl_give struct isl_upoly *isl_upoly_zero(struct isl_ctx *ctx);
95 __isl_give struct isl_upoly *isl_upoly_copy(__isl_keep struct isl_upoly *up);
96 __isl_give struct isl_upoly *isl_upoly_cow(__isl_take struct isl_upoly *up);
97 __isl_give struct isl_upoly *isl_upoly_dup(__isl_keep struct isl_upoly *up);
98 void isl_upoly_free(__isl_take struct isl_upoly *up);
99 __isl_give struct isl_upoly *isl_upoly_mul(__isl_take struct isl_upoly *up1,
100 __isl_take struct isl_upoly *up2);
102 int isl_upoly_is_cst(__isl_keep struct isl_upoly *up);
103 int isl_upoly_is_zero(__isl_keep struct isl_upoly *up);
104 int isl_upoly_is_one(__isl_keep struct isl_upoly *up);
105 int isl_upoly_is_negone(__isl_keep struct isl_upoly *up);
106 __isl_keep struct isl_upoly_cst *isl_upoly_as_cst(__isl_keep struct isl_upoly *up);
107 __isl_keep struct isl_upoly_rec *isl_upoly_as_rec(__isl_keep struct isl_upoly *up);
109 __isl_give struct isl_upoly *isl_upoly_sum(__isl_take struct isl_upoly *up1,
110 __isl_take struct isl_upoly *up2);
111 __isl_give struct isl_upoly *isl_upoly_neg(__isl_take struct isl_upoly *up);
113 __isl_give isl_qpolynomial *isl_qpolynomial_alloc(__isl_take isl_dim *dim,
114 unsigned n_div, __isl_take struct isl_upoly *up);
115 __isl_give isl_qpolynomial *isl_qpolynomial_cow(__isl_take isl_qpolynomial *qp);
116 __isl_give isl_qpolynomial *isl_qpolynomial_dup(__isl_keep isl_qpolynomial *qp);
118 __isl_give isl_qpolynomial *isl_qpolynomial_cst(__isl_take isl_dim *dim,
120 __isl_give isl_qpolynomial *isl_qpolynomial_pow(__isl_take isl_dim *dim,
122 __isl_give isl_qpolynomial *isl_qpolynomial_div_pow(__isl_take isl_div *div,
124 int isl_qpolynomial_is_one(__isl_keep isl_qpolynomial *qp);
125 int isl_qpolynomial_is_affine(__isl_keep isl_qpolynomial *qp);
127 __isl_give isl_qpolynomial *isl_qpolynomial_add_on_domain(
128 __isl_keep isl_set *dom,
129 __isl_take isl_qpolynomial *qp1,
130 __isl_take isl_qpolynomial *qp2);
132 int isl_qpolynomial_le_cst(__isl_keep isl_qpolynomial *qp1,
133 __isl_keep isl_qpolynomial *qp2);
134 __isl_give isl_qpolynomial *isl_qpolynomial_max_cst(
135 __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2);
136 __isl_give isl_qpolynomial *isl_qpolynomial_min_cst(
137 __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2);
139 int isl_qpolynomial_degree(__isl_keep isl_qpolynomial *poly);
140 __isl_give isl_qpolynomial *isl_qpolynomial_coeff(
141 __isl_keep isl_qpolynomial *poly,
142 enum isl_dim_type type, unsigned pos, int deg);
144 __isl_give isl_vec *isl_qpolynomial_extract_affine(
145 __isl_keep isl_qpolynomial *qp);
146 __isl_give isl_qpolynomial *isl_qpolynomial_from_affine(__isl_take isl_dim *dim,
147 isl_int *f, isl_int denom);
149 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_cow(
150 __isl_take isl_pw_qpolynomial *pwqp);
152 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_add_piece(
153 __isl_take isl_pw_qpolynomial *pwqp,
154 __isl_take isl_set *set, __isl_take isl_qpolynomial *qp);
155 int isl_pw_qpolynomial_is_one(__isl_keep isl_pw_qpolynomial *pwqp);
157 __isl_give isl_qpolynomial *isl_qpolynomial_opt_on_domain(
158 __isl_take isl_qpolynomial *qp, __isl_take isl_set *set, int max);
160 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_cow(
161 __isl_take isl_qpolynomial_fold *fold);
162 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_dup(
163 __isl_keep isl_qpolynomial_fold *fold);
165 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_cow(
166 __isl_take isl_pw_qpolynomial_fold *pwf);
168 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_add_on_domain(
169 __isl_keep isl_set *set,
170 __isl_take isl_qpolynomial_fold *fold1,
171 __isl_take isl_qpolynomial_fold *fold2);
172 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_fold_on_domain(
173 __isl_keep isl_set *set,
174 __isl_take isl_qpolynomial_fold *fold1,
175 __isl_take isl_qpolynomial_fold *fold2);
177 __isl_give isl_qpolynomial *isl_qpolynomial_fold_opt_on_domain(
178 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_set *set, int max);
180 int isl_pw_qpolynomial_fold_covers(__isl_keep isl_pw_qpolynomial_fold *pwf1,
181 __isl_keep isl_pw_qpolynomial_fold *pwf2);
183 __isl_give isl_qpolynomial *isl_qpolynomial_morph(__isl_take isl_qpolynomial *qp,
184 __isl_take isl_morph *morph);
185 __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_morph(
186 __isl_take isl_pw_qpolynomial *pwqp, __isl_take isl_morph *morph);
187 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_morph(
188 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_morph *morph);
189 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_morph(
190 __isl_take isl_pw_qpolynomial_fold *pwf, __isl_take isl_morph *morph);
192 __isl_give isl_qpolynomial *isl_qpolynomial_lift(__isl_take isl_qpolynomial *qp,
193 __isl_take isl_dim *dim);
194 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_lift(
195 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_dim *dim);
197 __isl_give isl_qpolynomial *isl_qpolynomial_substitute_equalities(
198 __isl_take isl_qpolynomial *qp, __isl_take isl_basic_set *eq);
199 __isl_give isl_qpolynomial_fold *isl_qpolynomial_fold_substitute_equalities(
200 __isl_take isl_qpolynomial_fold *fold, __isl_take isl_basic_set *eq);