isl_equalities.h File Reference

#include <isl/set.h>
#include <isl/mat.h>

Go to the source code of this file.

Functions
__isl_give isl_mat *	isl_mat_final_variable_compression (__isl_take isl_mat *B, int first, __isl_give isl_mat **T2)
__isl_give isl_mat *	isl_mat_variable_compression (__isl_take isl_mat *B, __isl_give isl_mat **T2)
__isl_give isl_mat *	isl_mat_parameter_compression (__isl_take isl_mat *B, __isl_take isl_vec *d)
__isl_give isl_mat *	isl_mat_parameter_compression_ext (__isl_take isl_mat *B, __isl_take isl_mat *A)
__isl_give isl_basic_set *	isl_basic_set_remove_equalities (__isl_take isl_basic_set *bset, __isl_give isl_mat **T, __isl_give isl_mat **T2)

Function Documentation

isl_basic_set_remove_equalities()

__isl_give isl_basic_set * isl_basic_set_remove_equalities	(	__isl_take isl_basic_set *	bset,
		__isl_give isl_mat **	T,
		__isl_give isl_mat **	T2
	)

Definition at line 708 of file isl_equalities.c.

References compress_variables(), isl_basic_set_check_no_params(), ISL_BASIC_SET_EMPTY, isl_basic_set_free(), isl_basic_set_gauss(), ISL_F_ISSET, and return_with_identity().

Referenced by equalities_in_underlying_set(), isl_basic_set_samples(), modulo_affine_hull(), sample_eq(), and solve_ilp_with_eq().

isl_mat_final_variable_compression()

__isl_give isl_mat * isl_mat_final_variable_compression	(	__isl_take isl_mat *	B,
		int	first,
		__isl_give isl_mat **	T2
	)

Definition at line 530 of file isl_equalities.c.

References B(), C, isl_mat::ctx, empty_compression(), insert_parameter_rows(), isl_die, isl_error_invalid, isl_int_clear, isl_int_gcd, isl_int_init, isl_int_is_divisible_by, isl_int_is_one, isl_int_set_si, isl_mat_aff_direct_sum(), isl_mat_alloc(), isl_mat_diagonal(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_get_ctx(), isl_mat_identity(), isl_mat_inverse_product(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_normalize(), isl_mat_product(), isl_mat_sub_alloc(), isl_mat_sub_neg(), isl_seq_clr(), isl_seq_gcd(), n, and isl_mat::n_row.

Referenced by isl_basic_set_variable_compression(), and isl_mat_variable_compression().

isl_mat_parameter_compression()

__isl_give isl_mat * isl_mat_parameter_compression	(	__isl_take isl_mat *	B,
		__isl_take isl_vec *	d
	)

Definition at line 309 of file isl_equalities.c.

References B(), isl_mat::ctx, isl_assert, isl_int_clear, isl_int_divexact, isl_int_gcd, isl_int_init, isl_int_is_one, isl_int_is_zero, isl_mat_alloc(), isl_mat_cow(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_identity(), isl_mat_left_hermite(), isl_mat_sub_copy(), isl_seq_cpy(), isl_seq_gcd(), isl_seq_scale_down(), isl_vec_cow(), isl_vec_free(), parameter_compression_1(), parameter_compression_multi(), particular_solution(), and isl_mat::row.

Referenced by isl_mat_parameter_compression_ext(), and normalize_divs().

isl_mat_parameter_compression_ext()

__isl_give isl_mat * isl_mat_parameter_compression_ext	(	__isl_take isl_mat *	B,
		__isl_take isl_mat *	A
	)

Definition at line 407 of file isl_equalities.c.

References A(), B(), isl_mat::ctx, isl_mat_drop_cols(), isl_mat_drop_rows(), isl_mat_free(), isl_mat_get_ctx(), isl_mat_left_hermite(), isl_mat_lin_to_aff(), isl_mat_parameter_compression(), isl_mat_product(), isl_mat_right_inverse(), isl_vec_alloc(), isl_vec_set(), isl_mat::n_col, and isl_mat::n_row.

Referenced by extract_compressed_stride_constraints(), and isl_basic_set_parameter_compression().

isl_mat_variable_compression()

__isl_give isl_mat * isl_mat_variable_compression	(	__isl_take isl_mat *	B,
		__isl_give isl_mat **	T2
	)

Definition at line 625 of file isl_equalities.c.

References B(), and isl_mat_final_variable_compression().

Referenced by combined_variable_compression(), compress_variables(), isl_basic_map_reduce_coefficients(), normalize_divs(), parameter_compute_divs(), tighten_on_relaxed_facet(), and uset_gist().