1 #ifndef ISL_POLYNOMIAL_H
2 #define ISL_POLYNOMIAL_H
10 #if defined(__cplusplus)
14 struct isl_qpolynomial
;
15 typedef struct isl_qpolynomial isl_qpolynomial
;
17 __isl_give isl_qpolynomial
*isl_qpolynomial_zero(__isl_take isl_dim
*dim
);
18 __isl_give isl_qpolynomial
*isl_qpolynomial_infty(__isl_take isl_dim
*dim
);
19 __isl_give isl_qpolynomial
*isl_qpolynomial_nan(__isl_take isl_dim
*dim
);
20 __isl_give isl_qpolynomial
*isl_qpolynomial_rat_cst(__isl_take isl_dim
*dim
,
21 const isl_int n
, const isl_int d
);
22 __isl_give isl_qpolynomial
*isl_qpolynomial_div(__isl_take isl_div
*div
);
23 __isl_give isl_qpolynomial
*isl_qpolynomial_var(__isl_take isl_dim
*dim
,
24 enum isl_dim_type type
, unsigned pos
);
25 __isl_give isl_qpolynomial
*isl_qpolynomial_copy(__isl_keep isl_qpolynomial
*qp
);
26 void isl_qpolynomial_free(__isl_take isl_qpolynomial
*qp
);
28 int isl_qpolynomial_is_cst(__isl_keep isl_qpolynomial
*qp
,
29 isl_int
*n
, isl_int
*d
);
31 __isl_give isl_qpolynomial
*isl_qpolynomial_neg(__isl_take isl_qpolynomial
*qp
);
32 __isl_give isl_qpolynomial
*isl_qpolynomial_add(__isl_take isl_qpolynomial
*qp1
,
33 __isl_take isl_qpolynomial
*qp2
);
34 __isl_give isl_qpolynomial
*isl_qpolynomial_mul(__isl_take isl_qpolynomial
*qp1
,
35 __isl_take isl_qpolynomial
*qp2
);
38 typedef struct isl_term isl_term
;
40 isl_ctx
*isl_term_get_ctx(__isl_keep isl_term
*term
);
42 void isl_term_free(__isl_take isl_term
*term
);
44 unsigned isl_term_dim(__isl_keep isl_term
*term
, enum isl_dim_type type
);
45 void isl_term_get_num(__isl_keep isl_term
*term
, isl_int
*n
);
46 void isl_term_get_den(__isl_keep isl_term
*term
, isl_int
*d
);
47 int isl_term_get_exp(__isl_keep isl_term
*term
,
48 enum isl_dim_type type
, unsigned pos
);
49 __isl_give isl_div
*isl_term_get_div(__isl_keep isl_term
*term
, unsigned pos
);
51 int isl_qpolynomial_foreach_term(__isl_keep isl_qpolynomial
*qp
,
52 int (*fn
)(__isl_take isl_term
*term
, void *user
), void *user
);
54 void isl_qpolynomial_print(__isl_keep isl_qpolynomial
*qp
, FILE *out
,
55 unsigned output_format
);
57 struct isl_pw_qpolynomial
;
58 typedef struct isl_pw_qpolynomial isl_pw_qpolynomial
;
60 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_zero(__isl_take isl_dim
*dim
);
61 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_alloc(__isl_take isl_set
*set
,
62 __isl_take isl_qpolynomial
*qp
);
63 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_copy(
64 __isl_keep isl_pw_qpolynomial
*pwqp
);
65 void isl_pw_qpolynomial_free(__isl_take isl_pw_qpolynomial
*pwqp
);
67 __isl_give isl_dim
*isl_pw_qpolynomial_get_dim(
68 __isl_keep isl_pw_qpolynomial
*pwqp
);
69 unsigned isl_pw_qpolynomial_dim(__isl_keep isl_pw_qpolynomial
*pwqp
,
70 enum isl_dim_type type
);
72 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_add(
73 __isl_take isl_pw_qpolynomial
*pwqp1
,
74 __isl_take isl_pw_qpolynomial
*pwqp2
);
75 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_sub(
76 __isl_take isl_pw_qpolynomial
*pwqp1
,
77 __isl_take isl_pw_qpolynomial
*pwqp2
);
78 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_add_disjoint(
79 __isl_take isl_pw_qpolynomial
*pwqp1
,
80 __isl_take isl_pw_qpolynomial
*pwqp2
);
81 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_neg(
82 __isl_take isl_pw_qpolynomial
*pwqp
);
83 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_mul(
84 __isl_take isl_pw_qpolynomial
*pwqp1
,
85 __isl_take isl_pw_qpolynomial
*pwqp2
);
87 __isl_give isl_pw_qpolynomial
*isl_pw_qpolynomial_move(
88 __isl_take isl_pw_qpolynomial
*pwqp
,
89 enum isl_dim_type dst_type
, unsigned dst_pos
,
90 enum isl_dim_type src_type
, unsigned src_pos
, unsigned n
);
92 __isl_give isl_qpolynomial
*isl_pw_qpolynomial_eval(
93 __isl_take isl_pw_qpolynomial
*pwqp
, __isl_take isl_point
*pnt
);
95 int isl_pw_qpolynomial_foreach_piece(__isl_keep isl_pw_qpolynomial
*pwqp
,
96 int (*fn
)(__isl_take isl_set
*set
, __isl_take isl_qpolynomial
*qp
,
97 void *user
), void *user
);
98 int isl_pw_qpolynomial_foreach_lifted_piece(__isl_keep isl_pw_qpolynomial
*pwqp
,
99 int (*fn
)(__isl_take isl_set
*set
, __isl_take isl_qpolynomial
*qp
,
100 void *user
), void *user
);
102 void isl_pw_qpolynomial_print(__isl_keep isl_pw_qpolynomial
*pwqp
, FILE *out
,
103 unsigned output_format
);
105 #if defined(__cplusplus)