isl_bernstein.c File Reference

#include <isl_ctx_private.h>
#include <isl_map_private.h>
#include <isl/set.h>
#include <isl_seq.h>
#include <isl_morph.h>
#include <isl_factorization.h>
#include <isl_vertices_private.h>
#include <isl_polynomial_private.h>
#include <isl_options_private.h>
#include <isl_vec_private.h>
#include <isl_bernstein.h>

Go to the source code of this file.

Classes
struct	bernstein_data

Functions
static isl_bool	vertex_is_integral (__isl_keep isl_basic_set *vertex)
static __isl_give isl_qpolynomial *	vertex_coordinate (__isl_keep isl_basic_set *vertex, int i, __isl_take isl_space *space)
static isl_bool	is_tight (int *k, int n, int d, isl_cell *cell)
static isl_stat	add_fold (__isl_take isl_qpolynomial *b, __isl_keep isl_set *dom, int *k, int n, int d, struct bernstein_data *data)
static isl_stat	extract_coefficients (isl_qpolynomial *poly, __isl_keep isl_set *dom, struct bernstein_data *data)
static isl_stat	bernstein_coefficients_cell (__isl_take isl_cell *cell, void *user)
static __isl_give isl_pw_qpolynomial_fold *	bernstein_coefficients_base (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct bernstein_data *data, isl_bool *tight)
static __isl_give isl_pw_qpolynomial_fold *	bernstein_coefficients_recursive (__isl_take isl_pw_qpolynomial *pwqp, int n_group, int *len, struct bernstein_data *data, isl_bool *tight)
static __isl_give isl_pw_qpolynomial_fold *	bernstein_coefficients_factors (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct bernstein_data *data, isl_bool *tight)
static __isl_give isl_pw_qpolynomial_fold *	bernstein_coefficients_full_recursive (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct bernstein_data *data, isl_bool *tight)
isl_stat	isl_qpolynomial_bound_on_domain_bernstein (__isl_take isl_basic_set *bset, __isl_take isl_qpolynomial *poly, struct isl_bound *bound)

Function Documentation

add_fold()

static isl_stat add_fold ( __isl_take isl_qpolynomial *  b, __isl_keep isl_set *  dom, int *  k, int  n, int  d, struct bernstein_data *  data  )

static

Definition at line 127 of file isl_bernstein.c.

References b(), bernstein_data::cell, bernstein_data::check_tight, bernstein_data::fold, bernstein_data::fold_tight, is_tight(), isl_bool_false, isl_qpolynomial_fold_alloc(), isl_qpolynomial_fold_fold_on_domain(), isl_stat_error, isl_stat_ok, n, tight, and bernstein_data::type.

Referenced by extract_coefficients().

bernstein_coefficients_base()

static __isl_give isl_pw_qpolynomial_fold * bernstein_coefficients_base ( __isl_take isl_basic_set *  bset, __isl_take isl_qpolynomial *  poly, struct bernstein_data *  data, isl_bool *  tight  )

static

Definition at line 368 of file isl_bernstein.c.

