isl_polynomial.c File Reference

#include <stdlib.h>
#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl_factorization.h>
#include <isl_lp_private.h>
#include <isl_seq.h>
#include <isl_union_map_private.h>
#include <isl_constraint_private.h>
#include <isl_polynomial_private.h>
#include <isl_point_private.h>
#include <isl_space_private.h>
#include <isl_mat_private.h>
#include <isl_vec_private.h>
#include <isl_range.h>
#include <isl_local.h>
#include <isl_local_space_private.h>
#include <isl_aff_private.h>
#include <isl_val_private.h>
#include <isl_config.h>
#include <isl_list_templ.c>
#include "isl_type_has_equal_space_bin_templ.c"
#include "isl_type_check_equal_space_templ.c"
#include "check_type_range_templ.c"
#include <isl_pw_templ.c>
#include <isl_pw_un_op_templ.c>
#include <isl_pw_add_disjoint_templ.c>
#include <isl_pw_eval.c>
#include <isl_pw_fix_templ.c>
#include <isl_pw_from_range_templ.c>
#include <isl_pw_insert_dims_templ.c>
#include <isl_pw_lift_templ.c>
#include <isl_pw_morph_templ.c>
#include <isl_pw_move_dims_templ.c>
#include <isl_pw_neg_templ.c>
#include <isl_pw_opt_templ.c>
#include <isl_pw_split_dims_templ.c>
#include <isl_pw_sub_templ.c>
#include <isl_union_single.c>
#include <isl_union_eval.c>
#include <isl_union_neg.c>
#include <isl_union_sub_templ.c>

Go to the source code of this file.

Classes
struct	isl_div_sort_info
struct	isl_opt_data
struct	isl_split_periods_data
struct	isl_multiplicative_call_data_pw_qpolynomial
struct	isl_to_poly_data

Macros
#define	EL_BASE   qpolynomial
#define	EL_BASE   pw_qpolynomial
#define	TYPE   isl_qpolynomial
#define	PEEK_SPACE   peek_domain_space
#define	TYPE   isl_qpolynomial
#define	isl_qpolynomial_involves_nan   isl_qpolynomial_is_nan
#define	PW   isl_pw_qpolynomial
#define	BASE   qpolynomial
#define	EL_IS_ZERO   is_zero
#define	ZERO   zero
#define	IS_ZERO   is_zero
#define	FIELD   qp
#define	DEFAULT_IS_ZERO   1
#define	BASE   pw_qpolynomial
#define	TYPE   isl_term

Functions
static unsigned	pos (__isl_keep isl_space *space, enum isl_dim_type type)
isl_bool	isl_poly_is_cst (__isl_keep isl_poly *poly)
__isl_keep isl_poly_cst *	isl_poly_as_cst (__isl_keep isl_poly *poly)
__isl_keep isl_poly_rec *	isl_poly_as_rec (__isl_keep isl_poly *poly)
static int	isl_poly_plain_cmp (__isl_keep isl_poly *poly1, __isl_keep isl_poly *poly2)
isl_bool	isl_poly_is_equal (__isl_keep isl_poly *poly1, __isl_keep isl_poly *poly2)
isl_bool	isl_poly_is_zero (__isl_keep isl_poly *poly)
int	isl_poly_sgn (__isl_keep isl_poly *poly)
isl_bool	isl_poly_is_nan (__isl_keep isl_poly *poly)
isl_bool	isl_poly_is_infty (__isl_keep isl_poly *poly)
isl_bool	isl_poly_is_neginfty (__isl_keep isl_poly *poly)
isl_bool	isl_poly_is_one (__isl_keep isl_poly *poly)
isl_bool	isl_poly_is_negone (__isl_keep isl_poly *poly)
__isl_give isl_poly_cst *	isl_poly_cst_alloc (isl_ctx *ctx)
__isl_give isl_poly *	isl_poly_zero (isl_ctx *ctx)
__isl_give isl_poly *	isl_poly_one (isl_ctx *ctx)
__isl_give isl_poly *	isl_poly_infty (isl_ctx *ctx)
__isl_give isl_poly *	isl_poly_neginfty (isl_ctx *ctx)
__isl_give isl_poly *	isl_poly_nan (isl_ctx *ctx)
__isl_give isl_poly *	isl_poly_rat_cst (isl_ctx *ctx, isl_int n, isl_int d)
__isl_give isl_poly_rec *	isl_poly_alloc_rec (isl_ctx *ctx, int var, int size)
__isl_give isl_qpolynomial *	isl_qpolynomial_reset_domain_space (__isl_take isl_qpolynomial *qp, __isl_take isl_space *space)
__isl_give isl_qpolynomial *	isl_qpolynomial_reset_space_and_domain (__isl_take isl_qpolynomial *qp, __isl_take isl_space *space, __isl_take isl_space *domain)
isl_ctx *	isl_qpolynomial_get_ctx (__isl_keep isl_qpolynomial *qp)
static __isl_keep isl_space *	isl_qpolynomial_peek_domain_space (__isl_keep isl_qpolynomial *qp)
__isl_give isl_space *	isl_qpolynomial_get_domain_space (__isl_keep isl_qpolynomial *qp)
static static static __isl_give isl_local_space *	isl_qpolynomial_get_domain_local_space (__isl_keep isl_qpolynomial *qp)
__isl_give isl_space *	isl_qpolynomial_get_space (__isl_keep isl_qpolynomial *qp)
isl_size	isl_qpolynomial_domain_dim (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type)
static enum isl_dim_type	domain_type (enum isl_dim_type type)
isl_size	isl_qpolynomial_dim (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type)
static isl_size	isl_qpolynomial_domain_var_offset (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type)
unsigned	isl_qpolynomial_domain_offset (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type)
isl_bool	isl_qpolynomial_is_zero (__isl_keep isl_qpolynomial *qp)
isl_bool	isl_qpolynomial_is_one (__isl_keep isl_qpolynomial *qp)
isl_bool	isl_qpolynomial_is_nan (__isl_keep isl_qpolynomial *qp)
isl_bool	isl_qpolynomial_is_infty (__isl_keep isl_qpolynomial *qp)
isl_bool	isl_qpolynomial_is_neginfty (__isl_keep isl_qpolynomial *qp)
int	isl_qpolynomial_sgn (__isl_keep isl_qpolynomial *qp)
static void	poly_free_cst (__isl_take isl_poly_cst *cst)
static void	poly_free_rec (__isl_take isl_poly_rec *rec)
__isl_give isl_poly *	isl_poly_copy (__isl_keep isl_poly *poly)
__isl_give isl_poly *	isl_poly_dup_cst (__isl_keep isl_poly *poly)
__isl_give isl_poly *	isl_poly_dup_rec (__isl_keep isl_poly *poly)
__isl_give isl_poly *	isl_poly_dup (__isl_keep isl_poly *poly)
__isl_give isl_poly *	isl_poly_cow (__isl_take isl_poly *poly)
__isl_null isl_poly *	isl_poly_free (__isl_take isl_poly *poly)
static void	isl_poly_cst_reduce (__isl_keep isl_poly_cst *cst)
__isl_give isl_poly *	isl_poly_sum_cst (__isl_take isl_poly *poly1, __isl_take isl_poly *poly2)
static __isl_give isl_poly *	replace_by_zero (__isl_take isl_poly *poly)
static __isl_give isl_poly *	replace_by_constant_term (__isl_take isl_poly *poly)
__isl_give isl_poly *	isl_poly_sum (__isl_take isl_poly *poly1, __isl_take isl_poly *poly2)
__isl_give isl_poly *	isl_poly_cst_add_isl_int (__isl_take isl_poly *poly, isl_int v)
__isl_give isl_poly *	isl_poly_add_isl_int (__isl_take isl_poly *poly, isl_int v)
__isl_give isl_poly *	isl_poly_cst_mul_isl_int (__isl_take isl_poly *poly, isl_int v)
__isl_give isl_poly *	isl_poly_mul_isl_int (__isl_take isl_poly *poly, isl_int v)
static __isl_give isl_poly *	isl_poly_cst_scale_val (__isl_take isl_poly *poly, __isl_keep isl_val *v)
static __isl_give isl_poly *	isl_poly_scale_val (__isl_take isl_poly *poly, __isl_keep isl_val *v)
__isl_give isl_poly *	isl_poly_mul_cst (__isl_take isl_poly *poly1, __isl_take isl_poly *poly2)
__isl_give isl_poly *	isl_poly_mul_rec (__isl_take isl_poly *poly1, __isl_take isl_poly *poly2)
__isl_give isl_poly *	isl_poly_mul (__isl_take isl_poly *poly1, __isl_take isl_poly *poly2)
__isl_give isl_poly *	isl_poly_pow (__isl_take isl_poly *poly, unsigned power)
__isl_give isl_qpolynomial *	isl_qpolynomial_alloc (__isl_take isl_space *space, unsigned n_div, __isl_take isl_poly *poly)
__isl_give isl_qpolynomial *	isl_qpolynomial_copy (__isl_keep isl_qpolynomial *qp)
__isl_give isl_qpolynomial *	isl_qpolynomial_dup (__isl_keep isl_qpolynomial *qp)
__isl_give isl_qpolynomial *	isl_qpolynomial_cow (__isl_take isl_qpolynomial *qp)
__isl_null isl_qpolynomial *	isl_qpolynomial_free (__isl_take isl_qpolynomial *qp)
__isl_give isl_poly *	isl_poly_var_pow (isl_ctx *ctx, int pos, int power)
static __isl_give isl_poly *	reorder (__isl_take isl_poly *poly, int *r)
static isl_bool	compatible_divs (__isl_keep isl_mat *div1, __isl_keep isl_mat *div2)
static int	cmp_row (__isl_keep isl_mat *div, int i, int j)
static int	div_sort_cmp (const void *p1, const void *p2)
static __isl_give isl_qpolynomial *	sort_divs (__isl_take isl_qpolynomial *qp)
static __isl_give isl_poly *	expand (__isl_take isl_poly *poly, int *exp, int first)
static __isl_give isl_qpolynomial *	with_merged_divs (__isl_give isl_qpolynomial *(*fn)(__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2), __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomial *	isl_qpolynomial_add (__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomial *	isl_qpolynomial_add_on_domain (__isl_keep isl_set *dom, __isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomial *	isl_qpolynomial_sub (__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomial *	isl_qpolynomial_add_isl_int (__isl_take isl_qpolynomial *qp, isl_int v)
__isl_give isl_qpolynomial *	isl_qpolynomial_neg (__isl_take isl_qpolynomial *qp)
__isl_give isl_qpolynomial *	isl_qpolynomial_mul_isl_int (__isl_take isl_qpolynomial *qp, isl_int v)
__isl_give isl_qpolynomial *	isl_qpolynomial_scale (__isl_take isl_qpolynomial *qp, isl_int v)
__isl_give isl_qpolynomial *	isl_qpolynomial_scale_val (__isl_take isl_qpolynomial *qp, __isl_take isl_val *v)
__isl_give isl_qpolynomial *	isl_qpolynomial_scale_down_val (__isl_take isl_qpolynomial *qp, __isl_take isl_val *v)
__isl_give isl_qpolynomial *	isl_qpolynomial_mul (__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2)
__isl_give isl_qpolynomial *	isl_qpolynomial_pow (__isl_take isl_qpolynomial *qp, unsigned power)
__isl_give isl_pw_qpolynomial *	isl_pw_qpolynomial_pow (__isl_take isl_pw_qpolynomial *pwqp, unsigned power)
__isl_give isl_qpolynomial *	isl_qpolynomial_zero_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomial *	isl_qpolynomial_one_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomial *	isl_qpolynomial_infty_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomial *	isl_qpolynomial_neginfty_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomial *	isl_qpolynomial_nan_on_domain (__isl_take isl_space *domain)
__isl_give isl_qpolynomial *	isl_qpolynomial_cst_on_domain (__isl_take isl_space *domain, isl_int v)
isl_bool	isl_qpolynomial_is_cst (__isl_keep isl_qpolynomial *qp, isl_int *n, isl_int *d)
static __isl_give isl_val *	isl_poly_get_constant_val (__isl_keep isl_poly *poly)
__isl_give isl_val *	isl_qpolynomial_get_constant_val (__isl_keep isl_qpolynomial *qp)
isl_bool	isl_poly_is_affine (__isl_keep isl_poly *poly)
isl_bool	isl_qpolynomial_is_affine (__isl_keep isl_qpolynomial *qp)
static void	update_coeff (__isl_keep isl_vec *aff, __isl_keep isl_poly_cst *cst, int pos)
int	isl_poly_update_affine (__isl_keep isl_poly *poly, __isl_keep isl_vec *aff)
__isl_give isl_vec *	isl_qpolynomial_extract_affine (__isl_keep isl_qpolynomial *qp)
int	isl_qpolynomial_plain_cmp (__isl_keep isl_qpolynomial *qp1, __isl_keep isl_qpolynomial *qp2)
isl_bool	isl_qpolynomial_plain_is_equal (__isl_keep isl_qpolynomial *qp1, __isl_keep isl_qpolynomial *qp2)
static isl_stat	poly_update_den (__isl_keep isl_poly *poly, isl_int *d)
__isl_give isl_val *	isl_qpolynomial_get_den (__isl_keep isl_qpolynomial *qp)
__isl_give isl_qpolynomial *	isl_qpolynomial_var_pow_on_domain (__isl_take isl_space *domain, int pos, int power)
__isl_give isl_qpolynomial *	isl_qpolynomial_var_on_domain (__isl_take isl_space *domain, enum isl_dim_type type, unsigned pos)
__isl_give isl_poly *	isl_poly_subs (__isl_take isl_poly *poly, unsigned first, unsigned n, __isl_keep isl_poly **subs)
__isl_give isl_poly *	isl_poly_from_affine (isl_ctx *ctx, isl_int *f, isl_int denom, unsigned len)
static void	normalize_div (__isl_keep isl_qpolynomial *qp, int div)
static __isl_give isl_qpolynomial *	substitute_div (__isl_take isl_qpolynomial *qp, int div, __isl_take isl_poly *s)
static __isl_give isl_qpolynomial *	substitute_non_divs (__isl_take isl_qpolynomial *qp)
static void	reduce_div (__isl_keep isl_qpolynomial *qp, int div, __isl_keep isl_mat **mat)
static int	needs_invert (__isl_keep isl_mat *div, int row)
static void	invert_div (__isl_keep isl_qpolynomial *qp, int div, __isl_keep isl_mat **mat)
static __isl_give isl_qpolynomial *	reduce_divs (__isl_take isl_qpolynomial *qp)
__isl_give isl_qpolynomial *	isl_qpolynomial_rat_cst_on_domain (__isl_take isl_space *domain, const isl_int n, const isl_int d)
__isl_give isl_qpolynomial *	isl_qpolynomial_val_on_domain (__isl_take isl_space *domain, __isl_take isl_val *val)
static isl_stat	poly_set_active (__isl_keep isl_poly *poly, int *active, int d)
static isl_stat	set_active (__isl_keep isl_qpolynomial *qp, int *active)
static isl_bool	isl_qpolynomial_involves_dims (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n)
static __isl_give isl_qpolynomial *	remove_redundant_divs (__isl_take isl_qpolynomial *qp)
__isl_give isl_poly *	isl_poly_drop (__isl_take isl_poly *poly, unsigned first, unsigned n)
__isl_give isl_qpolynomial *	isl_qpolynomial_set_dim_name (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned pos, const char *s)
__isl_give isl_qpolynomial *	isl_qpolynomial_drop_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_qpolynomial *	isl_qpolynomial_project_domain_on_params (__isl_take isl_qpolynomial *qp)
static __isl_give isl_qpolynomial *	isl_qpolynomial_substitute_equalities_lifted (__isl_take isl_qpolynomial *qp, __isl_take isl_basic_set *eq)
__isl_give isl_qpolynomial *	isl_qpolynomial_substitute_equalities (__isl_take isl_qpolynomial *qp, __isl_take isl_basic_set *eq)
__isl_give isl_qpolynomial *	isl_qpolynomial_gist (__isl_take isl_qpolynomial *qp, __isl_take isl_set *context)
__isl_give isl_qpolynomial *	isl_qpolynomial_gist_params (__isl_take isl_qpolynomial *qp, __isl_take isl_set *context)
static __isl_give isl_qpolynomial *	isl_qpolynomial_zero_in_space (__isl_take isl_space *space)
int	isl_pw_qpolynomial_is_one (__isl_keep isl_pw_qpolynomial *pwqp)
__isl_give isl_pw_qpolynomial *	isl_pw_qpolynomial_add (__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp2)
__isl_give isl_pw_qpolynomial *	isl_pw_qpolynomial_mul (__isl_take isl_pw_qpolynomial *pwqp1, __isl_take isl_pw_qpolynomial *pwqp2)
__isl_give isl_val *	isl_poly_eval (__isl_take isl_poly *poly, __isl_take isl_vec *vec)
static __isl_give isl_val *	eval_void (__isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt)
__isl_give isl_val *	isl_qpolynomial_eval (__isl_take isl_qpolynomial *qp, __isl_take isl_point *pnt)
int	isl_poly_cmp (__isl_keep isl_poly_cst *cst1, __isl_keep isl_poly_cst *cst2)
__isl_give isl_qpolynomial *	isl_qpolynomial_insert_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n)
__isl_give isl_qpolynomial *	isl_qpolynomial_add_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned n)
static int *	reordering_move (isl_ctx *ctx, unsigned len, unsigned dst, unsigned src, unsigned n)
__isl_give isl_qpolynomial *	isl_qpolynomial_move_dims (__isl_take isl_qpolynomial *qp, enum isl_dim_type dst_type, unsigned dst_pos, enum isl_dim_type src_type, unsigned src_pos, unsigned n)
__isl_give isl_qpolynomial *	isl_qpolynomial_from_affine (__isl_take isl_space *space, isl_int *f, isl_int denom)
__isl_give isl_qpolynomial *	isl_qpolynomial_from_aff (__isl_take isl_aff *aff)
__isl_give isl_pw_qpolynomial *	isl_pw_qpolynomial_from_pw_aff (__isl_take isl_pw_aff *pwaff)
__isl_give isl_qpolynomial *	isl_qpolynomial_from_constraint (__isl_take isl_constraint *c, enum isl_dim_type type, unsigned pos)
__isl_give isl_qpolynomial *	isl_qpolynomial_substitute (__isl_take isl_qpolynomial *qp, enum isl_dim_type type, unsigned first, unsigned n, __isl_keep isl_qpolynomial **subs)
isl_stat	isl_qpolynomial_as_polynomial_on_domain (__isl_keep isl_qpolynomial *qp, __isl_keep isl_basic_set *bset, isl_stat(*fn)(__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user), void *user)
int	isl_poly_degree (__isl_keep isl_poly *poly, int first, int last)
int	isl_qpolynomial_degree (__isl_keep isl_qpolynomial *poly)
__isl_give isl_poly *	isl_poly_coeff (__isl_keep isl_poly *poly, unsigned pos, int deg)
__isl_give isl_qpolynomial *	isl_qpolynomial_coeff (__isl_keep isl_qpolynomial *qp, enum isl_dim_type type, unsigned t_pos, int deg)
__isl_give isl_poly *	isl_poly_homogenize (__isl_take isl_poly *poly, int deg, int target, int first, int last)
__isl_give isl_qpolynomial *	isl_qpolynomial_homogenize (__isl_take isl_qpolynomial *poly)
__isl_give isl_term *	isl_term_alloc (__isl_take isl_space *space, __isl_take isl_mat *div)
__isl_give isl_term *	isl_term_copy (__isl_keep isl_term *term)
__isl_give isl_term *	isl_term_dup (__isl_keep isl_term *term)
__isl_give isl_term *	isl_term_cow (__isl_take isl_term *term)
__isl_null isl_term *	isl_term_free (__isl_take isl_term *term)
isl_size	isl_term_dim (__isl_keep isl_term *term, enum isl_dim_type type)
static __isl_keep isl_space *	isl_term_peek_space (__isl_keep isl_term *term)
static isl_size	isl_term_offset (__isl_keep isl_term *term, enum isl_dim_type type)
isl_ctx *	isl_term_get_ctx (__isl_keep isl_term *term)
void	isl_term_get_num (__isl_keep isl_term *term, isl_int *n)
__isl_give isl_val *	isl_term_get_coefficient_val (__isl_keep isl_term *term)
static isl_size	isl_term_get_exp (__isl_keep isl_term *term, enum isl_dim_type type, unsigned pos)
__isl_give isl_aff *	isl_term_get_div (__isl_keep isl_term *term, unsigned pos)
__isl_give isl_term *	isl_poly_foreach_term (__isl_keep isl_poly *poly, isl_stat(*fn)(__isl_take isl_term *term, void *user), __isl_take isl_term *term, void *user)
isl_stat	isl_qpolynomial_foreach_term (__isl_keep isl_qpolynomial *qp, isl_stat(*fn)(__isl_take isl_term *term, void *user), void *user)
__isl_give isl_qpolynomial *	isl_qpolynomial_from_term (__isl_take isl_term *term)
__isl_give isl_qpolynomial *	isl_qpolynomial_lift (__isl_take isl_qpolynomial *qp, __isl_take isl_space *space)
static __isl_give isl_set *	fix_inactive (__isl_take isl_set *set, __isl_keep isl_qpolynomial *qp)
static isl_stat	opt_fn (__isl_take isl_point *pnt, void *user)
__isl_give isl_val *	isl_qpolynomial_opt_on_domain (__isl_take isl_qpolynomial *qp, __isl_take isl_set *set, int max)
__isl_give isl_qpolynomial *	isl_qpolynomial_morph_domain (__isl_take isl_qpolynomial *qp, __isl_take isl_morph *morph)
__isl_give isl_union_pw_qpolynomial *	isl_union_pw_qpolynomial_mul (__isl_take isl_union_pw_qpolynomial *upwqp1, __isl_take isl_union_pw_qpolynomial *upwqp2)
__isl_give isl_qpolynomial *	isl_qpolynomial_realign_domain (__isl_take isl_qpolynomial *qp, __isl_take isl_reordering *r)
__isl_give isl_qpolynomial *	isl_qpolynomial_align_params (__isl_take isl_qpolynomial *qp, __isl_take isl_space *model)
static __isl_give isl_set *	set_div_slice (__isl_take isl_space *space, __isl_keep isl_qpolynomial *qp, int div, isl_int v)
static isl_stat	split_periods (__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, void *user)
static isl_stat	set_div (__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, int div, isl_int v, struct isl_split_periods_data *data)
static isl_stat	split_div (__isl_take isl_set *set, __isl_take isl_qpolynomial *qp, int div, isl_int min, isl_int max, struct isl_split_periods_data *data)
__isl_give isl_pw_qpolynomial *	isl_pw_qpolynomial_split_periods (__isl_take isl_pw_qpolynomial *pwqp, int max_periods)
static __isl_give isl_pw_qpolynomial *	constant_on_domain (__isl_take isl_basic_set *bset, int cst)
static __isl_give isl_pw_qpolynomial *	multiplicative_call_base (__isl_take isl_basic_set *bset, __isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset))
static isl_bool	multiplicative_call_factor_pw_qpolynomial (__isl_keep isl_basic_set *bset, void *user)
static __isl_give isl_pw_qpolynomial *	compressed_multiplicative_call (__isl_take isl_basic_set *bset, __isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset))
__isl_give isl_pw_qpolynomial *	isl_basic_set_multiplicative_call (__isl_take isl_basic_set *bset, __isl_give isl_pw_qpolynomial *(*fn)(__isl_take isl_basic_set *bset))
static __isl_give isl_qpolynomial *	qp_drop_floors (__isl_take isl_qpolynomial *qp, int down)
static __isl_give isl_pw_qpolynomial *	pwqp_drop_floors (__isl_take isl_pw_qpolynomial *pwqp)
static __isl_give isl_qpolynomial *	make_divs_pos (__isl_take isl_qpolynomial *qp, int *signs)
static isl_stat	to_polynomial_on_orthant (__isl_take isl_set *orthant, int *signs, void *user)
__isl_give isl_pw_qpolynomial *	isl_pw_qpolynomial_to_polynomial (__isl_take isl_pw_qpolynomial *pwqp, int sign)
static __isl_give isl_pw_qpolynomial *	poly_entry (__isl_take isl_pw_qpolynomial *pwqp, void *user)
__isl_give isl_union_pw_qpolynomial *	isl_union_pw_qpolynomial_to_polynomial (__isl_take isl_union_pw_qpolynomial *upwqp, int sign)
__isl_give isl_basic_map *	isl_basic_map_from_qpolynomial (__isl_take isl_qpolynomial *qp)

