#include <polylib/polylib.h>
Go to the source code of this file.
Functions | |
void | b_modulo (Value g, Value a, Value b) |
Matrix * | int_ker (Matrix *M) |
Matrix * | affine_periods (Matrix *M, Matrix *d) |
Matrix * | int_mod_basis (Matrix *Bp, Matrix *Cp, Matrix *d) |
Matrix * | get_linear_part (Matrix const *E, int nb_parms) |
Matrix * | get_parameter_part (Matrix const *E, int nb_parms) |
Matrix * | get_constant_part (Matrix const *E, int nb_parms) |
Matrix * | extract_funny_stuff (Matrix const *E, int nb_parms, Matrix **Bp, Matrix **Cp, Matrix **d) |
Matrix * | compress_parms (Matrix *E, int nb_parms) |
Matrix * | full_dimensionize (Matrix const *M, int nb_parms, Matrix **Validity_Lattice) |
|
Definition at line 64 of file compress_parms.c. References Gcd(), Lcm3(), Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, Value, value_assign, value_clear, value_division, value_init, and value_set_si. Referenced by int_mod_basis(). |
|
Definition at line 12 of file compress_parms.c. References Value, value_assign, value_decrement, value_division, value_eq, value_multiply, value_neg_p, value_oppose, value_posz_p, value_set_si, value_subtract, and value_zero_p. Referenced by int_mod_basis(). |
|
Definition at line 370 of file compress_parms.c. References extract_funny_stuff(), Identity_Matrix(), int_mod_basis(), Matrix, Matrix_Free(), matrix::NbColumns, and matrix::NbRows. Referenced by full_dimensionize(). |
|
Definition at line 290 of file compress_parms.c. References get_constant_part(), get_linear_part(), get_parameter_part(), left_hermite(), MatInverse(), Matrix, Matrix_Alloc(), Matrix_Free(), Matrix_Product(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign. Referenced by compress_parms(). |
|
Definition at line 401 of file compress_parms.c. References compress_parms(), find_a_permutation(), Identity_Matrix(), Matrix, Matrix_Alloc(), Matrix_Free(), mpolyhedron_compress_last_vars(), mpolyhedron_eliminate_first_variables(), mpolyhedron_permute(), matrix::NbColumns, matrix::NbRows, matrix::p, split_constraints(), value_assign, and value_set_si. Referenced by Ehrhart_Quick_Apx(). |
|
Definition at line 273 of file compress_parms.c. References Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign. Referenced by extract_funny_stuff(). |
|
Definition at line 246 of file compress_parms.c. References Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign. Referenced by extract_funny_stuff(). |
|
Definition at line 259 of file compress_parms.c. References Matrix, Matrix_Alloc(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign. Referenced by extract_funny_stuff(). |
|
Definition at line 35 of file compress_parms.c. References left_hermite(), Matrix, Matrix_Alloc(), Matrix_Free(), matrix::NbColumns, matrix::NbRows, matrix::p, and value_assign. Referenced by int_mod_basis(). |
|
Definition at line 106 of file compress_parms.c. References affine_periods(), b_modulo(), int_ker(), left_hermite(), MatInverse(), Matrix, Matrix_Alloc(), Matrix_Free(), Matrix_Product(), matrix::NbColumns, matrix::NbRows, matrix::p, value_addmul, value_assign, value_oppose, and value_set_si. Referenced by compress_parms(). |