References bernstein_coefficients_cell(), isl_basic_set_compute_vertices(), isl_basic_set_dim(), isl_basic_set_free(), isl_basic_set_get_space(), isl_dim_set, isl_pw_qpolynomial_fold_covers(), isl_pw_qpolynomial_fold_fold(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_zero(), isl_qpolynomial_copy(), isl_qpolynomial_cst_bound(), isl_qpolynomial_degree(), isl_qpolynomial_free(), isl_qpolynomial_homogenize(), isl_space_add_dims(), isl_space_copy(), isl_space_from_domain(), isl_space_params(), isl_vertices_foreach_disjoint_cell(), isl_vertices_free(), bernstein_data::poly, poly, bernstein_data::pwf, bernstein_data::pwf_tight, tight, and bernstein_data::type.

Referenced by bernstein_coefficients_factors(), and isl_qpolynomial_bound_on_domain_bernstein().

bernstein_coefficients_cell()

static isl_stat bernstein_coefficients_cell ( __isl_take isl_cell *  cell, void *  user  )

static

Definition at line 266 of file isl_bernstein.c.

References bernstein_coefficients_cell(), isl_options::bernstein_triangulate, bernstein_data::cell, isl_cell::dom, extract_coefficients(), bernstein_data::fold, bernstein_data::fold_tight, isl_cell::ids, isl_alloc_array, isl_basic_set_copy(), isl_basic_set_get_space(), isl_cell_foreach_simplex(), isl_cell_free(), isl_dim_in, isl_dim_set, isl_pw_qpolynomial_fold_alloc(), isl_pw_qpolynomial_fold_fold(), isl_qpolynomial_add(), isl_qpolynomial_add_dims(), isl_qpolynomial_copy(), isl_qpolynomial_dim(), isl_qpolynomial_drop_dims(), isl_qpolynomial_fold_empty(), isl_qpolynomial_fold_free(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_mul(), isl_qpolynomial_substitute(), isl_qpolynomial_var_on_domain(), isl_qpolynomial_zero_on_domain(), isl_set_copy(), isl_set_from_basic_set(), isl_space_add_dims(), isl_space_copy(), isl_space_free(), isl_stat_error, isl_stat_ok, isl_cell::n_vertices, isl_ctx::opt, bernstein_data::poly, poly, bernstein_data::pwf, bernstein_data::pwf_tight, bernstein_data::type, user, isl_vertices::v, isl_vertex::vertex, vertex_coordinate(), and isl_cell::vertices.

Referenced by bernstein_coefficients_base(), and bernstein_coefficients_cell().

bernstein_coefficients_factors()

static __isl_give isl_pw_qpolynomial_fold * bernstein_coefficients_factors ( __isl_take isl_basic_set *  bset, __isl_take isl_qpolynomial *  poly, struct bernstein_data *  data, isl_bool *  tight  )

static

Definition at line 468 of file isl_bernstein.c.

References bernstein_coefficients_base(), bernstein_coefficients_recursive(), f, isl_basic_set_factorizer(), isl_basic_set_free(), isl_factorizer_free(), isl_morph_copy(), isl_pw_qpolynomial_alloc(), isl_pw_qpolynomial_morph_domain(), isl_qpolynomial_free(), isl_set_from_basic_set(), poly, bernstein_data::pwf, pwqp, set, and tight.

Referenced by isl_qpolynomial_bound_on_domain_bernstein().

bernstein_coefficients_full_recursive()

static __isl_give isl_pw_qpolynomial_fold * bernstein_coefficients_full_recursive ( __isl_take isl_basic_set *  bset, __isl_take isl_qpolynomial *  poly, struct bernstein_data *  data, isl_bool *  tight  )

static

Definition at line 502 of file isl_bernstein.c.

References bernstein_coefficients_recursive(), isl_alloc_array, isl_basic_set_dim(), isl_basic_set_free(), isl_dim_set, isl_pw_qpolynomial_alloc(), isl_qpolynomial_free(), isl_set_from_basic_set(), poly, bernstein_data::pwf, pwqp, set, and tight.

Referenced by isl_qpolynomial_bound_on_domain_bernstein().

bernstein_coefficients_recursive()

static __isl_give isl_pw_qpolynomial_fold * bernstein_coefficients_recursive ( __isl_take isl_pw_qpolynomial *  pwqp, int  n_group, int *  len, struct bernstein_data *  data, isl_bool *  tight  )

static

Definition at line 433 of file isl_bernstein.c.

References isl_dim_in, isl_dim_param, isl_pw_qpolynomial_bound(), isl_pw_qpolynomial_dim(), isl_pw_qpolynomial_fold_bound(), isl_pw_qpolynomial_fold_dim(), isl_pw_qpolynomial_fold_free(), isl_pw_qpolynomial_fold_move_dims(), isl_pw_qpolynomial_free(), isl_pw_qpolynomial_move_dims(), bernstein_data::pwf, pwqp, tight, and bernstein_data::type.

Referenced by bernstein_coefficients_factors(), and bernstein_coefficients_full_recursive().

extract_coefficients()

static isl_stat extract_coefficients ( isl_qpolynomial *  poly, __isl_keep isl_set *  dom, struct bernstein_data *  data  )

static

Definition at line 159 of file isl_bernstein.c.

References add_fold(), b(), isl_vec::el, f, isl_alloc_array, isl_assert, isl_calloc_array, isl_dim_in, isl_int_divexact_ui, isl_int_mul_ui, isl_int_set, isl_int_set_si, isl_qpolynomial_coeff(), isl_qpolynomial_degree(), isl_qpolynomial_dim(), isl_qpolynomial_free(), isl_qpolynomial_get_ctx(), isl_qpolynomial_get_domain_space(), isl_qpolynomial_mul(), isl_qpolynomial_project_domain_on_params(), isl_qpolynomial_rat_cst_on_domain(), isl_stat_error, isl_stat_ok, isl_vec_alloc(), isl_vec_free(), n, isl_ctx::one, and poly.

Referenced by bernstein_coefficients_cell().

is_tight()

static isl_bool is_tight ( int *  k, int  n, int  d, isl_cell *  cell  )

static

Definition at line 107 of file isl_bernstein.c.

References isl_cell::ids, isl_bool_false, isl_bool_true, n, isl_vertices::v, isl_vertex::vertex, vertex_is_integral(), and isl_cell::vertices.

Referenced by add_fold().

isl_qpolynomial_bound_on_domain_bernstein()

isl_stat isl_qpolynomial_bound_on_domain_bernstein	(	__isl_take isl_basic_set *	bset,
		__isl_take isl_qpolynomial *	poly,
		struct isl_bound *	bound
	)

Definition at line 550 of file isl_bernstein.c.

References bernstein_coefficients_base(), bernstein_coefficients_factors(), bernstein_coefficients_full_recursive(), bound, bernstein_data::check_tight, isl_basic_set_dim(), isl_basic_set_free(), ISL_BERNSTEIN_FACTORS, ISL_BERNSTEIN_INTERVALS, isl_bool_false, isl_bound_add(), isl_bound_add_tight(), isl_dim_set, isl_qpolynomial_free(), isl_stat_error, poly, bernstein_data::pwf, tight, and bernstein_data::type.

Referenced by compressed_guarded_poly_bound().

vertex_coordinate()

static __isl_give isl_qpolynomial * vertex_coordinate ( __isl_keep isl_basic_set *  vertex, int  i, __isl_take isl_space *  space  )

static

Definition at line 61 of file isl_bernstein.c.

References isl_assert, isl_basic_set_dim(), isl_dim_all, isl_dim_param, isl_dim_set, isl_int_clear, isl_int_init, isl_int_is_pos, isl_int_is_zero, isl_int_neg, isl_int_set, isl_qpolynomial_from_affine(), isl_seq_neg(), isl_space_free(), and total().

Referenced by bernstein_coefficients_cell().

vertex_is_integral()

static isl_bool vertex_is_integral ( __isl_keep isl_basic_set *  vertex )

static

Definition at line 41 of file isl_bernstein.c.

References isl_basic_set_dim(), isl_bool_error, isl_bool_false, isl_bool_true, isl_dim_param, isl_dim_set, isl_int_is_negone, and isl_int_is_one.

Referenced by is_tight().