Macro Definition Documentation

BASE [1/2]

#define BASE   qpolynomial

Definition at line 3098 of file isl_polynomial.c.

BASE [2/2]

#define BASE   pw_qpolynomial

Definition at line 3098 of file isl_polynomial.c.

DEFAULT_IS_ZERO

#define DEFAULT_IS_ZERO   1

Definition at line 3108 of file isl_polynomial.c.

EL_BASE [1/2]

#define EL_BASE   qpolynomial

Definition at line 32 of file isl_polynomial.c.

EL_BASE [2/2]

#define EL_BASE   pw_qpolynomial

Definition at line 32 of file isl_polynomial.c.

EL_IS_ZERO

#define EL_IS_ZERO   is_zero

Definition at line 3100 of file isl_polynomial.c.

FIELD

#define FIELD   qp

Definition at line 3106 of file isl_polynomial.c.

IS_ZERO

#define IS_ZERO   is_zero

Definition at line 3104 of file isl_polynomial.c.

isl_qpolynomial_involves_nan

#define isl_qpolynomial_involves_nan   isl_qpolynomial_is_nan

Definition at line 3093 of file isl_polynomial.c.

PEEK_SPACE

#define PEEK_SPACE   peek_domain_space

Definition at line 468 of file isl_polynomial.c.

Referenced by FN().

PW

#define PW   isl_pw_qpolynomial

Definition at line 3096 of file isl_polynomial.c.

TYPE [1/3]

#define TYPE   isl_qpolynomial

Definition at line 466 of file isl_polynomial.c.

TYPE [2/3]

#define TYPE   isl_qpolynomial

Definition at line 466 of file isl_polynomial.c.

TYPE [3/3]

#define TYPE   isl_term

Definition at line 466 of file isl_polynomial.c.

ZERO

#define ZERO   zero

Definition at line 3102 of file isl_polynomial.c.

Function Documentation

cmp_row()

int cmp_row ( __isl_keep isl_mat * div, int i, int j )

static

Definition at line 1469 of file isl_polynomial.c.

References __isl_keep, isl_qpolynomial::div, isl_seq_cmp(), isl_seq_last_non_zero(), isl_mat::n_col, and isl_mat::row.

Referenced by div_sort_cmp().

compatible_divs()

isl_bool compatible_divs ( __isl_keep isl_mat * div1, __isl_keep isl_mat * div2 )

static

Definition at line 1443 of file isl_polynomial.c.

References __isl_keep, equal, isl_assert, isl_bool_error, and isl_mat_is_equal().

Referenced by isl_qpolynomial_add(), and isl_qpolynomial_mul().

compressed_multiplicative_call()

__isl_give isl_pw_qpolynomial * compressed_multiplicative_call ( __isl_take isl_basic_set * bset, __isl_give isl_pw_qpolynomial *(* fn )(__isl_take isl_basic_set *bset) )

static

Definition at line 4831 of file isl_polynomial.c.

References __isl_give, __isl_take, f, fn, isl_basic_set, isl_basic_set_factorizer(), isl_basic_set_free(), isl_basic_set_get_space(), isl_factorizer_every_factor_basic_set(), isl_factorizer_free(), isl_pw_qpolynomial_alloc(), isl_pw_qpolynomial_free(), isl_qpolynomial_one_on_domain(), isl_set, isl_set_universe(), isl_space_copy(), isl_space_params(), multiplicative_call_base(), multiplicative_call_factor_pw_qpolynomial(), isl_multiplicative_call_data_pw_qpolynomial::pwqp, and set.

Referenced by isl_basic_set_multiplicative_call().

constant_on_domain()

__isl_give isl_pw_qpolynomial * constant_on_domain ( __isl_take isl_basic_set * bset, int cst )

static

Definition at line 4748 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_get_space(), isl_basic_set_is_empty(), isl_basic_set_params(), isl_bool_true, isl_pw_qpolynomial_alloc(), isl_qpolynomial_infty_on_domain(), isl_qpolynomial_one_on_domain(), isl_qpolynomial_zero_on_domain(), and isl_set_from_basic_set().

Referenced by isl_basic_set_multiplicative_call().

div_sort_cmp()

int div_sort_cmp ( const void * p1, const void * p2 )

static

Definition at line 1487 of file isl_polynomial.c.

References cmp_row(), isl_div_sort_info::div, and isl_div_sort_info::row.

Referenced by sort_divs().

domain_type()

enum isl_dim_type domain_type ( enum isl_dim_type type )

static

Definition at line 535 of file isl_polynomial.c.

References isl_dim_in, isl_dim_set, and type.

Referenced by isl_qpolynomial_coeff(), isl_qpolynomial_dim(), isl_qpolynomial_drop_dims(), isl_qpolynomial_insert_dims(), isl_qpolynomial_involves_dims(), isl_qpolynomial_set_dim_name(), and isl_qpolynomial_substitute().

eval_void()

__isl_give isl_val * eval_void ( __isl_take isl_qpolynomial * qp, __isl_take isl_point * pnt )

static

Definition at line 3269 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_point_free(), isl_point_get_ctx(), isl_qpolynomial_free(), and isl_val_nan().

Referenced by isl_qpolynomial_eval().

expand()

__isl_give isl_poly * expand ( __isl_take isl_poly * poly, int * exp, int first )

static

Definition at line 1584 of file isl_polynomial.c.

References __isl_give, __isl_take, expand(), isl_poly_as_rec(), isl_poly_cow(), isl_poly_free(), isl_poly_is_cst(), isl_poly_rec::n, isl_poly_rec::p, and poly.

Referenced by expand(), isl_qpolynomial_insert_dims(), isl_qpolynomial_lift(), isl_schedule_node_expand(), and with_merged_divs().

fix_inactive()

__isl_give isl_set * fix_inactive ( __isl_take isl_set * set, __isl_keep isl_qpolynomial * qp )

static

Definition at line 4277 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, isl_calloc_array, isl_dim_all, isl_dim_param, isl_dim_set, isl_set, isl_set_dim(), isl_set_eliminate(), isl_set_fix_si(), isl_set_free(), set, and set_active().

Referenced by isl_qpolynomial_opt_on_domain().

invert_div()

void invert_div ( __isl_keep isl_qpolynomial * qp, int div, __isl_keep isl_mat ** mat )

static

Definition at line 2530 of file isl_polynomial.c.

References __isl_keep, isl_int_add, isl_int_sub_ui, isl_mat_col_mul(), isl_mat_col_neg(), isl_seq_neg(), and total().

Referenced by reduce_divs().

isl_basic_map_from_qpolynomial()

__isl_give isl_basic_map * isl_basic_map_from_qpolynomial

(

__isl_take isl_qpolynomial *

qp

)

Definition at line 5180 of file isl_polynomial.c.

References __isl_give, __isl_take, aff, isl_space::ctx, isl_qpolynomial::dim, isl_basic_map::div, isl_qpolynomial::div, isl_basic_map::eq, isl_basic_map_add_div_constraints(), isl_basic_map_alloc_div(), isl_basic_map_alloc_equality(), isl_basic_map_alloc_space(), isl_basic_map_finalize(), isl_basic_map_free(), isl_die, isl_dim_out, isl_error_invalid, isl_int_neg, isl_int_set_si, isl_poly_is_affine(), isl_qpolynomial_extract_affine(), isl_qpolynomial_free(), isl_qpolynomial_get_space(), isl_seq_cpy(), isl_space_offset(), isl_vec_free(), isl_mat::n_col, isl_mat::n_row, isl_qpolynomial::poly, pos(), isl_to_poly_data::qp, and isl_mat::row.

isl_basic_set_multiplicative_call()

__isl_give isl_pw_qpolynomial * isl_basic_set_multiplicative_call	(	__isl_take isl_basic_set *	bset,
		__isl_give isl_pw_qpolynomial *(*	fn )(__isl_take isl_basic_set *bset) )

Definition at line 4878 of file isl_polynomial.c.

References __isl_give, __isl_take, compressed_multiplicative_call(), constant_on_domain(), fn, isl_basic_set, isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_full_compression(), isl_basic_set_is_bounded(), isl_basic_set_plain_is_empty(), isl_dim_set, isl_morph_basic_set(), isl_morph_copy(), isl_morph_dom_params(), isl_morph_inverse(), isl_morph_ran_params(), isl_pw_qpolynomial_morph_domain(), and pwqp.

Referenced by multiplicative_call_base().

isl_poly_add_isl_int()

__isl_give isl_poly * isl_poly_add_isl_int	(	__isl_take isl_poly *	poly,
		isl_int	v )

Definition at line 944 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, isl_poly_add_isl_int(), isl_poly_as_rec(), isl_poly_cow(), isl_poly_cst_add_isl_int(), isl_poly_free(), isl_poly_is_cst(), isl_poly_rec::p, and poly.

Referenced by isl_poly_add_isl_int(), and isl_qpolynomial_add_isl_int().

isl_poly_alloc_rec()

__isl_give isl_poly_rec * isl_poly_alloc_rec	(	isl_ctx *	ctx,
		int	var,
		int	size )

Definition at line 392 of file isl_polynomial.c.

References __isl_give, isl_poly::ctx, isl_assert, isl_calloc, isl_ctx_ref(), isl_poly_rec::n, isl_poly_rec::poly, isl_poly::ref, isl_poly_rec::size, size, isl_poly::var, and var().

Referenced by isl_poly_dup_rec(), isl_poly_mul_rec(), and isl_poly_var_pow().

isl_poly_as_cst()

__isl_keep isl_poly_cst * isl_poly_as_cst

(

__isl_keep isl_poly *

poly

)

Definition at line 59 of file isl_polynomial.c.

References __isl_keep, isl_assert, and poly.

Referenced by isl_poly_cst_add_isl_int(), isl_poly_cst_mul_isl_int(), isl_poly_cst_scale_val(), isl_poly_dup_cst(), isl_poly_foreach_term(), isl_poly_get_constant_val(), isl_poly_is_equal(), isl_poly_is_infty(), isl_poly_is_nan(), isl_poly_is_neginfty(), isl_poly_is_negone(), isl_poly_is_one(), isl_poly_is_zero(), isl_poly_mul_cst(), isl_poly_plain_cmp(), isl_poly_sgn(), isl_poly_sum_cst(), isl_poly_update_affine(), isl_poly_var_pow(), isl_qpolynomial_cst_on_domain(), isl_qpolynomial_cst_sign(), isl_qpolynomial_is_cst(), isl_qpolynomial_rat_cst_on_domain(), isl_qpolynomial_val_on_domain(), poly_print_cst(), and poly_update_den().

isl_poly_as_rec()

__isl_keep isl_poly_rec * isl_poly_as_rec

(

__isl_keep isl_poly *

poly

)

Definition at line 69 of file isl_polynomial.c.

References __isl_keep, isl_assert, and poly.

Referenced by expand(), isl_poly_add_isl_int(), isl_poly_coeff(), isl_poly_degree(), isl_poly_drop(), isl_poly_dup_rec(), isl_poly_eval(), isl_poly_foreach_term(), isl_poly_get_constant_val(), isl_poly_homogenize(), isl_poly_is_affine(), isl_poly_is_equal(), isl_poly_mul(), isl_poly_mul_isl_int(), isl_poly_mul_rec(), isl_poly_plain_cmp(), isl_poly_scale_val(), isl_poly_subs(), isl_poly_sum(), isl_poly_update_affine(), isl_qpolynomial_sign(), poly_print(), poly_set_active(), poly_update_den(), reorder(), and replace_by_constant_term().

isl_poly_cmp()

int isl_poly_cmp	(	__isl_keep isl_poly_cst *	cst1,
		__isl_keep isl_poly_cst *	cst2 )

Definition at line 3310 of file isl_polynomial.c.

References __isl_keep, cmp(), isl_int_clear, isl_int_init, isl_int_mul, isl_int_sgn, isl_int_submul, and t.

isl_poly_coeff()

__isl_give isl_poly * isl_poly_coeff	(	__isl_keep isl_poly *	poly,
		unsigned	pos,
		int	deg )

Definition at line 3717 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_poly_as_rec(), isl_poly_coeff(), isl_poly_copy(), isl_poly_cow(), isl_poly_free(), isl_poly_is_cst(), isl_poly_zero(), isl_poly_rec::n, n, isl_poly_rec::p, poly, pos(), and t.

Referenced by isl_poly_coeff(), and isl_qpolynomial_coeff().

isl_poly_copy()

__isl_give isl_poly * isl_poly_copy

(

__isl_keep isl_poly *

poly

)

Definition at line 639 of file isl_polynomial.c.

References __isl_give, __isl_keep, and poly.

Referenced by isl_poly_coeff(), isl_poly_dup_rec(), isl_poly_eval(), isl_poly_mul(), isl_poly_mul_rec(), isl_poly_pow(), isl_poly_subs(), isl_poly_sum(), isl_qpolynomial_add(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_dup(), isl_qpolynomial_eval(), isl_qpolynomial_mul(), isl_qpolynomial_sign(), reorder(), and replace_by_constant_term().

isl_poly_cow()

__isl_give isl_poly * isl_poly_cow

(

__isl_take isl_poly *

poly

)

Definition at line 706 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_dup(), and poly.

Referenced by expand(), isl_poly_add_isl_int(), isl_poly_coeff(), isl_poly_cst_add_isl_int(), isl_poly_cst_mul_isl_int(), isl_poly_cst_scale_val(), isl_poly_drop(), isl_poly_homogenize(), isl_poly_mul(), isl_poly_mul_cst(), isl_poly_mul_isl_int(), isl_poly_scale_val(), isl_poly_sum(), and isl_poly_sum_cst().

isl_poly_cst_add_isl_int()

__isl_give isl_poly * isl_poly_cst_add_isl_int	(	__isl_take isl_poly *	poly,
		isl_int	v )

Definition at line 928 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_int_addmul, isl_poly_as_cst(), isl_poly_cow(), and poly.

Referenced by isl_poly_add_isl_int().

isl_poly_cst_alloc()

__isl_give isl_poly_cst * isl_poly_cst_alloc

(

isl_ctx *

ctx

)

Definition at line 289 of file isl_polynomial.c.

References __isl_give, isl_alloc_type, isl_ctx_ref(), and isl_int_init.

Referenced by isl_poly_infty(), isl_poly_nan(), isl_poly_neginfty(), isl_poly_one(), isl_poly_rat_cst(), and isl_poly_zero().

isl_poly_cst_mul_isl_int()

__isl_give isl_poly * isl_poly_cst_mul_isl_int	(	__isl_take isl_poly *	poly,
		isl_int	v )

Definition at line 970 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_int_mul, isl_poly_as_cst(), isl_poly_cow(), isl_poly_free(), isl_poly_is_zero(), and poly.

Referenced by isl_poly_mul_isl_int().

isl_poly_cst_reduce()

void isl_poly_cst_reduce ( __isl_keep isl_poly_cst * cst )

static

Definition at line 735 of file isl_polynomial.c.

References __isl_keep, gcd(), isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_one, and isl_int_is_zero.

Referenced by isl_poly_cst_scale_val(), isl_poly_mul_cst(), and isl_poly_sum_cst().

isl_poly_cst_scale_val()

__isl_give isl_poly * isl_poly_cst_scale_val ( __isl_take isl_poly * poly, __isl_keep isl_val * v )

static

Definition at line 1024 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, isl_int_mul, isl_poly_as_cst(), isl_poly_cow(), isl_poly_cst_reduce(), isl_poly_free(), isl_poly_is_zero(), and poly.

Referenced by isl_poly_scale_val().

isl_poly_degree()

int isl_poly_degree	(	__isl_keep isl_poly *	poly,
		int	first,
		int	last )

Definition at line 3660 of file isl_polynomial.c.

References __isl_keep, isl_poly_as_rec(), isl_poly_degree(), isl_poly_is_cst(), isl_poly_is_zero(), isl_poly_rec::n, isl_poly_rec::p, and poly.

Referenced by isl_poly_degree(), and isl_qpolynomial_degree().

isl_poly_drop()

__isl_give isl_poly * isl_poly_drop	(	__isl_take isl_poly *	poly,
		unsigned	first,
		unsigned	n )

Definition at line 2843 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_as_rec(), isl_poly_cow(), isl_poly_drop(), isl_poly_free(), isl_poly_rec::n, n, isl_poly_rec::p, poly, and replace_by_constant_term().

Referenced by isl_poly_drop(), and isl_qpolynomial_drop_dims().

isl_poly_dup()

__isl_give isl_poly * isl_poly_dup

(

__isl_keep isl_poly *

poly

)

Definition at line 693 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_poly_dup_cst(), isl_poly_dup_rec(), isl_poly_is_cst(), and poly.

Referenced by isl_poly_cow().

isl_poly_dup_cst()

__isl_give isl_poly * isl_poly_dup_cst

(

__isl_keep isl_poly *

poly

)

Definition at line 648 of file isl_polynomial.c.

References __isl_give, __isl_keep, dup(), isl_int_set, isl_poly_as_cst(), isl_poly_zero(), and poly.

Referenced by isl_poly_dup().

isl_poly_dup_rec()

__isl_give isl_poly * isl_poly_dup_rec

(

__isl_keep isl_poly *

poly

)

Definition at line 666 of file isl_polynomial.c.

References __isl_give, __isl_keep, dup(), isl_poly_alloc_rec(), isl_poly_as_rec(), isl_poly_copy(), isl_poly_free(), isl_poly_rec::n, isl_poly_rec::p, and poly.

Referenced by isl_poly_dup().

isl_poly_eval()

__isl_give isl_val * isl_poly_eval	(	__isl_take isl_poly *	poly,
		__isl_take isl_vec *	vec )

Definition at line 3219 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_assert, isl_poly_as_rec(), isl_poly_copy(), isl_poly_eval(), isl_poly_free(), isl_poly_get_constant_val(), isl_poly_is_cst(), isl_val_add(), isl_val_copy(), isl_val_free(), isl_val_mul(), isl_val_rat_from_isl_int(), isl_vec_copy(), isl_vec_free(), isl_poly_rec::n, isl_poly_rec::p, poly, and res.

Referenced by isl_poly_eval(), and isl_qpolynomial_eval().

isl_poly_foreach_term()

__isl_give isl_term * isl_poly_foreach_term	(	__isl_keep isl_poly *	poly,
		isl_stat(*	fn )(__isl_take isl_term *term, void *user),
		__isl_take isl_term *	term,
		void *	user )

Definition at line 4096 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, fn, isl_die, isl_error_invalid, isl_int_set, isl_poly_as_cst(), isl_poly_as_rec(), isl_poly_foreach_term(), isl_poly_is_cst(), isl_poly_is_infty(), isl_poly_is_nan(), isl_poly_is_neginfty(), isl_poly_is_zero(), isl_term_copy(), isl_term_cow(), isl_term_free(), isl_term_get_ctx(), isl_poly_rec::n, isl_poly_rec::p, poly, and user.

Referenced by isl_poly_foreach_term(), and isl_qpolynomial_foreach_term().

isl_poly_free()

__isl_null isl_poly * isl_poly_free

(

__isl_take isl_poly *

poly

)

Definition at line 717 of file isl_polynomial.c.

References __isl_null, __isl_take, isl_ctx_deref(), poly, poly_free_cst(), and poly_free_rec().

Referenced by expand(), isl_poly_add_isl_int(), isl_poly_coeff(), isl_poly_cst_mul_isl_int(), isl_poly_cst_scale_val(), isl_poly_drop(), isl_poly_dup_rec(), isl_poly_eval(), isl_poly_homogenize(), isl_poly_mul(), isl_poly_mul_cst(), isl_poly_mul_isl_int(), isl_poly_mul_rec(), isl_poly_pow(), isl_poly_scale_val(), isl_poly_subs(), isl_poly_sum(), isl_poly_sum_cst(), isl_poly_var_pow(), isl_qpolynomial_alloc(), isl_qpolynomial_free(), isl_qpolynomial_morph_domain(), isl_qpolynomial_substitute_equalities_lifted(), make_divs_pos(), poly_free_rec(), reduce_divs(), reorder(), replace_by_constant_term(), replace_by_zero(), and substitute_div().

isl_poly_from_affine()

__isl_give isl_poly * isl_poly_from_affine	(	isl_ctx *	ctx,
		isl_int *	f,
		isl_int	denom,
		unsigned	len )

Definition at line 2331 of file isl_polynomial.c.

References __isl_give, f, isl_assert, isl_int_is_zero, isl_poly_mul(), isl_poly_rat_cst(), isl_poly_sum(), isl_poly_var_pow(), poly, and t.

Referenced by isl_qpolynomial_from_aff(), isl_qpolynomial_from_affine(), isl_qpolynomial_morph_domain(), isl_qpolynomial_substitute_equalities_lifted(), make_divs_pos(), qp_drop_floors(), reduce_divs(), and substitute_non_divs().

isl_poly_get_constant_val()

__isl_give isl_val * isl_poly_get_constant_val ( __isl_keep isl_poly * poly )

static

Definition at line 2009 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_bool_false, isl_poly_as_cst(), isl_poly_as_rec(), isl_poly_is_cst(), isl_val_rat_from_isl_int(), isl_poly_rec::p, and poly.

Referenced by isl_poly_eval(), and isl_qpolynomial_get_constant_val().

isl_poly_homogenize()

__isl_give isl_poly * isl_poly_homogenize	(	__isl_take isl_poly *	poly,
		int	deg,
		int	target,
		int	first,
		int	last )

Definition at line 3808 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_as_rec(), isl_poly_cow(), isl_poly_free(), isl_poly_homogenize(), isl_poly_is_cst(), isl_poly_is_zero(), isl_poly_mul(), isl_poly_var_pow(), isl_poly_rec::n, isl_poly_rec::p, and poly.

Referenced by isl_poly_homogenize(), and isl_qpolynomial_homogenize().

isl_poly_infty()

__isl_give isl_poly * isl_poly_infty

(

isl_ctx *

ctx

)

Definition at line 336 of file isl_polynomial.c.

References __isl_give, isl_int_set_si, and isl_poly_cst_alloc().

Referenced by isl_qpolynomial_infty_on_domain().

isl_poly_is_affine()

isl_bool isl_poly_is_affine

(

__isl_keep isl_poly *

poly

)

Definition at line 2045 of file isl_polynomial.c.

References __isl_keep, isl_assert, isl_bool_error, isl_bool_false, isl_bool_true, isl_poly_as_rec(), isl_poly_is_affine(), isl_poly_is_cst(), isl_poly_rec::n, isl_poly_rec::p, and poly.

Referenced by isl_basic_map_from_qpolynomial(), isl_poly_is_affine(), and isl_qpolynomial_is_affine().

isl_poly_is_cst()

isl_bool isl_poly_is_cst

(

__isl_keep isl_poly *

poly

)

Definition at line 51 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_ok(), and poly.

Referenced by expand(), isl_poly_add_isl_int(), isl_poly_coeff(), isl_poly_degree(), isl_poly_dup(), isl_poly_eval(), isl_poly_foreach_term(), isl_poly_get_constant_val(), isl_poly_homogenize(), isl_poly_is_affine(), isl_poly_is_equal(), isl_poly_is_infty(), isl_poly_is_nan(), isl_poly_is_neginfty(), isl_poly_is_negone(), isl_poly_is_one(), isl_poly_is_zero(), isl_poly_mul(), isl_poly_mul_isl_int(), isl_poly_plain_cmp(), isl_poly_scale_val(), isl_poly_sgn(), isl_poly_subs(), isl_poly_sum(), isl_qpolynomial_is_cst(), isl_qpolynomial_opt_on_domain(), poly_print(), poly_set_active(), poly_update_den(), and reorder().

isl_poly_is_equal()

isl_bool isl_poly_is_equal	(	__isl_keep isl_poly *	poly1,
		__isl_keep isl_poly *	poly2 )

Definition at line 132 of file isl_polynomial.c.

References __isl_keep, isl_poly_cst::d, isl_bool_error, isl_bool_false, isl_bool_ok(), isl_bool_true, isl_int_eq, isl_poly_as_cst(), isl_poly_as_rec(), isl_poly_is_cst(), isl_poly_is_equal(), isl_poly_cst::n, isl_poly_rec::n, and isl_poly_rec::p.

Referenced by isl_poly_is_equal(), and isl_qpolynomial_plain_is_equal().

isl_poly_is_infty()

isl_bool isl_poly_is_infty

(

__isl_keep isl_poly *

poly

)

Definition at line 223 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_ok(), isl_int_is_pos, isl_int_is_zero, isl_poly_as_cst(), isl_poly_is_cst(), and poly.

Referenced by isl_poly_foreach_term(), isl_poly_mul(), isl_poly_sum(), and isl_qpolynomial_is_infty().

isl_poly_is_nan()

isl_bool isl_poly_is_nan

(

__isl_keep isl_poly *

poly

)

Definition at line 207 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_ok(), isl_int_is_zero, isl_poly_as_cst(), isl_poly_is_cst(), and poly.

Referenced by isl_poly_foreach_term(), isl_poly_mul(), isl_poly_sum(), and isl_qpolynomial_is_nan().

isl_poly_is_neginfty()

isl_bool isl_poly_is_neginfty

(

__isl_keep isl_poly *

poly

)

Definition at line 239 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_ok(), isl_int_is_neg, isl_int_is_zero, isl_poly_as_cst(), isl_poly_is_cst(), and poly.

Referenced by isl_poly_foreach_term(), isl_poly_mul(), isl_poly_sum(), and isl_qpolynomial_is_neginfty().

isl_poly_is_negone()

isl_bool isl_poly_is_negone

(

__isl_keep isl_poly *

poly

)

Definition at line 273 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_ok(), isl_int_is_negone, isl_int_is_one, isl_poly_as_cst(), isl_poly_is_cst(), and poly.

Referenced by poly_print().

isl_poly_is_one()

isl_bool isl_poly_is_one

(

__isl_keep isl_poly *

poly

)

Definition at line 255 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_ok(), isl_int_eq, isl_int_is_pos, isl_poly_as_cst(), isl_poly_is_cst(), and poly.

Referenced by isl_poly_mul(), isl_qpolynomial_is_one(), and poly_print().

isl_poly_is_zero()

isl_bool isl_poly_is_zero

(

__isl_keep isl_poly *

poly

)

Definition at line 175 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_ok(), isl_int_is_pos, isl_int_is_zero, isl_poly_as_cst(), isl_poly_is_cst(), and poly.

Referenced by isl_poly_cst_mul_isl_int(), isl_poly_cst_scale_val(), isl_poly_degree(), isl_poly_foreach_term(), isl_poly_homogenize(), isl_poly_mul(), isl_poly_sum(), isl_qpolynomial_is_zero(), poly_print(), and poly_rec_n_non_zero().

isl_poly_mul()

__isl_give isl_poly * isl_poly_mul	(	__isl_take isl_poly *	poly1,
		__isl_take isl_poly *	poly2 )

Definition at line 1160 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, isl_poly_as_rec(), isl_poly_copy(), isl_poly_cow(), isl_poly_free(), isl_poly_is_cst(), isl_poly_is_infty(), isl_poly_is_nan(), isl_poly_is_neginfty(), isl_poly_is_one(), isl_poly_is_zero(), isl_poly_mul(), isl_poly_mul_cst(), isl_poly_mul_rec(), isl_poly_nan(), isl_poly_rec::n, and isl_poly_rec::p.

Referenced by isl_poly_from_affine(), isl_poly_homogenize(), isl_poly_mul(), isl_poly_mul_rec(), isl_poly_pow(), isl_poly_subs(), isl_qpolynomial_from_term(), isl_qpolynomial_mul(), and reorder().

isl_poly_mul_cst()

__isl_give isl_poly * isl_poly_mul_cst	(	__isl_take isl_poly *	poly1,
		__isl_take isl_poly *	poly2 )

Definition at line 1081 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_cst::d, isl_ctx::error, isl_int_mul, isl_poly_as_cst(), isl_poly_cow(), isl_poly_cst_reduce(), isl_poly_free(), and isl_poly_cst::n.

Referenced by isl_poly_mul().

isl_poly_mul_isl_int()

__isl_give isl_poly * isl_poly_mul_isl_int	(	__isl_take isl_poly *	poly,
		isl_int	v )

Definition at line 993 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, isl_poly_as_rec(), isl_poly_cow(), isl_poly_cst_mul_isl_int(), isl_poly_free(), isl_poly_is_cst(), isl_poly_mul_isl_int(), isl_poly_rec::n, isl_poly_rec::p, and poly.

Referenced by isl_poly_mul_isl_int(), and isl_qpolynomial_mul_isl_int().

isl_poly_mul_rec()

__isl_give isl_poly * isl_poly_mul_rec	(	__isl_take isl_poly *	poly1,
		__isl_take isl_poly *	poly2 )

Definition at line 1107 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, isl_poly_alloc_rec(), isl_poly_as_rec(), isl_poly_copy(), isl_poly_free(), isl_poly_mul(), isl_poly_sum(), isl_poly_zero(), isl_poly_rec::n, isl_poly_rec::p, poly, res, and size.

Referenced by isl_poly_mul().

isl_poly_nan()

__isl_give isl_poly * isl_poly_nan

(

isl_ctx *

ctx

)

Definition at line 364 of file isl_polynomial.c.

References __isl_give, isl_int_set_si, and isl_poly_cst_alloc().

Referenced by isl_poly_mul(), and isl_qpolynomial_nan_on_domain().

isl_poly_neginfty()

__isl_give isl_poly * isl_poly_neginfty

(

isl_ctx *

ctx

)

Definition at line 350 of file isl_polynomial.c.

References __isl_give, isl_int_set_si, and isl_poly_cst_alloc().

Referenced by isl_qpolynomial_neginfty_on_domain().

isl_poly_one()

__isl_give isl_poly * isl_poly_one

(

isl_ctx *

ctx

)

Definition at line 322 of file isl_polynomial.c.

References __isl_give, isl_int_set_si, and isl_poly_cst_alloc().

Referenced by isl_poly_pow(), and isl_qpolynomial_one_on_domain().

isl_poly_plain_cmp()

int isl_poly_plain_cmp ( __isl_keep isl_poly * poly1, __isl_keep isl_poly * poly2 )

static

Definition at line 84 of file isl_polynomial.c.

References __isl_keep, cmp(), isl_poly_cst::d, isl_int_cmp, isl_poly_as_cst(), isl_poly_as_rec(), isl_poly_is_cst(), isl_poly_plain_cmp(), isl_poly_cst::n, isl_poly_rec::n, and isl_poly_rec::p.

Referenced by isl_poly_plain_cmp(), and isl_qpolynomial_plain_cmp().

isl_poly_pow()

__isl_give isl_poly * isl_poly_pow	(	__isl_take isl_poly *	poly,
		unsigned	power )

Definition at line 1263 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_copy(), isl_poly_free(), isl_poly_mul(), isl_poly_one(), poly, power(), and res.

Referenced by isl_qpolynomial_pow().

isl_poly_rat_cst()

__isl_give isl_poly * isl_poly_rat_cst	(	isl_ctx *	ctx,
		isl_int	n,
		isl_int	d )

Definition at line 378 of file isl_polynomial.c.

References __isl_give, isl_int_set, isl_poly_cst_alloc(), and n.

Referenced by isl_poly_from_affine(), isl_qpolynomial_from_term(), and set_div().

isl_poly_scale_val()

__isl_give isl_poly * isl_poly_scale_val ( __isl_take isl_poly * poly, __isl_keep isl_val * v )

static

Definition at line 1051 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, isl_ctx::error, isl_poly_as_rec(), isl_poly_cow(), isl_poly_cst_scale_val(), isl_poly_free(), isl_poly_is_cst(), isl_poly_scale_val(), isl_poly_rec::n, isl_poly_rec::p, and poly.

Referenced by isl_poly_scale_val(), and isl_qpolynomial_scale_val().

isl_poly_sgn()

int isl_poly_sgn

(

__isl_keep isl_poly *

poly

)

Definition at line 191 of file isl_polynomial.c.

References __isl_keep, isl_int_sgn, isl_poly_as_cst(), isl_poly_is_cst(), and poly.

Referenced by isl_qpolynomial_sgn().

isl_poly_subs()

__isl_give isl_poly * isl_poly_subs	(	__isl_take isl_poly *	poly,
		unsigned	first,
		unsigned	n,
		__isl_keep isl_poly **	subs )

Definition at line 2286 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, isl_ctx::error, isl_assert, isl_poly_as_rec(), isl_poly_copy(), isl_poly_free(), isl_poly_is_cst(), isl_poly_mul(), isl_poly_subs(), isl_poly_sum(), isl_poly_var_pow(), isl_poly_rec::n, n, isl_poly_rec::p, poly, res, and t.

Referenced by isl_poly_subs(), isl_qpolynomial_morph_domain(), isl_qpolynomial_substitute(), isl_qpolynomial_substitute_equalities_lifted(), make_divs_pos(), reduce_divs(), and substitute_div().

isl_poly_sum()

__isl_give isl_poly * isl_poly_sum	(	__isl_take isl_poly *	poly1,
		__isl_take isl_poly *	poly2 )

Definition at line 809 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, isl_poly_as_rec(), isl_poly_copy(), isl_poly_cow(), isl_poly_free(), isl_poly_is_cst(), isl_poly_is_infty(), isl_poly_is_nan(), isl_poly_is_neginfty(), isl_poly_is_zero(), isl_poly_sum(), isl_poly_sum_cst(), isl_poly_rec::n, isl_poly_rec::p, replace_by_constant_term(), and replace_by_zero().

Referenced by isl_poly_from_affine(), isl_poly_mul_rec(), isl_poly_subs(), isl_poly_sum(), isl_qpolynomial_add(), and reorder().

isl_poly_sum_cst()

__isl_give isl_poly * isl_poly_sum_cst	(	__isl_take isl_poly *	poly1,
		__isl_take isl_poly *	poly2 )

Definition at line 748 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_cst::d, isl_int_add, isl_int_addmul, isl_int_eq, isl_int_mul, isl_poly_as_cst(), isl_poly_cow(), isl_poly_cst_reduce(), isl_poly_free(), and isl_poly_cst::n.

Referenced by isl_poly_sum().

isl_poly_update_affine()

int isl_poly_update_affine	(	__isl_keep isl_poly *	poly,
		__isl_keep isl_vec *	aff )

Definition at line 2103 of file isl_polynomial.c.

References __isl_keep, aff, isl_assert, isl_poly_as_cst(), isl_poly_as_rec(), isl_poly_update_affine(), isl_poly_rec::n, isl_poly_rec::p, poly, and update_coeff().

Referenced by isl_poly_update_affine(), and isl_qpolynomial_extract_affine().

isl_poly_var_pow()

__isl_give isl_poly * isl_poly_var_pow	(	isl_ctx *	ctx,
		int	pos,
		int	power )

Definition at line 1380 of file isl_polynomial.c.

References __isl_give, isl_int_set_si, isl_poly_alloc_rec(), isl_poly_as_cst(), isl_poly_free(), isl_poly_zero(), isl_poly_rec::n, isl_poly_rec::p, isl_poly_rec::poly, pos(), and power().

Referenced by isl_poly_from_affine(), isl_poly_homogenize(), isl_poly_subs(), isl_qpolynomial_from_term(), isl_qpolynomial_morph_domain(), isl_qpolynomial_var_pow_on_domain(), and reorder().

isl_poly_zero()

__isl_give isl_poly * isl_poly_zero

(

isl_ctx *

ctx

)

Definition at line 308 of file isl_polynomial.c.

References __isl_give, isl_int_set_si, and isl_poly_cst_alloc().

Referenced by isl_poly_coeff(), isl_poly_dup_cst(), isl_poly_mul_rec(), isl_poly_var_pow(), isl_qpolynomial_zero_on_domain(), and replace_by_zero().

isl_pw_qpolynomial_add()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_add	(	__isl_take isl_pw_qpolynomial *	pwqp1,
		__isl_take isl_pw_qpolynomial *	pwqp2 )

Definition at line 3147 of file isl_polynomial.c.

References __isl_give, and __isl_take.

Referenced by isl_obj_pw_qp_add(), and read_term().

isl_pw_qpolynomial_from_pw_aff()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_from_pw_aff

(

__isl_take isl_pw_aff *

pwaff

)

Definition at line 3534 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_aff_copy(), isl_pw_aff_free(), isl_pw_aff_get_space(), isl_pw_qpolynomial_add_piece(), isl_qpolynomial_from_aff(), isl_set, isl_set_copy(), and pwqp.

Referenced by read_factor().

isl_pw_qpolynomial_is_one()

int isl_pw_qpolynomial_is_one

(

__isl_keep isl_pw_qpolynomial *

pwqp

)

Definition at line 3133 of file isl_polynomial.c.

References __isl_keep, isl_qpolynomial_is_one(), isl_set_plain_is_universe(), and pwqp.

Referenced by isl_pw_qpolynomial_mul().

isl_pw_qpolynomial_mul()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_mul	(	__isl_take isl_pw_qpolynomial *	pwqp1,
		__isl_take isl_pw_qpolynomial *	pwqp2 )

Definition at line 3154 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_assert, isl_pw_qpolynomial_add_piece(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_is_one(), isl_pw_qpolynomial_is_zero(), isl_qpolynomial_copy(), isl_qpolynomial_mul(), isl_set, isl_set_copy(), isl_set_free(), isl_set_intersect(), isl_set_plain_is_empty(), isl_space_copy(), isl_space_is_equal(), n, and res.

Referenced by isl_union_pw_qpolynomial_mul(), multiplicative_call_factor_pw_qpolynomial(), and read_factor().

isl_pw_qpolynomial_pow()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_pow	(	__isl_take isl_pw_qpolynomial *	pwqp,
		unsigned	power )

Definition at line 1904 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_pw_qpolynomial_cow(), isl_pw_qpolynomial_free(), isl_qpolynomial_pow(), power(), and pwqp.

Referenced by read_factor().

isl_pw_qpolynomial_split_periods()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_split_periods	(	__isl_take isl_pw_qpolynomial *	pwqp,
		int	max_periods )

Definition at line 4719 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_pw_qpolynomial_foreach_piece(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_get_space(), isl_pw_qpolynomial_zero(), isl_split_periods_data::max_periods, pwqp, isl_split_periods_data::res, and split_periods().

Referenced by test_split_periods().

isl_pw_qpolynomial_to_polynomial()

__isl_give isl_pw_qpolynomial * isl_pw_qpolynomial_to_polynomial	(	__isl_take isl_pw_qpolynomial *	pwqp,
		int	sign )

Definition at line 5126 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_pw_qpolynomial_add_disjoint(), isl_pw_qpolynomial_alloc(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_get_space(), isl_pw_qpolynomial_zero(), isl_qpolynomial_copy(), isl_set_copy(), isl_set_foreach_orthant(), pwqp, pwqp_drop_floors(), isl_to_poly_data::qp, isl_to_poly_data::res, isl_to_poly_data::sign, t, and to_polynomial_on_orthant().

Referenced by poly_entry().

isl_qpolynomial_add()

__isl_give isl_qpolynomial * isl_qpolynomial_add	(	__isl_take isl_qpolynomial *	qp1,
		__isl_take isl_qpolynomial *	qp2 )

Definition at line 1680 of file isl_polynomial.c.

References __isl_give, __isl_take, compatible_divs(), isl_poly_copy(), isl_poly_sum(), isl_qpolynomial_add(), isl_qpolynomial_cow(), isl_qpolynomial_free(), and with_merged_divs().

Referenced by add_qpolynomial(), bernstein_coefficients_cell(), collect_fixed_sign_terms(), isl_qpolynomial_add(), isl_qpolynomial_add_on_domain(), isl_qpolynomial_sign(), isl_qpolynomial_sub(), monotonicity(), propagate_on_bound_pair(), and to_polynomial_on_orthant().

isl_qpolynomial_add_dims()

__isl_give isl_qpolynomial * isl_qpolynomial_add_dims	(	__isl_take isl_qpolynomial *	qp,
		enum isl_dim_type	type,
		unsigned	n )

Definition at line 3376 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial_dim(), isl_qpolynomial_free(), isl_qpolynomial_insert_dims(), n, pos(), and type.

Referenced by bernstein_coefficients_cell().

isl_qpolynomial_add_isl_int()

__isl_give isl_qpolynomial * isl_qpolynomial_add_isl_int	(	__isl_take isl_qpolynomial *	qp,
		isl_int	v )

Definition at line 1728 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_int_is_zero, isl_poly_add_isl_int(), isl_qpolynomial_cow(), and isl_qpolynomial_free().

isl_qpolynomial_add_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_add_on_domain	(	__isl_keep isl_set *	dom,
		__isl_take isl_qpolynomial *	qp1,
		__isl_take isl_qpolynomial *	qp2 )

Definition at line 1712 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, isl_qpolynomial_add(), isl_qpolynomial_gist(), isl_set, and isl_set_copy().

isl_qpolynomial_align_params()

__isl_give isl_qpolynomial * isl_qpolynomial_align_params	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_space *	model )

Definition at line 4492 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_parameter_alignment_reordering(), isl_qpolynomial_free(), isl_qpolynomial_peek_domain_space(), isl_qpolynomial_realign_domain(), isl_space_free(), isl_space_has_equal_params(), and isl_opt_data::qp.

isl_qpolynomial_alloc()

__isl_give isl_qpolynomial * isl_qpolynomial_alloc	(	__isl_take isl_space *	space,
		unsigned	n_div,
		__isl_take isl_poly *	poly )

Definition at line 1287 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial::dim, isl_qpolynomial::div, isl_calloc_type, isl_die, isl_dim_all, isl_error_invalid, isl_mat_alloc(), isl_poly_free(), isl_qpolynomial_free(), isl_space_dim(), isl_space_free(), isl_space_get_ctx(), isl_space_is_set(), isl_qpolynomial::poly, poly, isl_qpolynomial::ref, and total().

Referenced by isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_coeff(), isl_qpolynomial_dup(), isl_qpolynomial_from_aff(), isl_qpolynomial_from_affine(), isl_qpolynomial_from_term(), isl_qpolynomial_infty_on_domain(), isl_qpolynomial_nan_on_domain(), isl_qpolynomial_neginfty_on_domain(), isl_qpolynomial_one_on_domain(), isl_qpolynomial_sign(), isl_qpolynomial_var_pow_on_domain(), and isl_qpolynomial_zero_on_domain().

isl_qpolynomial_as_polynomial_on_domain()

isl_stat isl_qpolynomial_as_polynomial_on_domain	(	__isl_keep isl_qpolynomial *	qp,
		__isl_keep isl_basic_set *	bset,
		isl_stat(*	fn )(__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, void *user),
		void *	user )

Definition at line 3633 of file isl_polynomial.c.

References __isl_keep, __isl_take, fn, isl_basic_set, isl_basic_set_copy(), isl_dim_set, isl_local_space_lift_basic_set(), isl_poly_copy(), isl_qpolynomial_alloc(), isl_qpolynomial_copy(), isl_qpolynomial_get_domain_local_space(), isl_space_add_dims(), isl_space_copy(), isl_stat_error, poly, and user.

Referenced by guarded_qp().

isl_qpolynomial_coeff()

__isl_give isl_qpolynomial * isl_qpolynomial_coeff	(	__isl_keep isl_qpolynomial *	qp,
		enum isl_dim_type	type,
		unsigned	t_pos,
		int	deg )

Definition at line 3768 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_qpolynomial::div, domain_type(), isl_die, isl_dim_out, isl_error_invalid, isl_mat_copy(), isl_mat_free(), isl_poly_coeff(), isl_qpolynomial_alloc(), isl_qpolynomial_free(), isl_space_copy(), poly, pos(), and type.

Referenced by extract_coefficients().

isl_qpolynomial_copy()

__isl_give isl_qpolynomial * isl_qpolynomial_copy

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 1321 of file isl_polynomial.c.

References __isl_give, __isl_keep, and isl_qpolynomial::ref.

Referenced by add_qpolynomial(), basic_guarded_poly_bound(), bernstein_coefficients_base(), bernstein_coefficients_cell(), has_sign(), isl_pw_qpolynomial_fold_from_pw_qpolynomial(), isl_pw_qpolynomial_mul(), isl_pw_qpolynomial_to_polynomial(), isl_qpolynomial_as_polynomial_on_domain(), isl_qpolynomial_sign(), merge_lists(), monotonicity(), opt_fn(), print_qpolynomial_c(), propagate_on_bound_pair(), split_div(), and to_polynomial_on_orthant().

isl_qpolynomial_cow()

__isl_give isl_qpolynomial * isl_qpolynomial_cow

(

__isl_take isl_qpolynomial *

qp

)

Definition at line 1352 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial_dup(), and isl_qpolynomial::ref.

Referenced by isl_qpolynomial_add(), isl_qpolynomial_add_isl_int(), isl_qpolynomial_drop_dims(), isl_qpolynomial_homogenize(), isl_qpolynomial_insert_dims(), isl_qpolynomial_lift(), isl_qpolynomial_morph_domain(), isl_qpolynomial_move_dims(), isl_qpolynomial_mul(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_pow(), isl_qpolynomial_realign_domain(), isl_qpolynomial_reset_domain_space(), isl_qpolynomial_scale_val(), isl_qpolynomial_set_dim_name(), isl_qpolynomial_substitute(), isl_qpolynomial_substitute_equalities_lifted(), make_divs_pos(), qp_drop_floors(), substitute_div(), and with_merged_divs().

isl_qpolynomial_cst_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_cst_on_domain	(	__isl_take isl_space *	domain,
		isl_int	v )

Definition at line 1965 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_int_set, isl_poly_as_cst(), isl_qpolynomial_zero_on_domain(), and isl_qpolynomial::poly.

Referenced by isl_qpolynomial_sign(), and read_factor().

isl_qpolynomial_degree()

int isl_qpolynomial_degree

(

__isl_keep isl_qpolynomial *

poly

)

Definition at line 3702 of file isl_polynomial.c.

References __isl_keep, isl_dim_set, isl_poly_degree(), isl_space_dim(), isl_space_offset(), and poly.

Referenced by bernstein_coefficients_base(), compressed_guarded_poly_bound(), extract_coefficients(), and isl_qpolynomial_homogenize().

isl_qpolynomial_dim()

isl_size isl_qpolynomial_dim	(	__isl_keep isl_qpolynomial *	qp,
		enum isl_dim_type	type )

Definition at line 543 of file isl_polynomial.c.

References __isl_keep, domain_type(), isl_dim_out, isl_qpolynomial_domain_dim(), isl_size_error, and type.

Referenced by bernstein_coefficients_cell(), extract_coefficients(), isl_qpolynomial_add_dims(), and isl_qpolynomial_project_domain_on_params().

isl_qpolynomial_domain_dim()

isl_size isl_qpolynomial_domain_dim	(	__isl_keep isl_qpolynomial *	qp,
		enum isl_dim_type	type )

Definition at line 504 of file isl_polynomial.c.

References __isl_keep, isl_dim_all, isl_dim_div, isl_qpolynomial_domain_dim(), isl_qpolynomial_peek_domain_space(), isl_size_error, isl_space_dim(), and type.

Referenced by isl_qpolynomial_dim(), isl_qpolynomial_domain_dim(), isl_qpolynomial_extract_affine(), isl_qpolynomial_lift(), and reduce_divs().

isl_qpolynomial_domain_offset()

unsigned isl_qpolynomial_domain_offset	(	__isl_keep isl_qpolynomial *	qp,
		enum isl_dim_type	type )

Definition at line 580 of file isl_polynomial.c.

References __isl_keep, isl_dim_cst, isl_dim_div, isl_dim_param, isl_dim_set, isl_qpolynomial_domain_var_offset(), and type.

Referenced by reduce_divs().

isl_qpolynomial_domain_var_offset()

isl_size isl_qpolynomial_domain_var_offset ( __isl_keep isl_qpolynomial * qp, enum isl_dim_type type )

static

Definition at line 557 of file isl_polynomial.c.

References __isl_keep, isl_die, isl_dim_all, isl_dim_cst, isl_dim_div, isl_dim_param, isl_dim_set, isl_error_invalid, isl_qpolynomial_get_ctx(), isl_qpolynomial_peek_domain_space(), isl_size_error, isl_space_dim(), isl_space_offset(), and type.

Referenced by isl_qpolynomial_domain_offset(), isl_qpolynomial_drop_dims(), isl_qpolynomial_involves_dims(), make_divs_pos(), remove_redundant_divs(), set_div(), sort_divs(), split_periods(), substitute_div(), and substitute_non_divs().

isl_qpolynomial_drop_dims()

__isl_give isl_qpolynomial * isl_qpolynomial_drop_dims	(	__isl_take isl_qpolynomial *	qp,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n )

Definition at line 2898 of file isl_polynomial.c.

References __isl_give, __isl_take, domain_type(), isl_assert, isl_die, isl_dim_out, isl_dim_param, isl_dim_set, isl_error_invalid, isl_mat_drop_cols(), isl_poly_drop(), isl_qpolynomial_cow(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_space_drop_dims(), isl_space_is_named_or_nested(), n, offset, and type.

Referenced by bernstein_coefficients_cell(), drop_dims(), isl_qpolynomial_project_domain_on_params(), propagate_on_bound_pair(), and propagate_on_domain().

isl_qpolynomial_dup()

__isl_give isl_qpolynomial * isl_qpolynomial_dup

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 1330 of file isl_polynomial.c.

References __isl_give, __isl_keep, dup(), isl_mat_copy(), isl_mat_free(), isl_poly_copy(), isl_qpolynomial_alloc(), isl_qpolynomial_free(), and isl_space_copy().

Referenced by isl_qpolynomial_cow().

isl_qpolynomial_eval()

__isl_give isl_val * isl_qpolynomial_eval	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_point *	pnt )

Definition at line 3280 of file isl_polynomial.c.

References __isl_give, __isl_take, eval_void(), isl_assert, isl_local_extend_point_vec(), isl_point_free(), isl_point_is_void(), isl_poly_copy(), isl_poly_eval(), isl_qpolynomial_free(), isl_space_is_equal(), and isl_vec_copy().

Referenced by isl_qpolynomial_fold_eval(), opt_fn(), and test_eval_2().

isl_qpolynomial_extract_affine()

__isl_give isl_vec * isl_qpolynomial_extract_affine

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 2134 of file isl_polynomial.c.

References __isl_give, __isl_keep, aff, isl_dim_all, isl_int_set_si, isl_poly_update_affine(), isl_qpolynomial_domain_dim(), isl_seq_clr(), isl_vec_alloc(), and isl_vec_free().

Referenced by isl_basic_map_from_qpolynomial(), and isl_qpolynomial_aff_sign().

isl_qpolynomial_foreach_term()

isl_stat isl_qpolynomial_foreach_term	(	__isl_keep isl_qpolynomial *	qp,
		isl_stat(*	fn )(__isl_take isl_term *term, void *user),
		void *	user )

Definition at line 4163 of file isl_polynomial.c.

References __isl_keep, __isl_take, fn, isl_mat_copy(), isl_poly_foreach_term(), isl_space_copy(), isl_stat_error, isl_stat_ok, isl_term_alloc(), isl_term_free(), and user.

Referenced by isl_qpolynomial_terms_of_sign().

isl_qpolynomial_free()

__isl_null isl_qpolynomial * isl_qpolynomial_free

(

__isl_take isl_qpolynomial *

qp

)

Definition at line 1363 of file isl_polynomial.c.

References __isl_null, __isl_take, isl_mat_free(), isl_poly_free(), and isl_space_free().

Referenced by bernstein_coefficients_base(), bernstein_coefficients_cell(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), compressed_guarded_poly_bound(), eval_void(), extract_coefficients(), guarded_poly_bound(), guarded_qp(), isl_basic_map_from_qpolynomial(), isl_qpolynomial_add(), isl_qpolynomial_add_dims(), isl_qpolynomial_add_isl_int(), isl_qpolynomial_align_params(), isl_qpolynomial_alloc(), isl_qpolynomial_bound_on_domain_bernstein(), isl_qpolynomial_coeff(), isl_qpolynomial_drop_dims(), isl_qpolynomial_dup(), isl_qpolynomial_eval(), isl_qpolynomial_fold_add_qpolynomial(), isl_qpolynomial_from_aff(), isl_qpolynomial_from_term(), isl_qpolynomial_homogenize(), isl_qpolynomial_insert_dims(), isl_qpolynomial_lift(), isl_qpolynomial_morph_domain(), isl_qpolynomial_move_dims(), isl_qpolynomial_mul(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_opt_on_domain(), isl_qpolynomial_pow(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_realign_domain(), isl_qpolynomial_reset_domain_space(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_qpolynomial_set_dim_name(), isl_qpolynomial_sign(), isl_qpolynomial_substitute(), isl_qpolynomial_substitute_equalities(), isl_qpolynomial_substitute_equalities_lifted(), isl_qpolynomial_terms_of_sign(), isl_qpolynomial_val_on_domain(), make_divs_pos(), merge_lists(), monotonicity(), plug_in_at_pos(), print_qpolynomial_c(), propagate_on_domain(), qpolynomial_bound_on_domain_range(), qpolynomial_fold_covers_on_domain(), reduce_divs(), remove_redundant_divs(), set_div(), sort_divs(), split_div(), split_periods(), substitute_div(), substitute_non_divs(), to_polynomial_on_orthant(), unwrapped_guarded_poly_bound(), and with_merged_divs().

isl_qpolynomial_from_aff()

__isl_give isl_qpolynomial * isl_qpolynomial_from_aff

(

__isl_take isl_aff *

aff

)

Definition at line 3501 of file isl_polynomial.c.

References __isl_give, __isl_take, aff, isl_qpolynomial::div, isl_aff_free(), isl_aff_get_ctx(), isl_aff_get_domain_space(), isl_mat_copy(), isl_mat_cow(), isl_mat_free(), isl_poly_from_affine(), isl_qpolynomial_alloc(), isl_qpolynomial_free(), poly, reduce_divs(), and remove_redundant_divs().

Referenced by isl_pw_qpolynomial_from_pw_aff(), isl_qpolynomial_from_constraint(), and test_eval_2().

isl_qpolynomial_from_affine()

__isl_give isl_qpolynomial * isl_qpolynomial_from_affine	(	__isl_take isl_space *	space,
		isl_int *	f,
		isl_int	denom )

Definition at line 3485 of file isl_polynomial.c.

References __isl_give, __isl_take, f, isl_dim_all, isl_poly_from_affine(), isl_qpolynomial_alloc(), isl_space_dim(), isl_space_domain(), and poly.

Referenced by vertex_coordinate().

isl_qpolynomial_from_constraint()

__isl_give isl_qpolynomial * isl_qpolynomial_from_constraint	(	__isl_take isl_constraint *	c,
		enum isl_dim_type	type,
		unsigned	pos )

Definition at line 3559 of file isl_polynomial.c.

References __isl_give, __isl_take, aff, isl_constraint_free(), isl_constraint_get_bound(), isl_qpolynomial_from_aff(), pos(), and type.

Referenced by bound2poly().

isl_qpolynomial_from_term()

__isl_give isl_qpolynomial * isl_qpolynomial_from_term

(

__isl_take isl_term *

term

)

Definition at line 4182 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial::div, isl_dim_all, isl_mat_copy(), isl_mat_free(), isl_poly_mul(), isl_poly_rat_cst(), isl_poly_var_pow(), isl_qpolynomial_alloc(), isl_qpolynomial_free(), isl_space_copy(), isl_term_dim(), isl_term_free(), n, and poly.

Referenced by collect_fixed_sign_terms().

isl_qpolynomial_get_constant_val()

__isl_give isl_val * isl_qpolynomial_get_constant_val

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 2036 of file isl_polynomial.c.

References __isl_give, __isl_keep, and isl_poly_get_constant_val().

Referenced by isl_qpolynomial_opt_on_domain().

isl_qpolynomial_get_ctx()

isl_ctx * isl_qpolynomial_get_ctx

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 444 of file isl_polynomial.c.

References __isl_keep.

Referenced by bernstein_coefficients_cell(), extract_coefficients(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_get_den(), isl_qpolynomial_morph_domain(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_scale_down_val(), isl_qpolynomial_scale_val(), isl_qpolynomial_set_dim_name(), monotonicity(), reduce_divs(), remove_redundant_divs(), and substitute_div().

isl_qpolynomial_get_den()

__isl_give isl_val * isl_qpolynomial_get_den

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 2242 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_qpolynomial_get_ctx(), isl_val_free(), isl_val_one(), isl_val::n, and poly_update_den().

Referenced by print_qpolynomial_c().

isl_qpolynomial_get_domain_local_space()

static static __isl_give isl_local_space * isl_qpolynomial_get_domain_local_space ( __isl_keep isl_qpolynomial * qp )

static

Definition at line 479 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_local_space_alloc_div(), isl_mat_copy(), and isl_qpolynomial_get_domain_space().

Referenced by isl_qpolynomial_as_polynomial_on_domain(), and isl_qpolynomial_gist().

isl_qpolynomial_get_domain_space()

__isl_give isl_space * isl_qpolynomial_get_domain_space

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 459 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_qpolynomial_peek_domain_space(), and isl_space_copy().

Referenced by bernstein_coefficients_cell(), extract_coefficients(), guarded_poly_bound(), isl_qpolynomial_fold_alloc(), isl_qpolynomial_get_domain_local_space(), isl_qpolynomial_gist_params(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_scale_val(), isl_qpolynomial_terms_of_sign(), monotonicity(), plug_in_at_pos(), print_body_pw_qpolynomial(), and propagate_on_bound_pair().

isl_qpolynomial_get_space()

__isl_give isl_space * isl_qpolynomial_get_space

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 491 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_dim_out, isl_space_add_dims(), isl_space_copy(), and isl_space_from_domain().

Referenced by has_sign(), and isl_basic_map_from_qpolynomial().

isl_qpolynomial_gist()

__isl_give isl_qpolynomial * isl_qpolynomial_gist	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_set *	context )

Definition at line 3060 of file isl_polynomial.c.

References __isl_give, __isl_take, aff, context, isl_basic_set, isl_local_space_lift_set(), isl_qpolynomial_get_domain_local_space(), isl_qpolynomial_substitute_equalities_lifted(), isl_set, and isl_set_affine_hull().

Referenced by gist(), isl_qpolynomial_add_on_domain(), and isl_qpolynomial_gist_params().

isl_qpolynomial_gist_params()

__isl_give isl_qpolynomial * isl_qpolynomial_gist_params	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_set *	context )

Definition at line 3073 of file isl_polynomial.c.

References __isl_give, __isl_take, context, isl_qpolynomial_get_domain_space(), isl_qpolynomial_gist(), isl_set, isl_set_intersect_params(), and isl_set_universe().

isl_qpolynomial_homogenize()

__isl_give isl_qpolynomial * isl_qpolynomial_homogenize

(

__isl_take isl_qpolynomial *

poly

)

Definition at line 3864 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_dim_in, isl_dim_set, isl_poly_homogenize(), isl_qpolynomial_cow(), isl_qpolynomial_degree(), isl_qpolynomial_free(), isl_qpolynomial_insert_dims(), isl_space_dim(), isl_space_offset(), and poly.

Referenced by bernstein_coefficients_base().

isl_qpolynomial_infty_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_infty_on_domain

(

__isl_take isl_space *

domain

)

Definition at line 1941 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_infty(), and isl_qpolynomial_alloc().

Referenced by constant_on_domain(), read_factor(), and signed_infty().

isl_qpolynomial_insert_dims()

__isl_give isl_qpolynomial * isl_qpolynomial_insert_dims	(	__isl_take isl_qpolynomial *	qp,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n )

Definition at line 3322 of file isl_polynomial.c.

References __isl_give, __isl_take, domain_type(), expand(), isl_alloc_array, isl_die, isl_dim_out, isl_error_invalid, isl_mat_insert_zero_cols(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_space_insert_dims(), isl_space_is_named_or_nested(), n, pos(), total(), and type.

Referenced by insert_dims(), isl_qpolynomial_add_dims(), and isl_qpolynomial_homogenize().

isl_qpolynomial_involves_dims()

isl_bool isl_qpolynomial_involves_dims ( __isl_keep isl_qpolynomial * qp, enum isl_dim_type type, unsigned first, unsigned n )

static

Definition at line 2711 of file isl_polynomial.c.

References __isl_keep, domain_type(), isl_assert, isl_bool_error, isl_bool_false, isl_bool_true, isl_calloc_array, isl_dim_all, isl_dim_in, isl_dim_param, isl_qpolynomial_domain_var_offset(), isl_qpolynomial_peek_domain_space(), isl_space_dim(), n, offset, set_active(), and type.

Referenced by isl_qpolynomial_project_domain_on_params().

isl_qpolynomial_is_affine()

isl_bool isl_qpolynomial_is_affine

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 2072 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_false, and isl_poly_is_affine().

Referenced by isl_qpolynomial_sign().

isl_qpolynomial_is_cst()

isl_bool isl_qpolynomial_is_cst	(	__isl_keep isl_qpolynomial *	qp,
		isl_int *	n,
		isl_int *	d )

Definition at line 1982 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, isl_bool_true, isl_int_set, isl_poly_as_cst(), isl_poly_is_cst(), and n.

Referenced by isl_qpolynomial_sign(), and propagate_on_domain().

isl_qpolynomial_is_infty()

isl_bool isl_qpolynomial_is_infty

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 610 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, and isl_poly_is_infty().

Referenced by plug_in_at_pos().

isl_qpolynomial_is_nan()

isl_bool isl_qpolynomial_is_nan

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 605 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, and isl_poly_is_nan().

Referenced by isl_qpolynomial_cst_sign(), isl_qpolynomial_fold_is_nan(), and isl_qpolynomial_plain_is_equal().

isl_qpolynomial_is_neginfty()

isl_bool isl_qpolynomial_is_neginfty

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 615 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, and isl_poly_is_neginfty().

Referenced by plug_in_at_pos().

isl_qpolynomial_is_one()

isl_bool isl_qpolynomial_is_one

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 600 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, and isl_poly_is_one().

Referenced by isl_pw_qpolynomial_is_one().

isl_qpolynomial_is_zero()

isl_bool isl_qpolynomial_is_zero

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 595 of file isl_polynomial.c.

References __isl_keep, isl_bool_error, and isl_poly_is_zero().

Referenced by isl_qpolynomial_fold_add_qpolynomial(), and isl_qpolynomial_sign().

isl_qpolynomial_lift()

__isl_give isl_qpolynomial * isl_qpolynomial_lift	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_space *	space )

Definition at line 4220 of file isl_polynomial.c.

References __isl_give, __isl_take, expand(), isl_alloc_array, isl_dim_all, isl_dim_set, isl_mat_insert_cols(), isl_qpolynomial_cow(), isl_qpolynomial_domain_dim(), isl_qpolynomial_free(), isl_seq_clr(), isl_space_dim(), isl_space_free(), isl_space_is_equal(), and total().

Referenced by lift().

isl_qpolynomial_morph_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_morph_domain	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_morph *	morph )

Definition at line 4392 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial::dim, isl_qpolynomial::div, isl_calloc_array, isl_mat_copy(), isl_mat_diag(), isl_mat_diagonal(), isl_mat_product(), isl_morph_check_applies(), isl_morph_free(), isl_poly_free(), isl_poly_from_affine(), isl_poly_subs(), isl_poly_var_pow(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_peek_domain_space(), isl_space_copy(), isl_space_free(), isl_mat::n_row, isl_qpolynomial::poly, and isl_opt_data::qp.

Referenced by morph_domain(), and unwrapped_guarded_poly_bound().

isl_qpolynomial_move_dims()

__isl_give isl_qpolynomial * isl_qpolynomial_move_dims	(	__isl_take isl_qpolynomial *	qp,
		enum isl_dim_type	dst_type,
		unsigned	dst_pos,
		enum isl_dim_type	src_type,
		unsigned	src_pos,
		unsigned	n )

Definition at line 3421 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_die, isl_dim_in, isl_dim_out, isl_dim_set, isl_error_invalid, isl_mat_move_cols(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_space_is_named_or_nested(), isl_space_move_dims(), n, pos(), reorder(), reordering_move(), and sort_divs().

Referenced by guarded_poly_bound(), has_sign(), and move_dims().

isl_qpolynomial_mul()

__isl_give isl_qpolynomial * isl_qpolynomial_mul	(	__isl_take isl_qpolynomial *	qp1,
		__isl_take isl_qpolynomial *	qp2 )

Definition at line 1854 of file isl_polynomial.c.

References __isl_give, __isl_take, compatible_divs(), isl_poly_copy(), isl_poly_mul(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_mul(), and with_merged_divs().

Referenced by bernstein_coefficients_cell(), extract_coefficients(), isl_pw_qpolynomial_mul(), isl_qpolynomial_mul(), and isl_qpolynomial_sign().

isl_qpolynomial_mul_isl_int()

__isl_give isl_qpolynomial * isl_qpolynomial_mul_isl_int	(	__isl_take isl_qpolynomial *	qp,
		isl_int	v )

Definition at line 1757 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_int_is_one, isl_int_is_zero, isl_poly_mul_isl_int(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_zero_on_domain(), and isl_space_copy().

Referenced by isl_qpolynomial_neg(), isl_qpolynomial_scale(), and mul_int().

isl_qpolynomial_nan_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_nan_on_domain

(

__isl_take isl_space *

domain

)

Definition at line 1957 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_nan(), and isl_qpolynomial_alloc().

Referenced by read_factor().

isl_qpolynomial_neg()

__isl_give isl_qpolynomial * isl_qpolynomial_neg

(

__isl_take isl_qpolynomial *

qp

)

Definition at line 1749 of file isl_polynomial.c.

References __isl_give, __isl_take, and isl_qpolynomial_mul_isl_int().

Referenced by isl_qpolynomial_sub().

isl_qpolynomial_neginfty_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_neginfty_on_domain

(

__isl_take isl_space *

domain

)

Definition at line 1949 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_neginfty(), and isl_qpolynomial_alloc().

Referenced by signed_infty().

isl_qpolynomial_one_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_one_on_domain

(

__isl_take isl_space *

domain

)

Definition at line 1933 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_one(), and isl_qpolynomial_alloc().

Referenced by compressed_multiplicative_call(), and constant_on_domain().

isl_qpolynomial_opt_on_domain()

__isl_give isl_val * isl_qpolynomial_opt_on_domain	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_set *	set,
		int	max )

Definition at line 4354 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_opt_data::first, fix_inactive(), isl_poly_is_cst(), isl_qpolynomial_free(), isl_qpolynomial_get_constant_val(), isl_set, isl_set_foreach_point(), isl_set_free(), isl_set_get_ctx(), isl_val_free(), isl_val_zero(), isl_opt_data::max, isl_opt_data::opt, opt_fn(), isl_qpolynomial::poly, isl_opt_data::qp, and set.

Referenced by isl_qpolynomial_fold_opt_on_domain().

isl_qpolynomial_peek_domain_space()

__isl_keep isl_space * isl_qpolynomial_peek_domain_space ( __isl_keep isl_qpolynomial * qp )

static

Definition at line 451 of file isl_polynomial.c.

References __isl_keep.

Referenced by isl_qpolynomial_align_params(), isl_qpolynomial_domain_dim(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_involves_dims(), isl_qpolynomial_morph_domain(), and set_active().

isl_qpolynomial_plain_cmp()

int isl_qpolynomial_plain_cmp	(	__isl_keep isl_qpolynomial *	qp1,
		__isl_keep isl_qpolynomial *	qp2 )

Definition at line 2165 of file isl_polynomial.c.

References __isl_keep, cmp(), isl_local_cmp(), isl_poly_plain_cmp(), and isl_space_cmp().

Referenced by isl_qpolynomial_fold_plain_cmp(), and qpolynomial_cmp().

isl_qpolynomial_plain_is_equal()

isl_bool isl_qpolynomial_plain_is_equal	(	__isl_keep isl_qpolynomial *	qp1,
		__isl_keep isl_qpolynomial *	qp2 )

Definition at line 2192 of file isl_polynomial.c.

References __isl_keep, equal, isl_bool_error, isl_bool_false, isl_mat_is_equal(), isl_poly_is_equal(), isl_qpolynomial_is_nan(), and isl_space_is_equal().

Referenced by isl_qpolynomial_list_plain_is_equal(), and merge_lists().

isl_qpolynomial_pow()

__isl_give isl_qpolynomial * isl_qpolynomial_pow	(	__isl_take isl_qpolynomial *	qp,
		unsigned	power )

Definition at line 1886 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_pow(), isl_qpolynomial_cow(), isl_qpolynomial_free(), and power().

Referenced by isl_pw_qpolynomial_pow().

isl_qpolynomial_project_domain_on_params()

__isl_give isl_qpolynomial * isl_qpolynomial_project_domain_on_params

(

__isl_take isl_qpolynomial *

qp

)

Definition at line 2949 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_die, isl_dim_in, isl_error_invalid, isl_qpolynomial_dim(), isl_qpolynomial_drop_dims(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_involves_dims(), isl_qpolynomial_reset_domain_space(), isl_space_params(), and n.

Referenced by add_guarded_poly(), and extract_coefficients().

isl_qpolynomial_rat_cst_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_rat_cst_on_domain	(	__isl_take isl_space *	domain,
		const isl_int	n,
		const isl_int	d )

Definition at line 2620 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_int_set, isl_poly_as_cst(), isl_qpolynomial_zero_on_domain(), n, and isl_qpolynomial::poly.

Referenced by extract_coefficients(), monotonicity(), and read_factor().

isl_qpolynomial_realign_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_realign_domain	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_reordering *	r )

Definition at line 4460 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial::div, isl_local_reorder(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_reset_domain_space(), isl_reordering_copy(), isl_reordering_extend(), isl_reordering_free(), isl_reordering_get_space(), isl_mat::n_row, isl_qpolynomial::poly, isl_opt_data::qp, and reorder().

Referenced by isl_qpolynomial_align_params(), and realign_domain().

isl_qpolynomial_reset_domain_space()

__isl_give isl_qpolynomial * isl_qpolynomial_reset_domain_space	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_space *	space )

Definition at line 415 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial_cow(), isl_qpolynomial_free(), and isl_space_free().

Referenced by isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_realign_domain(), isl_qpolynomial_reset_space_and_domain(), and reset_domain_space().

isl_qpolynomial_reset_space_and_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_reset_space_and_domain	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_space *	space,
		__isl_take isl_space *	domain )

Definition at line 436 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_qpolynomial_reset_domain_space(), and isl_space_free().

isl_qpolynomial_scale()

__isl_give isl_qpolynomial * isl_qpolynomial_scale	(	__isl_take isl_qpolynomial *	qp,
		isl_int	v )

Definition at line 1784 of file isl_polynomial.c.

References __isl_give, __isl_take, and isl_qpolynomial_mul_isl_int().

isl_qpolynomial_scale_down_val()

__isl_give isl_qpolynomial * isl_qpolynomial_scale_down_val	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_val *	v )

Definition at line 1834 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_die, isl_error_invalid, isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_scale_val(), isl_val_free(), isl_val_get_ctx(), isl_val_inv(), isl_val_is_rat(), and isl_val_is_zero().

isl_qpolynomial_scale_val()

__isl_give isl_qpolynomial * isl_qpolynomial_scale_val	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_val *	v )

Definition at line 1792 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_die, isl_error_invalid, isl_poly_scale_val(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_zero_on_domain(), isl_val_free(), isl_val_is_one(), isl_val_is_rat(), and isl_val_is_zero().

Referenced by isl_qpolynomial_scale_down_val(), print_qpolynomial_c(), and scale_val().

isl_qpolynomial_set_dim_name()

__isl_give isl_qpolynomial * isl_qpolynomial_set_dim_name	(	__isl_take isl_qpolynomial *	qp,
		enum isl_dim_type	type,
		unsigned	pos,
		const char *	s )

Definition at line 2877 of file isl_polynomial.c.

References __isl_give, __isl_take, domain_type(), isl_die, isl_dim_out, isl_error_invalid, isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_space_set_dim_name(), pos(), and type.

Referenced by set_dim_name().

isl_qpolynomial_sgn()

int isl_qpolynomial_sgn

(

__isl_keep isl_qpolynomial *

qp

)

Definition at line 620 of file isl_polynomial.c.

References __isl_keep, and isl_poly_sgn().

isl_qpolynomial_sub()

__isl_give isl_qpolynomial * isl_qpolynomial_sub	(	__isl_take isl_qpolynomial *	qp1,
		__isl_take isl_qpolynomial *	qp2 )

Definition at line 1722 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial_add(), and isl_qpolynomial_neg().

Referenced by merge_lists(), monotonicity(), and qpolynomial_fold_covers_on_domain().

isl_qpolynomial_substitute()

__isl_give isl_qpolynomial * isl_qpolynomial_substitute	(	__isl_take isl_qpolynomial *	qp,
		enum isl_dim_type	type,
		unsigned	first,
		unsigned	n,
		__isl_keep isl_qpolynomial **	subs )

Definition at line 3572 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, domain_type(), isl_alloc_array, isl_assert, isl_die, isl_dim_out, isl_error_invalid, isl_poly_subs(), isl_qpolynomial_cow(), isl_qpolynomial_free(), n, poly, pos(), and type.

Referenced by bernstein_coefficients_cell(), monotonicity(), plug_in_at_pos(), and substitute().

isl_qpolynomial_substitute_equalities()

__isl_give isl_qpolynomial * isl_qpolynomial_substitute_equalities	(	__isl_take isl_qpolynomial *	qp,
		__isl_take isl_basic_set *	eq )

Definition at line 3041 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_add_dims(), isl_basic_set_free(), isl_dim_set, isl_qpolynomial_free(), and isl_qpolynomial_substitute_equalities_lifted().

Referenced by substitute_equalities().

isl_qpolynomial_substitute_equalities_lifted()

__isl_give isl_qpolynomial * isl_qpolynomial_substitute_equalities_lifted ( __isl_take isl_qpolynomial * qp, __isl_take isl_basic_set * eq )

static

Definition at line 2973 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_basic_set, isl_basic_set_free(), isl_basic_set_offset(), isl_dim_div, isl_int_abs, isl_int_clear, isl_int_init, isl_int_is_pos, isl_int_is_zero, isl_int_set_si, isl_mat_cow(), isl_poly_free(), isl_poly_from_affine(), isl_poly_subs(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_seq_elim(), isl_seq_last_non_zero(), isl_seq_neg(), normalize_div(), poly, sort_divs(), substitute_non_divs(), and total().

Referenced by isl_qpolynomial_gist(), and isl_qpolynomial_substitute_equalities().

isl_qpolynomial_val_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_val_on_domain	(	__isl_take isl_space *	domain,
		__isl_take isl_val *	val )

Definition at line 2639 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_int_set, isl_poly_as_cst(), isl_qpolynomial_free(), isl_qpolynomial_zero_on_domain(), isl_val_free(), isl_qpolynomial::poly, and val.

isl_qpolynomial_var_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_var_on_domain	(	__isl_take isl_space *	domain,
		enum isl_dim_type	type,
		unsigned	pos )

Definition at line 2270 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_ctx::error, isl_qpolynomial_var_pow_on_domain(), isl_space_check_is_set(), isl_space_check_range(), isl_space_free(), isl_space_offset(), pos(), and type.

Referenced by bernstein_coefficients_cell(), and monotonicity().

isl_qpolynomial_var_pow_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_var_pow_on_domain	(	__isl_take isl_space *	domain,
		int	pos,
		int	power )

Definition at line 2256 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_var_pow(), isl_qpolynomial_alloc(), pos(), and power().

Referenced by isl_qpolynomial_sign(), isl_qpolynomial_var_on_domain(), and read_factor().

isl_qpolynomial_zero_in_space()

__isl_give isl_qpolynomial * isl_qpolynomial_zero_in_space ( __isl_take isl_space * space )

static

Definition at line 3087 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_qpolynomial_zero_on_domain(), and isl_space_domain().

isl_qpolynomial_zero_on_domain()

__isl_give isl_qpolynomial * isl_qpolynomial_zero_on_domain

(

__isl_take isl_space *

domain

)

Definition at line 1925 of file isl_polynomial.c.

References __isl_give, __isl_take, domain, isl_poly_zero(), and isl_qpolynomial_alloc().

Referenced by bernstein_coefficients_cell(), constant_on_domain(), isl_qpolynomial_cst_on_domain(), isl_qpolynomial_mul_isl_int(), isl_qpolynomial_rat_cst_on_domain(), isl_qpolynomial_scale_val(), isl_qpolynomial_terms_of_sign(), isl_qpolynomial_val_on_domain(), and isl_qpolynomial_zero_in_space().

isl_term_alloc()

__isl_give isl_term * isl_term_alloc	(	__isl_take isl_space *	space,
		__isl_take isl_mat *	div )

Definition at line 3893 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_term::d, isl_term::dim, isl_qpolynomial::div, isl_term::div, isl_calloc, isl_dim_all, isl_int_init, isl_mat_free(), isl_space_dim(), isl_space_free(), isl_term::n, n, isl_mat::n_row, and isl_term::ref.

Referenced by isl_qpolynomial_foreach_term(), and isl_term_dup().

isl_term_copy()

__isl_give isl_term * isl_term_copy

(

__isl_keep isl_term *

term

)

Definition at line 3924 of file isl_polynomial.c.

References __isl_give, __isl_keep, and isl_term::ref.

Referenced by isl_poly_foreach_term().

isl_term_cow()

__isl_give isl_term * isl_term_cow

(

__isl_take isl_term *

term

)

Definition at line 3956 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_term_dup(), and isl_term::ref.

Referenced by isl_poly_foreach_term().

isl_term_dim()

isl_size isl_term_dim	(	__isl_keep isl_term *	term,
		enum isl_dim_type	type )

Definition at line 3984 of file isl_polynomial.c.

References __isl_keep, isl_qpolynomial::dim, isl_dim_all, isl_dim_div, isl_dim_in, isl_dim_out, isl_dim_param, isl_size_error, isl_space_dim(), and type.

Referenced by collect_fixed_sign_terms(), isl_qpolynomial_from_term(), and isl_term_dup().

isl_term_dup()

__isl_give isl_term * isl_term_dup

(

__isl_keep isl_term *

term

)

Definition at line 3933 of file isl_polynomial.c.

References __isl_give, __isl_keep, dup(), isl_dim_all, isl_int_set, isl_mat_copy(), isl_space_copy(), isl_term_alloc(), isl_term_dim(), and total().

Referenced by isl_term_cow().

isl_term_free()

__isl_null isl_term * isl_term_free

(

__isl_take isl_term *

term

)

Definition at line 3967 of file isl_polynomial.c.

References __isl_null, __isl_take, isl_int_clear, isl_mat_free(), and isl_space_free().

Referenced by collect_fixed_sign_terms(), isl_poly_foreach_term(), isl_qpolynomial_foreach_term(), and isl_qpolynomial_from_term().

isl_term_get_coefficient_val()

__isl_give isl_val * isl_term_get_coefficient_val

(

__isl_keep isl_term *

term

)

Definition at line 4047 of file isl_polynomial.c.

References __isl_give, __isl_keep, isl_term_get_ctx(), and isl_val_rat_from_isl_int().

isl_term_get_ctx()

isl_ctx * isl_term_get_ctx

(

__isl_keep isl_term *

term

)

Definition at line 4033 of file isl_polynomial.c.

References __isl_keep.

Referenced by isl_poly_foreach_term(), isl_term_get_coefficient_val(), and isl_term_offset().

isl_term_get_div()

__isl_give isl_aff * isl_term_get_div	(	__isl_keep isl_term *	term,
		unsigned	pos )

Definition at line 4075 of file isl_polynomial.c.

References __isl_give, __isl_keep, aff, isl_aff_alloc(), isl_aff_normalize(), isl_dim_div, isl_local_space_alloc_div(), isl_mat_copy(), isl_seq_cpy(), isl_space_copy(), and pos().

isl_term_get_exp()

isl_size isl_term_get_exp ( __isl_keep isl_term * term, enum isl_dim_type type, unsigned pos )

static

Definition at line 4061 of file isl_polynomial.c.

References __isl_keep, isl_size_error, isl_term_offset(), offset, pos(), and type.

isl_term_get_num()

void isl_term_get_num	(	__isl_keep isl_term *	term,
		isl_int *	n )

Definition at line 4038 of file isl_polynomial.c.

References __isl_keep, isl_int_set, and n.

Referenced by collect_fixed_sign_terms().

isl_term_offset()

isl_size isl_term_offset ( __isl_keep isl_term * term, enum isl_dim_type type )

static

Definition at line 4014 of file isl_polynomial.c.

References __isl_keep, isl_die, isl_dim_all, isl_dim_div, isl_dim_param, isl_dim_set, isl_error_invalid, isl_size_error, isl_space_dim(), isl_space_offset(), isl_term_get_ctx(), isl_term_peek_space(), and type.

Referenced by isl_term_get_exp().

isl_term_peek_space()

__isl_keep isl_space * isl_term_peek_space ( __isl_keep isl_term * term )

static

Definition at line 4006 of file isl_polynomial.c.

References __isl_keep.

Referenced by isl_term_offset().

isl_union_pw_qpolynomial_mul()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_mul	(	__isl_take isl_union_pw_qpolynomial *	upwqp1,
		__isl_take isl_union_pw_qpolynomial *	upwqp2 )

Definition at line 4450 of file isl_polynomial.c.

References __isl_give, __isl_take, and isl_pw_qpolynomial_mul().

isl_union_pw_qpolynomial_to_polynomial()

__isl_give isl_union_pw_qpolynomial * isl_union_pw_qpolynomial_to_polynomial	(	__isl_take isl_union_pw_qpolynomial *	upwqp,
		int	sign )

Definition at line 5173 of file isl_polynomial.c.

References __isl_give, __isl_take, poly_entry(), and isl_to_poly_data::sign.

make_divs_pos()

__isl_give isl_qpolynomial * make_divs_pos ( __isl_take isl_qpolynomial * qp, int * signs )

static

Definition at line 5006 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_vec::el, isl_dim_div, isl_int_cdiv_q, isl_int_fdiv_q, isl_int_is_zero, isl_int_lt, isl_int_set_si, isl_int_sgn, isl_int_sub_ui, isl_int_submul, isl_mat_cow(), isl_poly_free(), isl_poly_from_affine(), isl_poly_subs(), isl_qpolynomial_cow(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_seq_combine(), isl_vec_alloc(), isl_vec_clr(), isl_vec_free(), and isl_vec::size.

Referenced by to_polynomial_on_orthant().

multiplicative_call_base()

__isl_give isl_pw_qpolynomial * multiplicative_call_base ( __isl_take isl_basic_set * bset, __isl_give isl_pw_qpolynomial *(* fn )(__isl_take isl_basic_set *bset) )

static

Definition at line 4786 of file isl_polynomial.c.

References __isl_give, __isl_take, fn, isl_basic_set, isl_basic_set_detect_equalities(), isl_basic_set_free(), isl_basic_set_multiplicative_call(), isl_basic_set_n_constraint(), isl_basic_set_n_equality(), and isl_basic_set_remove_redundancies().

Referenced by compressed_multiplicative_call(), and multiplicative_call_factor_pw_qpolynomial().

multiplicative_call_factor_pw_qpolynomial()

isl_bool multiplicative_call_factor_pw_qpolynomial ( __isl_keep isl_basic_set * bset, void * user )

static

Definition at line 4810 of file isl_polynomial.c.

References __isl_keep, isl_multiplicative_call_data_pw_qpolynomial::fn, isl_basic_set, isl_basic_set_copy(), isl_bool_error, isl_bool_true, isl_pw_qpolynomial_mul(), multiplicative_call_base(), isl_multiplicative_call_data_pw_qpolynomial::pwqp, res, and user.

Referenced by compressed_multiplicative_call().

needs_invert()

int needs_invert ( __isl_keep isl_mat * div, int row )

static

Definition at line 2505 of file isl_polynomial.c.

References __isl_keep, cmp(), isl_int_cmp, isl_int_divexact_ui, isl_int_is_zero, and isl_int_mul_ui.

Referenced by reduce_divs().

normalize_div()

void normalize_div ( __isl_keep isl_qpolynomial * qp, int div )

static

Definition at line 2358 of file isl_polynomial.c.

References __isl_keep, isl_int_divexact, isl_int_fdiv_q, isl_int_gcd, isl_int_is_one, isl_seq_gcd(), isl_seq_scale_down(), isl_ctx::normalize_gcd, and total().

Referenced by isl_qpolynomial_substitute_equalities_lifted(), reduce_divs(), and substitute_non_divs().

opt_fn()

isl_stat opt_fn ( __isl_take isl_point * pnt, void * user )

static

Definition at line 4336 of file isl_polynomial.c.

References __isl_take, isl_opt_data::first, isl_qpolynomial_copy(), isl_qpolynomial_eval(), isl_stat_ok, isl_val_max(), isl_val_min(), isl_opt_data::max, isl_opt_data::opt, isl_opt_data::qp, user, and val.

Referenced by isl_qpolynomial_opt_on_domain().

poly_entry()

__isl_give isl_pw_qpolynomial * poly_entry ( __isl_take isl_pw_qpolynomial * pwqp, void * user )

static

Definition at line 5165 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_pw_qpolynomial_to_polynomial(), pwqp, isl_to_poly_data::sign, and user.

Referenced by isl_union_pw_qpolynomial_to_polynomial().

poly_free_cst()

void poly_free_cst ( __isl_take isl_poly_cst * cst )

static

Definition at line 625 of file isl_polynomial.c.

References __isl_take, and isl_int_clear.

Referenced by isl_poly_free().

poly_free_rec()

void poly_free_rec ( __isl_take isl_poly_rec * rec )

static

Definition at line 631 of file isl_polynomial.c.

References __isl_take, and isl_poly_free().

Referenced by isl_poly_free().

poly_set_active()

isl_stat poly_set_active ( __isl_keep isl_poly * poly, int * active, int d )

static

Definition at line 2661 of file isl_polynomial.c.

References __isl_keep, isl_poly_as_rec(), isl_poly_is_cst(), isl_stat_error, isl_stat_ok, isl_poly_rec::n, isl_poly_rec::p, poly, and poly_set_active().

Referenced by poly_set_active(), remove_redundant_divs(), and set_active().

poly_update_den()

isl_stat poly_update_den ( __isl_keep isl_poly * poly, isl_int * d )

static

Definition at line 2214 of file isl_polynomial.c.

References __isl_keep, isl_int_lcm, isl_poly_as_cst(), isl_poly_as_rec(), isl_poly_is_cst(), isl_stat_error, isl_stat_ok, isl_poly_rec::n, isl_poly_rec::p, poly, and poly_update_den().

Referenced by isl_qpolynomial_get_den(), and poly_update_den().

pos()

unsigned pos ( __isl_keep isl_space * space, enum isl_dim_type type )

static

Definition at line 41 of file isl_polynomial.c.

References __isl_keep, isl_dim_in, isl_dim_out, isl_dim_param, and type.

Referenced by isl_qpolynomial_coeff(), isl_qpolynomial_insert_dims(), isl_qpolynomial_move_dims(), and isl_qpolynomial_substitute().

pwqp_drop_floors()

__isl_give isl_pw_qpolynomial * pwqp_drop_floors ( __isl_take isl_pw_qpolynomial * pwqp )

static

Definition at line 4964 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_pw_qpolynomial_cow(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_is_zero(), pwqp, and qp_drop_floors().

Referenced by isl_pw_qpolynomial_to_polynomial().

qp_drop_floors()

__isl_give isl_qpolynomial * qp_drop_floors ( __isl_take isl_qpolynomial * qp, int down )

static

Definition at line 4929 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_int_add_ui, isl_int_sub, isl_poly_from_affine(), isl_qpolynomial_cow(), and substitute_div().

Referenced by pwqp_drop_floors(), and to_polynomial_on_orthant().

reduce_div()

void reduce_div ( __isl_keep isl_qpolynomial * qp, int div, __isl_keep isl_mat ** mat )

static

Definition at line 2472 of file isl_polynomial.c.

References __isl_keep, isl_int_addmul, isl_int_clear, isl_int_fdiv_q, isl_int_fdiv_r, isl_int_init, isl_int_is_nonneg, isl_int_is_zero, isl_int_lt, isl_mat_col_addmul(), and total().

Referenced by reduce_divs().

reduce_divs()

__isl_give isl_qpolynomial * reduce_divs ( __isl_take isl_qpolynomial * qp )

static

Definition at line 2559 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, invert_div(), isl_alloc_array, isl_dim_all, isl_dim_div, isl_mat_free(), isl_mat_set_element_si(), isl_mat_zero(), isl_poly_free(), isl_poly_from_affine(), isl_poly_subs(), isl_qpolynomial_domain_dim(), isl_qpolynomial_domain_offset(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), needs_invert(), normalize_div(), isl_ctx::one, reduce_div(), reduce_divs(), isl_mat::row, sort_divs(), substitute_non_divs(), and total().

Referenced by isl_qpolynomial_from_aff(), and reduce_divs().

remove_redundant_divs()

__isl_give isl_qpolynomial * remove_redundant_divs ( __isl_take isl_qpolynomial * qp )

static

Definition at line 2760 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_alloc_array, isl_calloc_array, isl_dim_div, isl_int_is_zero, isl_mat_drop_cols(), isl_mat_drop_rows(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), poly_set_active(), and reorder().

Referenced by isl_qpolynomial_from_aff().

reorder()

__isl_give isl_poly * reorder ( __isl_take isl_poly * poly, int * r )

static

Definition at line 1406 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_assert, isl_poly_as_rec(), isl_poly_copy(), isl_poly_free(), isl_poly_is_cst(), isl_poly_mul(), isl_poly_sum(), isl_poly_var_pow(), isl_poly_rec::n, isl_poly_rec::p, poly, reorder(), and res.

Referenced by isl_qpolynomial_move_dims(), isl_qpolynomial_realign_domain(), remove_redundant_divs(), reorder(), sort_divs(), and substitute_div().

reordering_move()

int * reordering_move ( isl_ctx * ctx, unsigned len, unsigned dst, unsigned src, unsigned n )

static

Definition at line 3388 of file isl_polynomial.c.

References isl_alloc_array, and n.

Referenced by isl_qpolynomial_move_dims().

replace_by_constant_term()

__isl_give isl_poly * replace_by_constant_term ( __isl_take isl_poly * poly )

static

Definition at line 790 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, isl_poly_as_rec(), isl_poly_copy(), isl_poly_free(), isl_poly_rec::p, and poly.

Referenced by isl_poly_drop(), and isl_poly_sum().

replace_by_zero()

__isl_give isl_poly * replace_by_zero ( __isl_take isl_poly * poly )

static

Definition at line 779 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_poly_free(), isl_poly_zero(), and poly.

Referenced by isl_poly_sum().

set_active()

isl_stat set_active ( __isl_keep isl_qpolynomial * qp, int * active )

static

Definition at line 2684 of file isl_polynomial.c.

References __isl_keep, isl_dim_all, isl_int_is_zero, isl_qpolynomial_peek_domain_space(), isl_space_dim(), isl_stat_error, and poly_set_active().

Referenced by fix_inactive(), and isl_qpolynomial_involves_dims().

set_div()

isl_stat set_div ( __isl_take isl_set * set, __isl_take isl_qpolynomial * qp, int div, isl_int v, struct isl_split_periods_data * data )

static

Definition at line 4574 of file isl_polynomial.c.

References __isl_take, isl_dim_div, isl_int_addmul, isl_int_is_zero, isl_int_set_si, isl_poly_rat_cst(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_set, isl_set_free(), isl_set_get_space(), isl_set_intersect(), isl_stat_error, set, set_div_slice(), split_periods(), and substitute_div().

Referenced by check_for_div_constraints(), isl_basic_map_drop_redundant_divs_ineq(), and split_div().

set_div_slice()

__isl_give isl_set * set_div_slice ( __isl_take isl_space * space, __isl_keep isl_qpolynomial * qp, int div, isl_int v )

static

Definition at line 4532 of file isl_polynomial.c.

References __isl_give, __isl_keep, __isl_take, isl_basic_set, isl_basic_set_alloc_inequality(), isl_basic_set_alloc_space(), isl_basic_set_free(), isl_dim_all, isl_int_add, isl_int_addmul, isl_int_sub_ui, isl_int_submul, isl_seq_cpy(), isl_seq_neg(), isl_set, isl_set_from_basic_set(), isl_space_copy(), isl_space_dim(), isl_space_free(), and total().

Referenced by set_div().

sort_divs()

__isl_give isl_qpolynomial * sort_divs ( __isl_take isl_qpolynomial * qp )

static

Definition at line 1498 of file isl_polynomial.c.

References __isl_give, __isl_take, at(), isl_div_sort_info::div, div_sort_cmp(), isl_alloc_array, isl_dim_div, isl_mat_col_add(), isl_mat_drop_cols(), isl_mat_drop_rows(), isl_mat_swap_rows(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_seq_eq(), isl_mat::n_row, pos(), reorder(), and isl_div_sort_info::row.

Referenced by isl_qpolynomial_move_dims(), isl_qpolynomial_substitute_equalities_lifted(), and reduce_divs().

split_div()

isl_stat split_div ( __isl_take isl_set * set, __isl_take isl_qpolynomial * qp, int div, isl_int min, isl_int max, struct isl_split_periods_data * data )

static

Definition at line 4612 of file isl_polynomial.c.

References __isl_take, isl_int_add_ui, isl_int_le, isl_qpolynomial_copy(), isl_qpolynomial_free(), isl_set, isl_set_copy(), isl_set_free(), isl_stat_error, isl_stat_ok, set, and set_div().

Referenced by split_periods().

split_periods()

isl_stat split_periods ( __isl_take isl_set * set, __isl_take isl_qpolynomial * qp, void * user )

static

Definition at line 4638 of file isl_polynomial.c.

References __isl_take, isl_dim_div, isl_int_add, isl_int_clear, isl_int_cmp_si, isl_int_fdiv_q, isl_int_init, isl_int_sub, isl_lp_empty, isl_lp_error, isl_lp_unbounded, isl_pw_qpolynomial_add_disjoint(), isl_pw_qpolynomial_alloc(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_seq_first_non_zero(), isl_set, isl_set_free(), isl_set_solve_lp(), isl_stat_error, isl_stat_ok, isl_split_periods_data::max_periods, pwqp, isl_split_periods_data::res, set, split_div(), and user.

Referenced by isl_pw_qpolynomial_split_periods(), and set_div().

substitute_div()

__isl_give isl_qpolynomial * substitute_div ( __isl_take isl_qpolynomial * qp, int div, __isl_take isl_poly * s )

static

Definition at line 2381 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_ctx::error, isl_alloc_array, isl_dim_div, isl_mat_drop_cols(), isl_mat_drop_rows(), isl_poly_free(), isl_poly_subs(), isl_qpolynomial_cow(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), and reorder().

Referenced by qp_drop_floors(), set_div(), and substitute_non_divs().

substitute_non_divs()

__isl_give isl_qpolynomial * substitute_non_divs ( __isl_take isl_qpolynomial * qp )

static

Definition at line 2430 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_dim_div, isl_int_is_one, isl_int_is_zero, isl_int_set_si, isl_poly_from_affine(), isl_qpolynomial_domain_var_offset(), isl_qpolynomial_free(), isl_seq_combine(), normalize_div(), and substitute_div().

Referenced by isl_qpolynomial_substitute_equalities_lifted(), and reduce_divs().

to_polynomial_on_orthant()

isl_stat to_polynomial_on_orthant ( __isl_take isl_set * orthant, int * signs, void * user )

static

Definition at line 5090 of file isl_polynomial.c.

References __isl_take, isl_pw_qpolynomial_add_disjoint(), isl_pw_qpolynomial_alloc(), isl_qpolynomial_add(), isl_qpolynomial_copy(), isl_qpolynomial_free(), isl_qpolynomial_terms_of_sign(), isl_set, isl_stat_ok, make_divs_pos(), isl_to_poly_data::qp, qp_drop_floors(), isl_to_poly_data::res, isl_to_poly_data::sign, t, and user.

Referenced by isl_pw_qpolynomial_to_polynomial().

update_coeff()

void update_coeff ( __isl_keep isl_vec * aff, __isl_keep isl_poly_cst * cst, int pos )

static

Definition at line 2083 of file isl_polynomial.c.

References __isl_keep, aff, f, gcd(), isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_zero, isl_int_mul, isl_seq_scale(), and pos().

Referenced by isl_poly_update_affine().

with_merged_divs()

__isl_give isl_qpolynomial * with_merged_divs ( __isl_give isl_qpolynomial *(* fn )(__isl_take isl_qpolynomial *qp1, __isl_take isl_qpolynomial *qp2), __isl_take isl_qpolynomial * qp1, __isl_take isl_qpolynomial * qp2 )

static

Definition at line 1625 of file isl_polynomial.c.

References __isl_give, __isl_take, isl_div_sort_info::div, expand(), fn, isl_alloc_array, isl_assert, isl_mat_copy(), isl_mat_free(), isl_merge_divs(), isl_qpolynomial_cow(), isl_qpolynomial_free(), isl_mat::n_col, and isl_mat::n_row.

Referenced by isl_qpolynomial_add(), and isl_qpolynomial_mul().